線形性により、以下に注意する。評価されたことを確信できる。上記のアプローチを任意の多項式に一般化するために必要な変更は1つで、Victorがより多くの情報をPeggyに送ればよい。評価したい多項式の字数として、Victorは以下の情報をPeggyに送れば良い。知っているので、この結果が正しいことをチェックできる。結論この連載の1つ目の投稿では、簡潔性と対話性というような、ゼロ知識プロトコルのレベルの高い性質のいくつかを議論した。これらに基づいて、zk-SNARKsというこの連頼の主題を導入し、Pythonで書いた簡単なプログラムについてzk-SNARKを構成しようとしたときに生じつ問題のいくつかを紹介した。これはR1CSとQAPの導入に動機づけられていて、コンピュータのコードを、zk-SNARKの構成に親しませてくれて、より形式的で数学的に柔軟な方法でコンピュータのコードを理解させてくれるような、QAPに変形する例を挙げた。最後に、この連載の続編で中心となる予定の、多項式の目隠し評価という強力な道具を道具箱に加えた。構成するのに必要な道具に拡張し、Pythonでこの技術の実装を提供する。エンドツーエンド...以下を参考。この訳では、ベクトルを太字で表現し、上付き添え字の「T」は転置を表す。タプル...以下を参考。スイス・アーミーナイフ...以下を参考。0Pagetopブロックチェーン関連の記事紹介まとめ(2019年2月:#32-59)どうも、ぺろりんです。́・ω・`)まずはスケーリングの問題が解決されないとかなぁ。結局富が集中しちゃうのが個人的には結構不満ですねー。価格)の変動具合はまだ問題なのかなぁ。