Merge branch 'main' of github.com:risc0/zeth into rkhalil/stark2snark

risc0 · Feb 12, 2024 · 7f7f122 · 7f7f122
2 parents f75538f + ee9d6e0
commit 7f7f122
Show file tree

Hide file tree

Showing 37 changed files with 166 additions and 246 deletions.
diff --git a/.gitignore b/.gitignore
@@ -6,5 +6,4 @@ cache_zkp/
 log.txt
 *.pb
 *.zkp
-cache_rpc.json
 .idea