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

Migrate to latest `halo2` test API

This commit is contained in:
Jack Grigg 2021-07-19 12:57:50 +01:00
parent 654f1b4613
commit 1dca72a1cc
5 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Cargo.toml
View File

@ -62,5 +62,5 @@ name = "small"
harness = false harness = false
[patch.crates-io] [patch.crates-io]
halo2 = { git = "https://github.com/zcash/halo2.git", rev = "4a9e329ded1c54347af105210c77587bb69f3c57" } halo2 = { git = "https://github.com/zcash/halo2.git", rev = "dda1be47316c32585c0d974c0b6401108714875d" }
zcash_note_encryption = { git = "https://github.com/zcash/librustzcash.git", rev = "cc533a9da4f6a7209a7be05f82b12a03969152c9" } zcash_note_encryption = { git = "https://github.com/zcash/librustzcash.git", rev = "cc533a9da4f6a7209a7be05f82b12a03969152c9" }

8
src/circuit/gadget/ecc/chip/mul_fixed/short.rs
View File

@ -475,11 +475,11 @@ pub mod tests {
assert_eq!( assert_eq!(
prover.verify(), prover.verify(),
Err(vec![ Err(vec![
VerifyFailure::Constraint { VerifyFailure::ConstraintNotSatisfied {
constraint: ((2, "final z = 0").into(), 0, "").into(), constraint: ((2, "final z = 0").into(), 0, "").into(),
row: 24 row: 24
}, },
VerifyFailure::Constraint { VerifyFailure::ConstraintNotSatisfied {
constraint: ( constraint: (
(13, "Short fixed-base mul gate").into(), (13, "Short fixed-base mul gate").into(),
0, 0,
@ -504,12 +504,12 @@ pub mod tests {
assert_eq!( assert_eq!(
prover.verify(), prover.verify(),
Err(vec![ Err(vec![
VerifyFailure::Constraint { VerifyFailure::ConstraintNotSatisfied {
constraint: ((13, "Short fixed-base mul gate").into(), 1, "sign_check") constraint: ((13, "Short fixed-base mul gate").into(), 1, "sign_check")
.into(), .into(),
row: 26 row: 26
}, },
VerifyFailure::Constraint { VerifyFailure::ConstraintNotSatisfied {
constraint: ( constraint: (
(13, "Short fixed-base mul gate").into(), (13, "Short fixed-base mul gate").into(),
3, 3,

2
src/circuit/gadget/utilities.rs
View File

@ -214,7 +214,7 @@ mod tests {
let prover = MockProver::<pallas::Base>::run(3, &circuit, vec![]).unwrap(); let prover = MockProver::<pallas::Base>::run(3, &circuit, vec![]).unwrap();
assert_eq!( assert_eq!(
prover.verify(), prover.verify(),
Err(vec![VerifyFailure::Constraint { Err(vec![VerifyFailure::ConstraintNotSatisfied {
constraint: ((0, "range check").into(), 0, "").into(), constraint: ((0, "range check").into(), 0, "").into(),
row: 0 row: 0
}]) }])

4
src/circuit/gadget/utilities/decompose_running_sum.rs
View File

@ -365,11 +365,11 @@ mod tests {
assert_eq!( assert_eq!(
prover.verify(), prover.verify(),
Err(vec![ Err(vec![
VerifyFailure::Constraint { VerifyFailure::ConstraintNotSatisfied {
constraint: ((1, "final z = 0").into(), 0, "").into(), constraint: ((1, "final z = 0").into(), 0, "").into(),
row: 22 row: 22
}, },
VerifyFailure::Constraint { VerifyFailure::ConstraintNotSatisfied {
constraint: ((1, "final z = 0").into(), 0, "").into(), constraint: ((1, "final z = 0").into(), 0, "").into(),
row: 45 row: 45
} }

2
src/circuit/gadget/utilities/enable_flag.rs
View File

@ -210,7 +210,7 @@ mod tests {
let prover = MockProver::<Base>::run(3, &circuit, vec![]).unwrap(); let prover = MockProver::<Base>::run(3, &circuit, vec![]).unwrap();
assert_eq!( assert_eq!(
prover.verify(), prover.verify(),
Err(vec![VerifyFailure::Constraint { Err(vec![VerifyFailure::ConstraintNotSatisfied {
constraint: ((0, "Enable flag").into(), 0, "").into(), constraint: ((0, "Enable flag").into(), 0, "").into(),
row: 1, row: 1,
}]) }])