Succinct Labsは最近、零知识证明（ZKP）分野で波紋を呼んでいます。このチームはかなりしっかりした背景を持ち、コアメンバーはMITとGoogle Brain出身です。彼らは純粋な理論研究ではなく、実際のインフラを構築しています——SP1という名前のオープンソースzkVMと、分散化された証明ネットワークProverNetがあります。

まず技術的な側面を見てみましょう。SP1 zkVMの最大の特徴は、開発者に優しいことです。これにより、Rustのような主流の言語を使用してプログラムを書くことができ、自動的にzk-SNARKsを生成してくれます。暗号学を学んだり、特別な回路設計を学ぶ必要がありません。これにより、開発者にとっての敷居が大幅に下がります。性能面でも良好で、CelestiaのベンチマークテストではRISC Zeroより約26倍速い結果が出ており、ハードウェアアクセラレーションもサポートしています。ZANやCysicなどの企業と協力してFPGA/GPUの展開を進めています。
その証明ネットワークProverNetも注目に値します。これは、証明の需要者と計算力の提供者をつなぐ分散化された市場です。証明者は、参加するために$PROVEトークンをステーキングする必要があり、入札メカニズムを通じてタスクを取得し、証明を完了すると報酬を得ることができます。この設計はネットワークの安全性を確保するだけでなく、市場競争を通じて証明コストを抑えることも実現しています。現在、メインネットが立ち上がってからあまり時間が経っていませんが、すでに500万回以上の証明を処理し、保護されている資産の総額は400億ドルを超えています。
投資の観点から見ると、Succinctは2024年3月に5500万を獲得しました。