Merge pull request #18 from originalworks/use-groth16-in-guest-code

Use groth16 for proof generation

prover/Cargo.toml

@@ -9,12 +9,13 @@ shared = { path = "shared" }
 risc0-zkvm = { version = "1.1.2" }
 tracing-subscriber = { version = "0.3", features = ["env-filter"] }
 serde = "1.0"
-ddex_schema = {path = '../parser/ddex_schema'}
+ddex_schema = { path = '../parser/ddex_schema' }
 env_logger = "0.11.5"
-blob_codec = {path = '../blob_codec'}
+blob_codec = { path = '../blob_codec' }
+risc0-ethereum-contracts = { git = "https://github.com/risc0/risc0-ethereum", tag = "v1.1.4" }
 
 [features]
 cuda = ["risc0-zkvm/cuda"]
 default = []
 metal = ["risc0-zkvm/metal"]
-prove = ["risc0-zkvm/prove"]
+prove = ["risc0-zkvm/prove"]

prover/src/main.rs

@@ -1,10 +1,10 @@
 use blob_codec::BlobCodec;
 use core::str;
 use methods::{DDEX_PARSER_GUEST_ELF, DDEX_PARSER_GUEST_ID};
-use risc0_zkvm::{default_prover, ExecutorEnv};
+use risc0_ethereum_contracts::encode_seal;
+use risc0_zkvm::{default_prover, ExecutorEnv, ProverOpts, VerifierContext};
 use shared::PublicOutputs;
 use std::time::Instant;
-
 pub struct StopWatch {
     timer: Instant,
 }
@@ -40,16 +40,31 @@ fn main() {
 
     let prover = default_prover();
 
-    let receipt = prover.prove(env, DDEX_PARSER_GUEST_ELF).unwrap().receipt;
+    let receipt = prover
+        .prove_with_ctx(
+            env,
+            &VerifierContext::default(),
+            DDEX_PARSER_GUEST_ELF,
+            &ProverOpts::groth16(),
+        )
+        .unwrap()
+        .receipt;
+
+    let seal = encode_seal(&receipt).unwrap();
+
+    let journal = receipt.journal.bytes.clone();
 
     let public_outputs: PublicOutputs = receipt.journal.decode().unwrap();
 
     println!(
-        "Values decoded from receipt:: Verified: {}, Digest: {}",
-        public_outputs.is_valid,
-        String::from_utf8_lossy(&public_outputs.digest),
+        "Values decoded from receipt:: Verified: {}",
+        public_outputs.is_valid
     );
 
+    println!("public outputs: {public_outputs:?}");
+    println!("journal: {journal:?}");
+    println!("seal: {seal:?}");
+
     timer.stop("produce the proof");
 
     timer = StopWatch::start();