Skip to content

Commit

Permalink
doc: Add comments
Browse files Browse the repository at this point in the history
  • Loading branch information
flyingnobita committed Mar 5, 2024
1 parent 1be2ac1 commit 774eddf
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions zk_prover/src/circuits/tests.rs
Original file line number Diff line number Diff line change
Expand Up @@ -487,6 +487,7 @@ mod test {
.unwrap();
let instances_clone = circuit.instances().clone();

// generate proof
let proof = {
let mut transcript = Keccak256Transcript::new(Vec::new());
let proof_creation_result = create_proof::<_, ProverSHPLONK<_>, _, _, _, _>(
Expand All @@ -509,6 +510,7 @@ mod test {
.expect("Failed to write proof");
println!("Proof written to: {}", proof_path);

// verify proof
let result = {
let mut transcript = Keccak256Transcript::new(proof.as_slice());
verify_proof::<_, VerifierSHPLONK<_>, _, _, SingleStrategy<_>>(
Expand Down

0 comments on commit 774eddf

Please sign in to comment.