zec
/
orchard
mirror of https://github.com/zcash/orchard.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Rename `anchor` to `root`, and `pub_input_anchor` to `anchor` 

This ensures that we are consistent in the circuit in referring to the
public bundle anchor as `anchor`, and the calculated Merkle tree root as
`root`.
This commit is contained in:
Jack Grigg 2022-05-04 23:57:26 +00:00
parent 8c7bb5b95d
commit 0603d602d0
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/circuit.rs
View File

@ -145,7 +145,7 @@ impl plonk::Circuit<pallas::Base> for Circuit {
];
// Constrain v_old - v_new = magnitude * sign
// Either v_old = 0, or anchor equals public input
// Either v_old = 0, or calculated root = anchor
// Constrain v_old = 0 or enable_spends = 1.
// Constrain v_new = 0 or enable_outputs = 1.
let q_orchard = meta.selector();
@ -156,8 +156,8 @@ impl plonk::Circuit<pallas::Base> for Circuit {
let magnitude = meta.query_advice(advices[2], Rotation::cur());
let sign = meta.query_advice(advices[3], Rotation::cur());
let anchor = meta.query_advice(advices[4], Rotation::cur());
let pub_input_anchor = meta.query_advice(advices[5], Rotation::cur());
let root = meta.query_advice(advices[4], Rotation::cur());
let anchor = meta.query_advice(advices[5], Rotation::cur());
let enable_spends = meta.query_advice(advices[6], Rotation::cur());
let enable_outputs = meta.query_advice(advices[7], Rotation::cur());
@ -172,8 +172,8 @@ impl plonk::Circuit<pallas::Base> for Circuit {
v_old.clone() - v_new.clone() - magnitude * sign,
),
(
"Either v_old = 0, or anchor equals public input",
v_old.clone() * (anchor - pub_input_anchor),
"Either v_old = 0, or root = anchor",
v_old.clone() * (root - anchor),
),
(
"v_old = 0 or enable_spends = 1",