Succinct

Succinct 为零知识证明系统开发高性能的 SNARK 证明和形式化验证工具。其 Flock 证明器是标准哈希最快的证明器，其基础设施保障了 Across 和 Agglayer 等网络间数十亿跨链桥交易量的安全，推动了以太坊的后量子路线图。