Machine learningCryptographic proof systems
zk-STARK
zk-STARK（ゼロ知識スケーラブル透明証明知識）は、信頼されたセットアップや計算の詳細を明らかにすることなく、計算の正しさを検証者に確信させる暗号証明システムです。2018年にBen-Sassonらによって導入されたzk-STARKは、zk-SNARKの主要な制限、すなわち破損に対して脆弱な前処理フェーズを必要としないという点を解決します。代わりに、STARKは暗号ハッシュ関数のみに依存するため、よりシンプルで透明性が高く、ポスト量子暗号としても安全であると考えられています。
手法の全文を読む
会員限定
ログイン無料アカウントでログインすると、このセクションを読めます。
手法マップ
関連する手法の近傍 — ノードを選択して探索できます。
出典
- Ben-Sasson, E., Bentov, I., Horesh, Y., & Riabzev, M. (2019). Scalable, transparent, and post-quantum secure computational integrity. In IACR Cryptology ePrint Archive, Report 2018/046. link ↗
- Ben-Sasson, E., Riabzev, M., Rozenkraut, M., Shacham, H., & Stemen, M. (2021). Aurora: Transparent Succinct Non-Interactive Zero-Knowledge Proofs. In IACR Cryptology ePrint Archive, Report 2018/828. link ↗
このページの引用方法
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/ja/cryptography/zk-stark
どの手法を選ぶ？
この手法を最も近い類縁の手法と並べ、両者を見比べてください — ライブラリは本を机の上に並べるだけ。選ぶのはあなたです。
並べて比較する →