RSS トレイル・オブ・ビッツ ブログ
フォロー
AxiomのHalo2回路の深掘り
2023年の2回の監査において、Axiomが開発したブロックチェーンシステムをレビューしました。このシステムは、Ethereumの全履歴にわたる計算を可能にし、ZK検証済み楕円曲線とSNARK再帰演算を用いて、ゼロ知識証明（ZKPs）によってオンチェーンで検証されます。このシステムはHalo2フレームワークを用いて構築されています。Halo2は複雑で新興の技術であり、セキュアなアプリケーションを構築する際には、低レベルAPIに起因する制約不足の問題など、多くの課題を提示します。
