Validation of public signals should be implemented here:
|
// TODO: Add verification of public inputs |
And here:
|
// TODO: Add verification of public inputs |
To do this, it's required to extract them from the proof generated with noir-rs and compare them to the inputs provided by the counterparty. It will ensure that the proof is valid for particular inputs.
Validation of public signals should be implemented here:
op_rand/crates/prover/src/backends/barretenberg.rs
Line 107 in dbeeb5e
And here:
op_rand/crates/prover/src/backends/barretenberg.rs
Line 181 in dbeeb5e
To do this, it's required to extract them from the proof generated with
noir-rsand compare them to the inputs provided by the counterparty. It will ensure that the proof is valid for particular inputs.