今日は、私にとって新しいzkVMのアイデアを見ようとしましたが、実際には思ったほど複雑ではないことに気付きました。
zkVMは、自分が正しく作業を行ったことを証明できるコンピュータのようなものです。
コードを実行し、回答を得て、それがすべて正しく行われたことの証明を作成します。それを確認するために、全てを最初からやり直す必要はありません。証明を確認するだけです。
これにより物事が迅速になります。また、証明は答えに至るまでのすべての小さなステップを示さないため、秘密を安全に保つことができます。
@0xMiden はこのアイデアに基づいて構築されており、私が zkVM に興味を持つようになった理由です。Miden は zkVM を使用して計算を行い、それをネットワークが迅速に確認できる証明に変えます。
これにより、人々はメインネットワークを詰まらせることなく、大規模で複雑なことを実行できるようになりますが、それが正しく行われたことを証明することもできます。負荷を軽減し、全体のシステムをスムーズに保ちます。
また、Midenが物事をプライベートに保つのにも役立ちます。秘密の内容を見せることなく、あなたが何かを行ったことを証明できます。
プライバシーを保ちながら、同時に検証可能であるための素晴らしい方法です。
原文表示