mirror of https://github.com/zcash/orchard.git
Update serialized proof test case for circuit changes
This commit is contained in:
parent
6c9ff19342
commit
d6d1dbea14
|
@ -1074,11 +1074,13 @@ mod tests {
|
|||
|
||||
if std::env::var_os("ORCHARD_CIRCUIT_TEST_GENERATE_NEW_PROOF").is_some() {
|
||||
let create_proof = || -> std::io::Result<()> {
|
||||
let mut rng = OsRng;
|
||||
|
||||
let (circuit, instance) = generate_circuit_instance(OsRng);
|
||||
let instances = &[instance.clone()];
|
||||
|
||||
let pk = ProvingKey::build();
|
||||
let proof = Proof::create(&pk, &[circuit], instances).unwrap();
|
||||
let proof = Proof::create(&pk, &[circuit], instances, &mut rng).unwrap();
|
||||
assert!(proof.verify(&vk, instances).is_ok());
|
||||
|
||||
let file = std::fs::File::create("circuit_proof_test_case.bin")?;
|
||||
|
|
Binary file not shown.
Loading…
Reference in New Issue