add proof examples

radixdlt · Jan 17, 2025 · fb23342 · fb23342
1 parent 9fec618
commit fb23342
Show file tree

Hide file tree

Showing 7 changed files with 2,321 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1 +1,2 @@
 radixdlt-scrypto
+target/
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -4,6 +4,7 @@
     "scrypto-design-patterns/blueprint-proxy/Cargo.toml",
     "scrypto-design-patterns/yield_amm/amm/Cargo.toml",
     "scrypto-design-patterns/yield_amm/yield_tokenizer/Cargo.toml",
+    "core-system-features/proofs/Cargo.toml",
     "step-by-step/01-running-your-first-project/Cargo.toml",
     "step-by-step/02-hello-token-explained/Cargo.toml",
     "step-by-step/03-create-a-custom-resource/Cargo.toml",

diff --git a/core-system-features/proofs/.gitignore b/core-system-features/proofs/.gitignore
@@ -0,0 +1,2 @@
+/target
+/coverage