chore: cleanup and remove redundant files (#474)

* wip: cleanups

* chrore: update readme and remove unused imports

* update mdbook summary

* Update README.md

* cleanup proofs crate

---------

Co-authored-by: Matt <[email protected]>

README.md

@@ -15,7 +15,6 @@ Visit the [Pluto documentation](https://docs.pluto.xyz) for integration guides,
 
 If you have any questions, please reach out to any of Pluto's [team members](https://pluto.xyz/team) or join our [Telegram](https://t.me/pluto_xyz) to ask questions. We'd love to hear from you!
 
-
 ## Development
 
 ### Repo layout
@@ -28,6 +27,11 @@ If you have any questions, please reach out to any of Pluto's [team members](htt
 - `notary`: notary server which can notarize MPC/ Origo/ TEE proofs.
 - `proofs`: contains all of our circom artifacts for the Origo proofs as well as a set of extractor proofs for selective disclosure over response data.
 
+### Setup
+- Install rust nightly: `rustup install toolchain nightly-2024-10-28`
+- Run `make artifacts` to download circuit artifacts required for Web Prover proxy mode
+- Compilation errors? Have a look at [KNOWN_ISSUES.md](KNOWN_ISSUES.md)
+
 ### Native Client Development
 
 ```

book/SUMMARY.md

@@ -1,2 +1 @@
-- [Introduction](../README.md)
-- [Proofs](../proofs/README.md)
+- [Introduction](../README.md)

proofs/Cargo.toml

@@ -5,16 +5,12 @@ edition="2021"
 publish=false
 build  ="build.rs"
 
-[target.'cfg(not(target_arch = "wasm32"))'.dependencies]
-circom_witnesscalc={ git="https://github.com/pluto/circom-witnesscalc" } # Fork is needed apparently??
-
 [dependencies]
-serde             ={ workspace=true }
-serde_json        ={ workspace=true }
-thiserror         ={ workspace=true }
-tracing           ={ workspace=true }
-tracing-subscriber={ workspace=true }
-tls-client2       ={ workspace=true } # a bit of an odd dependency to have in here imo
+serde      ={ workspace=true }
+serde_json ={ workspace=true }
+thiserror  ={ workspace=true }
+tracing    ={ workspace=true }
+tls-client2={ workspace=true } # a bit of an odd dependency to have in here imo
 
 hex                                 ="0.4"
 client-side-prover                  ={ git="https://github.com/pluto/client-side-prover", rev="8e7eb839e901dcee416179116bb0f9c4f7ae683c" }
@@ -43,6 +39,9 @@ wasm-bindgen        ="0.2.87"
 js-sys              ="0.3.64"
 wasm-bindgen-futures="0.4.37"
 
+[target.'cfg(not(target_arch = "wasm32"))'.dependencies]
+circom_witnesscalc={ git="https://github.com/pluto/circom-witnesscalc" } # Fork is needed apparently??
+
 [dev-dependencies]
 tracing-test="0.2.5"
 tempdir     ="0.3.7"

proofs/Makefile

@@ -25,7 +25,4 @@ test-circuits:
 
 	build-circuit examples/circuit_data/add_external.circom examples/circuit_data/add_external.bin -l node_modules
 	build-circuit examples/circuit_data/square_zeroth.circom examples/circuit_data/square_zeroth.bin -l node_modules
-	build-circuit examples/circuit_data/swap_memory.circom examples/circuit_data/swap_memory.bin -l node_modules
-
-proof: web-prover-circuits
-	cargo test --release --features timing -- tests::test_end_to_end_proofs --exact --show-output
+	build-circuit examples/circuit_data/swap_memory.circom examples/circuit_data/swap_memory.bin -l node_modules