Risc0 cw verifier

risc0-cw-verifier/.cargo/config

@@ -0,0 +1,2 @@
+[alias]
+wasm = "build --release --target wasm32-unknown-unknown"

risc0-cw-verifier/Cargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "risc0-cw-verifier"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+risc0-zkp = { version = "0.21.0", default-features = false }
+risc0-zkvm = { version = "0.21.0", default-features = false }
+

risc0-cw-verifier/README.md

@@ -0,0 +1,6 @@
+# risc0 verifier for WASM
+
+```shell
+$ # check that code compiles on WASM target
+$ cargo wasm 
+```

risc0-cw-verifier/src/main.rs

@@ -0,0 +1,32 @@
+use risc0_zkp::core::digest::Digest;
+use risc0_zkvm::{ExitCode, InnerReceipt, Journal, Receipt, ReceiptClaim, SystemState};
+
+fn main() {
+    // create dummy receipt
+    // TODO: replace this with code for deserializing a real receipt
+    let receipt = Receipt {
+        inner: InnerReceipt::Fake {
+            claim: ReceiptClaim {
+                pre: SystemState {
+                    pc: 0,
+                    merkle_root: Digest::ZERO,
+                }
+                .into(),
+                post: SystemState {
+                    pc: 0,
+                    merkle_root: Digest::ZERO,
+                }
+                .into(),
+                exit_code: ExitCode::Halted(0),
+                input: Digest::ZERO.into(),
+                output: None.into(),
+            },
+        },
+        journal: Journal { bytes: vec![] },
+    };
+
+    // Verify receipt, panic if it's wrong
+    receipt
+        .verify(Digest::ZERO)
+        .expect("dummy receipt fails to verify");
+}