深潮 TechFlow 消息，斯坦福大学教授、Babylon 联合创始人 David Tse 宣布，团队正式发布 BABE（BAbylon-BErkeley），一种面向 Bitcoin 的 Groth16 证明验证协议。团队称，该方案在 setup 与存储成本 上相较现有最优水平实现约 三个数量级（1000x）改进，旨在让“在比特币上验证 zkSNARK 证明”更具可行性与工程实用性。  

据介绍，BABE 结合两项关键思路：线性配对上的 witness encryption 与新提出的 Argo MAC（一种 garbling primitive）。其中，witness encryption 可将 Groth16 验证中复杂的 pairing 运算，压缩为在 BN254 椭圆曲线上的一次标量乘法；随后该标量乘法还能进一步转化为 向量同态 MAC，并由 Argo MAC 高效计算。  

团队表示，BABE 将作为 Babylon Trustless Bitcoin Vault 的组成部分，于 2 月 Babylon alpha-testnet 中上线，并邀请社区阅读论文并提供反馈。