feat: Solidity verification of light client proofs with Plonk (#28)

* feat: Add scaffolding for Plonk verification in Solidity

* feat: Add Plonk contract

* tests: Add more negative Solidity testing

* feat: Add Rust program for Solidity contract generating

* chore: Update Cargo.lock

* chore: Update Plonk contract according to 'e48c01ec' tag of Sphinx

* chore: Formatting

* feat: Introduce downloading from our AWS private bucket

* feat: Update Foundry project to use sphinx-contracts dependency

* chore: Rename SP1 -> Sphinx

.gitmodules

@@ -0,0 +1,8 @@
+[submodule "aptos/solidity/contracts/lib/forge-std"]
+	path = aptos/solidity/contracts/lib/forge-std
+	url = https://github.com/foundry-rs/forge-std
+	# https://stackoverflow.com/questions/5126765/how-to-get-rid-of-git-submodules-untracked-status
+	ignore = dirty
+[submodule "aptos/solidity/contracts/lib/sphinx-contracts"]
+	path = aptos/solidity/contracts/lib/sphinx-contracts
+	url = https://github.com/lurk-lab/sphinx-contracts