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

Remove VerifyingKey serialization from sha256 gadget benchmark

This commit is contained in:
Jack Grigg 2022-03-17 18:58:53 +00:00
parent f46d77763e
commit d3f2980349
1 changed files with 2 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
halo2_gadgets/benches/sha256.rs
View File

@ -3,7 +3,7 @@ use halo2_proofs::{
pasta::{pallas, EqAffine},
plonk::{
create_proof, keygen_pk, keygen_vk, verify_proof, Circuit, ConstraintSystem, Error,
SingleVerifier, VerifyingKey,
SingleVerifier,
},
poly::commitment::Params,
transcript::{Blake2bRead, Blake2bWrite, Challenge255},
@ -97,23 +97,7 @@ fn bench(name: &str, k: u32, c: &mut Criterion) {
let empty_circuit: MyCircuit = MyCircuit {};
// Initialize the proving key
let vk_path = Path::new("./benches/sha256_assets/sha256_vk");
if File::open(&vk_path).is_err() {
let vk = keygen_vk(&params, &empty_circuit).expect("keygen_vk should not fail");
let mut buf = Vec::new();
vk.write(&mut buf).expect("Failed to write vk");
let mut file = File::create(&vk_path).expect("Failed to create sha256_vk");
file.write_all(&buf[..])
.expect("Failed to write vk to file");
}
let vk_fs = File::open(&vk_path).expect("couldn't load sha256_vk");
let vk: VerifyingKey<EqAffine> =
VerifyingKey::<EqAffine>::read::<_, MyCircuit>(&mut BufReader::new(vk_fs), &params)
.expect("Failed to read vk");
let vk = keygen_vk(&params, &empty_circuit).expect("keygen_vk should not fail");
let pk = keygen_pk(&params, vk, &empty_circuit).expect("keygen_pk should not fail");
let circuit: MyCircuit = MyCircuit {};