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 修補急上線

加密貨幣資產管理公司 VanEck 在其最新發布的比特幣研究報告中分享了有關市場動態的重要發現。

該報告由 VanEck 的 Patrick Bush 和 Matthew Sigel 撰寫…

管理著數十億美元資產的資產管理公司VanEck宣布，該公司已轉而看好比特幣。

編者按：如果說 2025 年是「大模型能力競賽」的一年，那麼 2026 年初，競爭的重心已經明顯轉向了另一條更具體、也更現實的賽道——個人 AI agent 如何真正落地。
文章對當前 AI Agent 領域最受關注的兩個項目——OpenClaw 與 Hermes Agent——進行了系統對比。前者在短時間內積累了驚人的社區規模與開發者生態，成為 GitHub 上現象級的 AI 項目；後者則以「更...

OpenClaw和Hermes，到底哪個更適合你？

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 電路，並且即將推出更多激動人心的形式驗證更新（包括與另一家公司合作的正確性證明）。
閱讀更多：