docs: remove proofs

I enjoyed the rigorous thinking, but I also don't have any faith that my modeling of Lockstitch is accurate.
codahale · Jan 18, 2024 · a5d78ec · a5d78ec
1 parent 58ff539
commit a5d78ec
Show file tree

Hide file tree

Showing 11 changed files with 2 additions and 6,058 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -10,7 +10,7 @@ documentation = "https://docs.rs/lockstitch/"
 keywords = ["crypto", "aegis-128l", "turboshake128", "hazmat"]
 categories = ["cryptography", "no-std"]
 readme = "README.md"
-include = ["proofs/**/*", "src/**/*", "tests/**/*", "LICENSE", "README.md", "design.md", "perf.md"]
+include = ["src/**/*", "tests/**/*", "LICENSE", "README.md", "design.md", "perf.md"]
 
 [dependencies]
 aes = { version = "0.8.3", features = ["hazmat"], optional = true }

diff --git a/README.md b/README.md
@@ -16,8 +16,7 @@ modern processors at a 128-bit security level.
 
 Neither the design nor the implementation of this library have been independently evaluated. The
 design is documented in [`design.md`](design.md); read it and see if the arguments therein are
-convincing. CryptoVerif proofs can be found in the `proofs` directory; read them and see if the
-models and games therein are accurate.
+convincing.
 
 In addition, there is absolutely no guarantee of backwards compatibility.
 

diff --git a/proofs/aead-ind-cpa.ocv b/proofs/aead-ind-cpa.ocv