問題タブ [evm]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
84 問題
0
投票する
1
に答える
44
参照
ethereum - ZoKrates 無効な証人は有効な証拠を生み出す
私は一般的にZoKratesとZKのものに不慣れです。証人がどのように機能するかについて混乱しています。無効な証人を計算しても、検証者は証明が正しいと検証します。たとえば（ZoKratesの「開始」に基づく）。
このプログラムを考えると：
次に、以下を実行します。
私が走るとき
PASSED を返します。
ただし、悪い値を指定しcompute-witnessても合格します。例えば：
ここで何かを理解していないことは明らかですが、オンラインでさまざまなビットを数時間読んだ後でも、何がわからないのですか。