zkVMの正式な検証:検証者がチェックする制約を抽出し、それらの制約に対して検証器を実行します。 まず非決定性回路を確認し、その後特定の性質を確認します。 同じプロセスはzkVMのような複雑なシステムにも適用されます。