Skip to content

Commit

Permalink
Change METHOD_ELF to METHOD_CONTENTS
Browse files Browse the repository at this point in the history
  • Loading branch information
Vesnica committed Aug 19, 2022
1 parent 58e2410 commit ca64826
Show file tree
Hide file tree
Showing 4 changed files with 8 additions and 8 deletions.
4 changes: 2 additions & 2 deletions cli/src/prover_add.rs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
use common::{encode_hex_u32, encode_hex_u8, Proof};
use methods::{ADD_MOD_ELF, ADD_MOD_ID, ADD_MOD_PATH};
use methods::{ADD_MOD_CONTENTS, ADD_MOD_ID, ADD_MOD_PATH};
use risc0_zkvm::host::Prover;
use risc0_zkvm::serde::{from_slice, to_vec};

Expand All @@ -8,7 +8,7 @@ fn main() {
let b: u64 = 2;
let m: u64 = 1024;

let mut prover = Prover::new(ADD_MOD_ELF, ADD_MOD_ID).unwrap();
let mut prover = Prover::new(ADD_MOD_CONTENTS, ADD_MOD_ID).unwrap();
prover.add_input(to_vec(&a).unwrap().as_slice()).unwrap();
prover.add_input(to_vec(&b).unwrap().as_slice()).unwrap();
prover.add_input(to_vec(&m).unwrap().as_slice()).unwrap();
Expand Down
4 changes: 2 additions & 2 deletions cli/src/prover_mul.rs
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
use common::{encode_hex_u32, encode_hex_u8, Proof};
use methods::{MULTIPLY_ELF, MULTIPLY_ID, MULTIPLY_PATH};
use methods::{MULTIPLY_CONTENTS, MULTIPLY_ID, MULTIPLY_PATH};
use risc0_zkvm::host::Prover;
use risc0_zkvm::serde::{from_slice, to_vec};

fn main() {
let a: u64 = 1023;
let b: u64 = 23;

let mut prover = Prover::new(MULTIPLY_ELF, MULTIPLY_ID).unwrap();
let mut prover = Prover::new(MULTIPLY_CONTENTS, MULTIPLY_ID).unwrap();
prover.add_input(to_vec(&a).unwrap().as_slice()).unwrap();
prover.add_input(to_vec(&b).unwrap().as_slice()).unwrap();

Expand Down
4 changes: 2 additions & 2 deletions cli/src/prover_pw.rs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
use common::{encode_hex_u32, encode_hex_u8, PasswordRequest, Proof};
use methods::{PASSWORD_ELF, PASSWORD_ID, PASSWORD_PATH};
use methods::{PASSWORD_CONTENTS, PASSWORD_ID, PASSWORD_PATH};
use rand::{thread_rng, RngCore};
use risc0_zkp::core::sha::Digest;
use risc0_zkvm::host::Prover;
Expand All @@ -15,7 +15,7 @@ fn main() {
salt,
};

let mut prover = Prover::new(PASSWORD_ELF, PASSWORD_ID).unwrap();
let mut prover = Prover::new(PASSWORD_CONTENTS, PASSWORD_ID).unwrap();

// Adding input to the prover makes it readable by the guest
let vec = to_vec(&request).unwrap();
Expand Down
4 changes: 2 additions & 2 deletions cli/src/prover_sig.rs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
use common::{encode_hex_u32, encode_hex_u8, Message, Passphrase, Proof, SigningRequest};
use methods::{SIGNATURE_ELF, SIGNATURE_ID, SIGNATURE_PATH};
use methods::{SIGNATURE_CONTENTS, SIGNATURE_ID, SIGNATURE_PATH};
use risc0_zkvm::host::{Prover, Receipt, Result};
use risc0_zkvm::serde::to_vec;
use sha2::{Digest, Sha256};
Expand All @@ -25,7 +25,7 @@ pub fn sign(pass_str: impl AsRef<[u8]>, msg_str: impl AsRef<[u8]>) -> Result<Rec
msg,
};

let mut prover = Prover::new(SIGNATURE_ELF, SIGNATURE_ID)?;
let mut prover = Prover::new(SIGNATURE_CONTENTS, SIGNATURE_ID)?;
let vec = to_vec(&params).unwrap();
prover.add_input(vec.as_slice())?;
println!("Executing {}", SIGNATURE_PATH.split('/').last().unwrap());
Expand Down

0 comments on commit ca64826

Please sign in to comment.