zk-STARK
zk-STARKとは、ゼロ知識のスケーラブルで透明な知識の論証（zero-knowledge scalable transparent arguments of knowledge）を指し、ブロックチェーンが計算を単一のオフチェーンSTARKプルーバーに移し、その計算の完全性をオンチェーンのSTARKベリファイアで検証… zk-STARKとは、ゼロ知識のスケーラブルで透明な知識の論証（zero-knowledge scalable transparent arguments of knowledge）を指し、ブロックチェーンが計算を単一のオフチェーンSTARKプルーバーに移し、その計算の完全性をオンチェーンのSTARKベリファイアで検証できるようにする暗号証明技術の一種です。最初のSTARKに関する論文は2018年に発表されました。zk-STARKが登場する以前、ゼロ知識証明システムの構築にはzk-SNARK（ゼロ知識の簡潔な非対話… zk-STARKとは、ゼロ知識のスケーラブルで透明な知識の論証（zero-knowledge scalable transparent arguments of knowledge）を指し、ブロックチェーンが計算を単一のオフチェーンSTARKプルーバーに移し、その計算の完全性をオンチェーンのSTARKベリファイアで検証できるようにする暗号証明技術の一種です。最初のSTARKに関する論文は2018年に発表されました。zk-STARKが登場する以前、ゼロ知識証明システムの構築にはzk-SNARK（ゼロ知識の簡潔な非対話…
