ゼロ知識システムに関しては、ほとんどの設計が最終的に同じ選択に直面します。

zk-SNARKs か zk-STARKs か。

どちらも強力です。どちらもトレードオフがあります。

膨大な履歴データをオフチェーンにプッシュする必要がある無限の計算層にとって、@brevis_zk は非常に意図的な決定を下しました。

彼らは zk-SNARKs を中心に構築しました。

これが重要な理由：

→ 非常に小さな証明はオンチェーンの検証コストを抑える
→ 高速な検証によりほぼリアルタイムの dApp ロジックを実現
→ ツールは成熟しており、実戦投入済み
→ 大規模な履歴データセットを効率的に要約するのに理想的

これにより、dApp は次のようなことを証明できます
過去30日間にユーザーが100回のスワップを実行した
ただし、どのスワップかや敏感な詳細は明かさずに

すべて数百バイトの証明に圧縮されている。

このようなシンプルな設計選択こそが、大規模な検証可能な計算を実現する鍵です。