Nethermind 的形式化方法團隊一如既往地有效率地運作！ 我們隨時準備為您提供支援並驗證您的協議的合理性，請聯繫我、@JulekSU 或 @PetarMax。
本文為機器翻譯
展示原文
Julian Sutherland
@JulekSU
02-24
Some things happening in the Nethermind formal verification team this week:
- @fastreedsolomon and I are kicking off formalisation of STIR and WHIR IOPPs as part of ArkLib (https://github.com/Verified-zkEVM/ArkLib…)
- Developing an augmented version of Certiplonk that scales better, we're
來自推特
免責聲明：以上內容僅為作者觀點，不代表Followin的任何立場，不構成與Followin相關的任何投資建議。
喜歡
收藏
評論
分享
