distributed-lab / distributed-lab/op_rand
Public signals validation
Open
enhancement
- Dominant language
- Noir
- Stars
- 15
- Forks
- 1
- PR merge metrics
- No merged PRs in 30d
Description
Validation of public signals should be implemented here:
https://github.com/distributed-lab/op_rand/blob/dbeeb5e2e3df3f91158b9291d7be241b8b7e5c08/crates/prover/src/backends/barretenberg.rs#L107
And here:
https://github.com/distributed-lab/op_rand/blob/dbeeb5e2e3df3f91158b9291d7be241b8b7e5c08/crates/prover/src/backends/barretenberg.rs#L181
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.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.