本文详细介绍了基于配对的数字签名方案BLS签名,重点讨论了BLS12-381椭圆曲线及其在签名聚合、多项式承诺和零知识证明等高级密码学协议中的应用。文章涵盖了配对的基本概念、BLS12-381椭圆曲线的数学结构、BLS签名的生成与验证过程,以及其安全性和潜在的MOV攻击。
该项目旨在研究一种新颖的共识机制,以实现具有动态可用性的单Slot最终性。当前以太坊使用的Gasper协议存在重组攻击和较长的最终确认时间等问题。该研究将深入了解现有架构,寻找新颖的设计,并考虑签名聚合的实际限制,目标是提出一个可行的、具有高经济安全性的单Slot最终性方案,同时满足动态可用性。