a16z crypto、ゼロ知識証明を用いたソリューション「Jolt」リリース

a16z cryptoがゼロ知識証明を用いたソリューション公開

米大手ベンチャーキャピタル「アンドリーセン・ホロウィッツ（Andreessen Horowitz：a16z）」のweb3関連投資部門a16z cryptoが、ゼロ知識証明（zkp:zero knowledge proof）を用いたソリューション「ジョルト（Jolt）」のリリースを4月9日発表した。

「ジョルト」では、証明者が指定されたコンピュータープログラムを正しく実行したことを証明できるSNARK（Succinct Non-interactive ARguments of Knowledge）技術「zkVM（ゼロ知識仮想マシン）」が基盤になっているという。

これによりクリプトに関する深い知識が無くても、コンピュータプログラムを作成できる人であれば誰でもSNARKを使用できるとのこと。

発表によると基本的にSNARKは、計算を証明する上で膨大なリソースを消費している為、同技術を採用する際のコストが高額になるという課題があるという。仮に、計算の実行に1ドルかかる際、その計算が正しく実行されたことを証明する為にSNARKを採用したことで、何百万ドルも費用がかかる可能性があるとのこと。

しか「ジョルト」で採用されている「zkVM」により、処理速度の高速化やセキュリティ向上に加え、開発者にとって拡張が容易で監査が簡単になっているとのこと。

a16zは昨年12月、2024年にクリプト（暗号資産・ブロックチェーンの総称）業界に期待することの1つにSNARKをあげていた。

コストやネットワークのスケーラビリティの点で限界があった計算ワークロードを検証する戦略が、SNARKの技術によって解決する使えるものになってきている為、SNARKによる計算効率の向上により、社会的に大きな利益をもたらす多くのユースケースが生まれるとのこと。