跳到正文
10月3日 · 周六

每天一份简报,把重要变化连起来看。

阅读今日简报 →

#论文/研究

9月28日周一
9月25日周五
  1. Ethereum Research · 社区研究提案

    Ethereum Research 提案探讨以太坊客户端的形式化验证与 TCB

    George 和 Kev 在 Ethereum Research 发文,以 TCB(可信计算基)为视角分析抽象以太坊客户端的形式化验证,将客户端模块分为易验证的纯模块和难验证的脏模块,并提出先将脏模块建模为不可信、再逐步向外扩展验证边界的两步做法。

9月24日周四
8月20日周四
  1. Ethereum Foundation Blog

    以太坊基金会正式验证团队上线 better.codes 自主研究挑战

    以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes,将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean,并把其可靠性下界放到公开排行榜上。

    推荐理由:原文说明了挑战的验证机制与开放协作模式,读者可据此理解形式化验证如何被用于推进SNARK安全基准。

2月5日周四
已经到底了