ZK証明を中心に設計された新しい実行層、 ミデンと知り合いましょう - パート2。Miden VM とクライアントサイドの認証 チェ・ヒョジン(@Maxi_cho) おっしゃった通り、 @0xMiden単なるZKプロジェクトではありません。 パート1でなぜミデンが必要なのかを見れば、 今回はコアエンジン、ミデンVM、 簡単な例を挙げて、その仕組みを説明しましょう。 -------- テストを受けるとき 問題解決のためのテスト用紙、 そして一緒にOMRカードを受け取ります。 問題はテスト用紙に直接解くことができます。 空間は狭く不便で、複雑な公式や思考過程があります 自由に書き留めるのは難しいです。 そこで問題解決のための別の論文を手に入れました。 思う存分の公式を作って問題を解決しましょう。 このプロセスは問題を適切に解決するためのものです。 誰かに見せるためのものではありません。 試験後は問題解決が紙の上で行われます すべての計算プロセスを提出しているわけではありません。...