diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-01-28 13:19:10 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-01-28 13:19:10 +0200 |
| commit | d1dfdda83435a12fd67f704f153440ccd12f840c (patch) | |
| tree | 0aa0d19eb2e03852824469ab2551a64417e65871 /zkvms/risc0/host | |
| parent | 17bcac02e208f1e6da33900410538f15d7436f25 (diff) | |
| download | zkVMs-benchmarks-d1dfdda83435a12fd67f704f153440ccd12f840c.tar zkVMs-benchmarks-d1dfdda83435a12fd67f704f153440ccd12f840c.tar.gz zkVMs-benchmarks-d1dfdda83435a12fd67f704f153440ccd12f840c.zip | |
feat(zkvms/risc0): Adapt to new input type
Diffstat (limited to 'zkvms/risc0/host')
| -rw-r--r-- | zkvms/risc0/host/src/main.rs | 20 |
1 files changed, 7 insertions, 13 deletions
diff --git a/zkvms/risc0/host/src/main.rs b/zkvms/risc0/host/src/main.rs index 4077a44..8fe3b2d 100644 --- a/zkvms/risc0/host/src/main.rs +++ b/zkvms/risc0/host/src/main.rs @@ -1,4 +1,4 @@ -use zkvms_host_io::{read_args, RunType::{ Execute, Prove, Verify }}; +use zkvms_host_io::{Input, foreach_input_field, read_args, RunType::{ Execute, Prove, Verify }}; use risc0_zkvm::{default_prover, default_executor, ExecutorEnv, Receipt}; use risc0_zkp::core::digest::Digest; use hex::FromHex; @@ -8,18 +8,12 @@ static HELLO_GUEST_ELF: &[u8] = include_bytes!("./guest"); // https://github.com/risc0/risc0/blob/881e512732eca72849b2d0e263a1242aba3158af/risc0/build/src/lib.rs#L255 static HELLO_GUEST_ID: &str = env!("GUEST_ID"); -type Input = (Vec<Vec<bool>>, u32, Vec<Vec<u32>>); - -fn build_env((graph, colors, coloring): &Input) -> ExecutorEnv { - ExecutorEnv::builder() - .write(&graph) - .unwrap() - .write(&colors) - .unwrap() - .write(&coloring) - .unwrap() - .build() - .unwrap() +fn build_env(input: &Input) -> ExecutorEnv { + let mut builder = ExecutorEnv::builder(); + foreach_input_field!{ + builder.write(&input.yield).unwrap(); + } + builder.build().unwrap() } fn prove(env: ExecutorEnv) -> Receipt { |