refactor (zkquiz): use aligned sdk (#554)

Co-authored-by: Mariano A. Nicolini <mariano.nicolini.91@gmail.com>

Author: taturosati

examples/zkquiz/Makefile

@@ -1,39 +1,12 @@
-deps: venv
-
-venv: venv/touchfile
-
-venv/touchfile: requirements.txt
-	@python3 -m venv venv
-	@. venv/bin/activate && pip install -r requirements.txt
-	@touch venv/touchfile
-
 deploy_verifier:
-	@./contracts/deploy.sh
-
-answer_quiz:
-	@cd quiz/script && cargo run -r
-
-ADDRESS=0xf39Fd6e51aad88F6F4ce6aB8827279cffFb92266
-
-submit_proof:
-	@aligned submit \
-    --proving_system SP1 \
-    --proof quiz/script/proof-with-io.json \
-    --vm_program quiz/program/elf/riscv32im-succinct-zkvm-elf \
-    --proof_generator_addr $(ADDRESS) \
-    --conn wss://batcher.alignedlayer.com
+	@. ./contracts/.env && . ./contracts/deploy.sh
 
 CONTRACT_ADDRESS=0x8dB9e6f1393c3486F30181d606312ec632189621
 RPC_URL=https://ethereum-holesky-rpc.publicnode.com
 VERIFICATION_DATA=./aligned_verification_data/0a1fab5df88a71e48633cbdeedc8d1a234b790d15a8a2fd04cd6a03c1e05b5ef_212.json
-PRIVATE_KEY=ac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80
 
-encode_verification_data: venv
-	@. venv/bin/activate; python3 encode_verification_data.py --aligned-verification-data $(VERIFICATION_DATA)
-
-verify_and_get_reward: venv
-	@cast send \
-		--rpc-url $(RPC_URL) \
-		--private-key $(PRIVATE_KEY) \
-		$(CONTRACT_ADDRESS) \
-		$(shell source venv/bin/activate && python3 encode_verification_data.py --aligned-verification-data $(VERIFICATION_DATA))
+answer_quiz:
+	@cd quiz/script && cargo run -r -- \
+		--keystore-path $(KEYSTORE_PATH) \
+ 		--rpc-url $(RPC_URL) \
+  		--verifier-contract-address $(CONTRACT_ADDRESS)

examples/zkquiz/README.md

@@ -3,39 +3,40 @@
 ## Requirements
 
 1. [Rust](https://www.rust-lang.org/tools/install)
-2. [Python](https://www.python.org/downloads/)
-3. [Aligned](https://github.com/yetanotherco/aligned_layer)
-4. [Foundry](https://getfoundry.sh)
+2. [Foundry](https://getfoundry.sh)
 
 ## Usage
 
-First, install dependencies by running:
-```bash
-make deps
-```
-This will create a virtual environment and install python dependencies.
+### 1 - Create Keystore
+
+You can use cast to create a local keystore.
+If you already have one you can skip this step.
 
-To answer quiz and generate proof run:
 ```bash
-make answer_quiz
+cast wallet new-mnemonic
 ```
 
-This will ask questions and generate a proof if you answer correctly.
+Then you can import your created keystore using:
 
-To submit the proof to aligned for verification run:
 ```bash
-make submit_proof ADDRESS=<your_address>
+cast wallet import --interactive <path_to_keystore.json>
 ```
 
-Make sure to use your own address as this is the address that will receive the reward.
+Then you need to obtain some funds to pay for gas and proof verification.
+You can do this by using this [faucet](https://cloud.google.com/application/web3/faucet/ethereum/holesky)
 
-Head to [Aligned Explorer](https://explorer.alignedlayer.com/batches) and wait for the batch to be verified.
+### 2 - Answer Quiz
+
+To answer quiz questions run:
 
-Then to verify the proof was verified on aligned, and mint your nft run:
 ```bash
-make verify_and_get_reward VERIFICATION_DATA=<path_to_aligned_verification_data> PRIVATE_KEY=<your_private_key>
+make answer_quiz KEYSTORE_PATH=<path_to_keystore.json>
 ```
-Note that the path to your proof verification data will be printed out when you submit the proof.
 
-This will verify the proof and mint your nft. 
-You can check your nft on the [Chainlens Explorer](https://holesky.chainlens.com/nfts/0x8dB9e6f1393c3486F30181d606312ec632189621).
+This will:
+
+1. Ask quiz questions
+2. Generate ZK proof
+3. Pay & submit proof to aligned for verification
+4. Wait for proof to be verified in aligned
+5. Claim NFT if proof is verified

examples/zkquiz/contracts/deploy.sh

@@ -6,8 +6,6 @@ parent_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" || exit 1 ; pwd -P )
 # At this point we are in examples/zkquiz
 cd "$parent_path" || exit 1
 
-source .env
-
 if [ -z "$ALIGNED_SERVICE_MANAGER_ADDRESS" ]; then
     echo "ALIGNED_SERVICE_MANAGER_ADDRESS is not set. Please set it in .env"
     exit 1
@@ -29,7 +27,5 @@ forge script script/Deployer.s.sol \
     "$ALIGNED_SERVICE_MANAGER_ADDRESS" \
     --rpc-url "$RPC_URL" \
     --private-key "$PRIVATE_KEY" \
-    --verify \
-    --etherscan-api-key "$ETHERSCAN_API_KEY" \
     --broadcast \
     --sig "run(address _alignedServiceManager)"