recursive proof test

HerodotusDev · Jun 9, 2024 · 071c73c · 071c73c
1 parent 4a4b692
commit 071c73c
Show file tree

Hide file tree

Showing 2 changed files with 1,675 additions and 1 deletion.
diff --git a/fact_registry/Scarb.toml b/fact_registry/Scarb.toml
@@ -7,7 +7,7 @@ edition = "2023_10"
 
 [dependencies]
 cairo_verifier = { path = ".." }
-snforge_std = { git = "https://github.com/foundry-rs/starknet-foundry", tag = "v0.20.1" }
+snforge_std = { git = "https://github.com/foundry-rs/starknet-foundry", tag = "v0.23.0" }
 
 [[target.starknet-contract]]
 casm = true