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相关的任何投资建议。
喜欢
收藏
评论
分享
