How ZK Works To Enable Various Applications Of Privacy

1980年代にシャフィ・ゴールドワッサー、シルヴィオ・ミカリ、チャールズ・ラコフの研究者らによってゼロ知識証明が初めて提案されて以来、ゼロ知識（ZK）技術の開発は著しく進化を遂げてきた。

ゼロ知識仮想マシン（zkVM）は、他のプログラムを実行できるプログラムであり、ZKPシステムの回路として実装されます。主にブロックチェーンおよび関連技術での使用を目的として設計されており、検証可能な計算と安全な通信チャネルを実現し、異なるプラットフォーム間でデータの完全性と一貫性を確保します。

ZKMはzk-MIPSと呼ばれるzkVMを開発し、オフチェーンで正しく実行された

「Microprocessor without Interlocked Pipeline Stages (マイクロプロセッサ・ウィズアウト・インターロックド・パイプライン・ステージズ)」（MIPS）プログラムをオンチェーンで検証可能にした。具体的には、MIPSは簡素化を目的とした最小限のマイクロプロセッサアーキテクチャである。記述された高水準コードはすべて、MIPS VMによる実行準備が整った少数の異なる命令セットへコンパイルされる。