Machine learningCryptographic proof systems
zk-SNARK
zk-SNARK（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge）は、証明の有効性以外のいかなる情報も明らかにすることなく、ある命題が真であることを証明者に検証者に確信させる暗号学的証明システムである。この頭字語は、その主要な特性を表している。すなわち、対話が不要（Non-Interactive）、証明が短い（Succinct）、検証が効率的（Efficient）である。zk-SNARKは、Zcash暗号通貨での応用によって普及したが、その後、ブロックチェーンのスケーリングソリューション、プライバシー保護計算、検証可能な計算などにも利用されている。
手法の全文を読む
会員限定
ログイン無料アカウントでログインすると、このセクションを読めます。
手法マップ
関連する手法の近傍 — ノードを選択して探索できます。
出典
- Ben-Sasson, E., Chiesa, A., Garman, C., Green, M., Miers, I., Tromer, E., & Virza, M. (2014). Zerocash: Decentralized Anonymous Payments from Bitcoin. In IEEE Symposium on Security and Privacy (SP), pp. 459-474. DOI: 10.1109/SP.2014.36 ↗
- Bünz, B., Bootle, J., Boneh, D., Poelstra, A., Wuille, P., & Maxwell, G. (2018). Bulletproofs: Short proofs for confidential transactions and more. In IEEE S&P 2018, pp. 315-334. DOI: 10.1109/SP.2018.00020 ↗
このページの引用方法
ScholarGate. (2026, June 3). Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. ScholarGate. https://scholargate.app/ja/cryptography/zk-snark
どの手法を選ぶ？
この手法を最も近い類縁の手法と並べ、両者を見比べてください — ライブラリは本を机の上に並べるだけ。選ぶのはあなたです。
並べて比較する →