Skip to content

Commit

Permalink
Fix examples broken by verifier API changes.
Browse files Browse the repository at this point in the history
ebfull committed Jul 14, 2021

Verified

This commit was signed with the committer’s verified signature.
1 parent 99a0e67 commit ef01b93
Showing 2 changed files with 2 additions and 4 deletions.
3 changes: 1 addition & 2 deletions examples/simple-example.rs
Original file line number Diff line number Diff line change
@@ -321,8 +321,7 @@ fn main() {

// Arrange the public input. We expose the multiplication result in row 0
// of the instance column, so we position it there in our public inputs.
let mut public_inputs = vec![Fp::zero(); 1 << k];
public_inputs[0] = c;
let mut public_inputs = vec![c];

// Given the correct public input, our circuit will verify.
let prover = MockProver::run(k, &circuit, vec![public_inputs.clone()]).unwrap();
3 changes: 1 addition & 2 deletions examples/two-chip.rs
Original file line number Diff line number Diff line change
@@ -568,8 +568,7 @@ fn main() {

// Arrange the public input. We expose the multiplication result in row 0
// of the instance column, so we position it there in our public inputs.
let mut public_inputs = vec![Fp::zero(); 1 << k];
public_inputs[0] = d;
let mut public_inputs = vec![d];

// Given the correct public input, our circuit will verify.
let prover = MockProver::run(k, &circuit, vec![public_inputs.clone()]).unwrap();

0 comments on commit ef01b93

Please sign in to comment.