今天我们发布了BABE，一个新的Groth16证明验证协议，用于Bitcoin。它在设置和存储成本上提高了三个数量级的技术水平。 BABE（BAbylon-BErkeley）是两个关键思想的综合： 线性配对上的见证加密，以及最近引入的加扰原语Argo MAC。 线性配对上的见证加密将Groth16验证中的复杂配对操作减少为BN254椭圆曲线上的单个标量乘法。单个标量乘法可以进一步转化为向量同态MAC，这可以通过Argo MAC高效计算。 BABE将作为Babylon的Trustless Bitcoin Vault的alpha测试网的一部分于二月份推出。 我们感谢： - 我们的伯克利合作者@SanjamGarg和Dimitris Kolonelos，感谢他们教会我们如此多关于见证加密的知识 - @liameagen和@therealyingtong，感谢他们分享在Argo MAC上的惊人工作 - Babylon工程团队，感谢他们将我们的理论想法转化为具有可证明性能提升的真实系统 查看论文并给我们反馈！