Integrate KZG prover with verifier circuit

.gitmodules

@@ -1,7 +1,11 @@
 [submodule "verifier_circuit/o1js"]
 	path = verifier_circuit/o1js
-    url = https://github.com/lambdaclass/o1js.git
-	branch = kzg_prover
+	url = https://github.com/lambdaclass/o1js.git
+	branch = wasm_kzg_prover
 [submodule "demo/eth_verifier/lib/forge-std"]
 	path = demo/eth_verifier/lib/forge-std
 	url = https://github.com/foundry-rs/forge-std
+[submodule "kzg_prover/proof-systems"]
+	path = kzg_prover/proof-systems
+	url = https://github.com/lambdaclass/proof-systems.git
+	branch = wasm_kzg_prover

Makefile

@@ -9,9 +9,12 @@ run:
 	@echo "Generating public input for verifier circuit..."
 	@cd public_input_gen && cargo r --release
 	@echo "Done!"
-	@echo "Proving verifier circuit..."
+	@echo "Creating circuit gates..."
 	@cd verifier_circuit && npm i && make
 	@echo "Done!"
+	@echo "Creating KZG proof..."
+	@cd kzg_prover && cargo r --release
+	@echo "Done!"
 	@echo "Verifying proof..."
 	@cd demo/eth_verifier
 	@anvil &
@@ -23,3 +26,4 @@ run:
 			--broadcast \
 			script/Deploy.s.sol:Deploy && \
 	@pkill anvil
+	@echo "Done!"

kzg_prover/.gitignore

@@ -0,0 +1,2 @@
+target/
+gates.json