论文

• Qin, Zhou, Gervais 论文：量化 MEV

• Werner, Perez, et al, 论文：DeFi 知识的系统化

• 如何用多项式承诺打造 SNARKs

• 验证密码学实现 constant-timeness 属性的工具的现状

• Kyber 论证动态 AMMs（弹性手续费和定价曲线）的论文

• Vitalik：牢不可破的多项式承诺是如何工作的

• 可聚合密钥的分布式生成

• MatterLabs 正在计划一种链下数据可得性安全模型

• Dankrad Feist 解释 51% 攻击的作恶边界

• Vitalik：区块链可扩展性的局限

• 共用品问题即是协作问题

• 使用多项式承诺在链下聚合投票并在链上验证的设计

• Matthew Ball：Metaverse 指南

• Vitalik：带有已知份额的 M-of-N 密钥分割

• 可公开审计的 MPC 作为一项服务：可以简洁地验证以及用作通用的启动设置

• Barnabé: Proposer-Builder Separation (PBS) 研究现状

• Reorg 在 post-SSF(single slot finality) LMD-GHOST 的重组弹性与安全性

• 高效的BLS多签EVM证明

• MinRoot：VDF 的候选顺序函数

• 优化见证打包。Lighthouse 当前贪婪算法在52.3%的测试实例中产生了最优解，并在99.97%的测试实例中产生了离最优解5%以内的解

• 块拍卖 vs 槽拍卖 Proposer-Builder Separation (PBS)

• Flashbots: 在SGX（Software Guard Extensions 提供可信计算环境）内运行Geth

• James Prestwich：MEV 社区历史

• 完全知识证明 (CK)：使用 TEE 和挖矿 ASIC 防止泄密

• 关于快速摊销 KZG 证明的注意事项

• Gradual Dutch Auctions（渐进式荷兰拍卖会） [PDF] 可以修改为与激励兼容

• 对 AI 原语进行基准 zk 证明，使用证明生成时间和峰值证明者内存使用量的指标

• 网络性能指标：产生的价值（福利）和用户获得的价值（盈余）

• Rollup 中继，减少 PBS 中继中的信任假设

• 用延迟披露、前包含列表或平行拍卖实现抗审查

• 最近最新消息驱动 GHOST：同步动态可用，对有界异步周期具有弹性，建议替代 Gasper 的 LMD-GHOST

• 简单单Slot最终性提案，同步动态可用协议和最终性小工具

• 订单流拍卖 (OFA)分析