Succinct

Succinct 開發高效能的 SNARK 證明和形式驗證工具，用於零知識證明系統。其 Flock 證明器是針對標準雜湊最快的，而其基礎設施保護了跨 Across 和 Agglayer 等網路的數十億美元橋接量，推動了以太坊的後量子路線圖。