It compiles and passes

Sovereign-Labs · Aug 1, 2023 · 18cf66e · 18cf66e
1 parent e0f0c97
commit 18cf66e
Show file tree

Hide file tree

Showing 9 changed files with 530 additions and 29 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/examples/demo-prover/Cargo.lock b/examples/demo-prover/Cargo.lock