Formal verification of SP1 is underway. We’re excited to share early results of our collaboration with @VeridiseInc, a leader in ZK security auditing.

Twitter

SP1 的正式验证正在进行中。我们很高兴与 ZK 安全审计领域的领导者 @VeridiseInc 分享我们合作的早期成果。

Litecoin 莱特币网路于 25 日发生 13 区块链重组，根因为 MWEB 输入验证漏洞，导致 NEAR […]
〈莱特币爆零日漏洞！13 区块链重组、NEAR Intents 60 万美元告急，v0.21.5.4 修补急上线〉这篇文章最早发布于动区BlockTempo《动区动趋-最具影响力的区块链新闻媒体》。

莱特币爆零日漏洞！13 区块链重组、NEAR Intents 60 万美元告急，v0.21.5.4 修补急上线

【LPT】量价波动警报
监控信息：15min区间放量超4.7倍
预警价格：2.37
价格波动：上涨4.08%

Followin二级异动警报：【LPT】量价波动警报

唐纳德·特朗普总统表示，他有“义务”支持加密货币行业，称其是经济中一个重要且不断增长的组成部分。与此同时，他正力促美国在加密货币领域发挥更强有力的领导作用……

特朗普称他有“义务”支持加密货币行业

5/ Determinism checking adds another layer to SP1’s multi-pronged security strategy, alongside third-party audits, expert reviews, and features like SP1-2FA we launched last month.

5/ 确定性检查为 SP1 的多管齐下的安全策略增加了另一层，与第三方审计、专家评审以及我们上个月推出的 SP1-2FA 等功能一起。

6/ We’re extending this work to every SP1 circuit, and we have more exciting formal verification updates (including correctness proofs in another collaboration) coming soon.
Read more:

6/ 我们正在将这项工作扩展到每个 SP1 电路，并且即将推出更多激动人心的形式验证更新（包括与另一家公司合作的正确性证明）。
阅读更多：