remove smart_proof

HerodotusDev · Mar 19, 2024 · 14a52cb · 14a52cb
1 parent 87353cf
commit 14a52cb
Show file tree

Hide file tree

Showing 9 changed files with 0 additions and 5,369 deletions.
diff --git a/smart_proof/.gitignore b/smart_proof/.gitignore
diff --git a/smart_proof/.tool-versions b/smart_proof/.tool-versions
diff --git a/smart_proof/1-declare.sh b/smart_proof/1-declare.sh
diff --git a/smart_proof/2-deploy.sh b/smart_proof/2-deploy.sh
diff --git a/smart_proof/3-get-proof.sh b/smart_proof/3-get-proof.sh
diff --git a/smart_proof/4-verify-smart-proof.sh b/smart_proof/4-verify-smart-proof.sh
diff --git a/smart_proof/Scarb.toml b/smart_proof/Scarb.toml
diff --git a/smart_proof/snfoundry.toml b/smart_proof/snfoundry.toml