github/darkfi
1
1
Fork 0
mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-01-10 07:08:05 -05:00
Code Issues Packages Projects Releases Wiki Activity

tests: halo2_vk_ser missing argument while VerifyingKey

Browse Source
This commit is contained in:
Dastan-glitch
2023-07-20 16:19:36 +03:00
parent 12c628efdb
commit ea10c80b3c
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
tests/halo2_vk_ser.rs
View File

@@ -71,11 +71,15 @@ fn halo2_vk_ser() -> Result<()> {
println!("Reading vk3");
let mut buf1_c = Cursor::new(buf1);
let vk3 = VerifyingKey::read::<Cursor<Vec<u8>>, ZkCircuit>(&mut buf1_c)?;
// Construct the circuit to be able to read the VerifyingKey
let circuit = ZkCircuit::new(empty_witnesses(&zkbin), &zkbin);
let vk3 = VerifyingKey::read::<Cursor<Vec<u8>>, ZkCircuit>(&mut buf1_c, circuit)?;
println!("Reading vk4");
let mut buf2_c = Cursor::new(buf2);
let vk4 = VerifyingKey::read::<Cursor<Vec<u8>>, ZkCircuit>(&mut buf2_c)?;
// Construct the circuit to be able to read the VerifyingKey
let circuit = ZkCircuit::new(empty_witnesses(&zkbin), &zkbin);
let vk4 = VerifyingKey::read::<Cursor<Vec<u8>>, ZkCircuit>(&mut buf2_c, circuit)?;
// Now let's see if we can verify a proof with all four keys.
println!("Creating pk");