以太坊基金会近日在社交媒体上宣布,其推出一项名为 sig.golf 的开放式自动化研究挑战,旨在鼓励参与者设计一种面向抗量子以太坊的无状态哈希签名方案,并利用 Lean 形式化工具证明其安全性。该挑战以签名大小与验证周期的乘积作为评比指标,希望打破现有的技术纪录。值得关注的是,本次挑战允许参赛者使用 AI Agent 辅助设计,由以太坊基金会联合 EigenLabs 共同发起,并基于 Yukon Research 平台搭建。
以太坊基金会近日在社交媒体上宣布,其推出一项名为 sig.golf 的开放式自动化研究挑战,旨在鼓励参与者设计一种面向抗量子以太坊的无状态哈希签名方案,并利用 Lean 形式化工具证明其安全性。该挑战以签名大小与验证周期的乘积作为评比指标,希望打破现有的技术纪录。值得关注的是,本次挑战允许参赛者使用 AI Agent 辅助设计,由以太坊基金会联合 EigenLabs 共同发起,并基于 Yukon Research 平台搭建。