Integration test

.env.template

@@ -0,0 +1,9 @@
+ETH_CHAIN=<devnet/holesky>
+MINA_RPC_URL=<url>
+
+## These can be skipped if using devnet with Anvil.
+# BATCHER_ADDR=<optional>
+# BATCHER_ETH_ADDR=<optional>
+# ETH_RPC_URL=<optional>
+# KEYSTORE_PATH=<optional>
+# PRIVATE_KEY=<optional>

.github/workflows/ci.yaml

@@ -1,113 +1,61 @@
 name: CI
 on:
-    push:
-        branches:
-            - main
-    pull_request:
-        branches: ["*"]
+  push:
+    branches:
+      - main
+  pull_request:
+    branches: ["*"]
 
 jobs:
-    public_input_gen:
-        name: Public input generation
-        uses: ./.github/workflows/rust_ci.yaml
+  core:
+    name: Test Core
+    uses: ./.github/workflows/rust_ci.yaml
+    with:
+      skip_run: true
+      directory: core
+
+  merkle_path:
+    name: Test Merkle Path parser
+    uses: ./.github/workflows/rust_ci.yaml
+    with:
+      skip_run: true
+      directory: state_utility/merkle_path
+
+  merkle_root_parser:
+    name: Test Merkle Root parser
+    uses: ./.github/workflows/rust_ci.yaml
+    with:
+      skip_run: true
+      directory: state_utility/parser
+
+  integration:
+    name: Test integration
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Install Go
+        uses: actions/setup-go@v5
         with:
-            directory: public_input_gen
-
-    verifier_circuit_tests:
-        name: Execute o1js verifier circuit Rust tests for comparison
-        uses: ./.github/workflows/rust_ci.yaml
-        with:
-            directory: verifier_circuit_tests
-
-    verifier_circuit:
-        name: Build and test o1js verifier circuit
-        runs-on: ubuntu-selfhosted
-        defaults:
-            run:
-                working-directory: ./verifier_circuit
-        steps:
-            - name: Checkout sources
-              uses: actions/checkout@v4
-
-            - name: Setup o1js submodule
-              run: git submodule update --init --recursive
-
-            - name: Set up dependencies
-              run: npm ci
-
-            - name: Run npm build
-              run: npm run build
-
-            - name: Run npm test
-              run: npm run test
-
-    integration:
-        name: Integration test
-        runs-on: ubuntu-selfhosted
-        steps:
-            - name: Checkout sources
-              uses: actions/checkout@v4
-
-            - name: Install Foundry
-              uses: foundry-rs/[email protected]
-
-            - name: Run integration test
-              run: |
-                export HOME="/root/"
-                export PATH="/.foundry/bin:/root/.cargo/bin:$PATH"
-                export GOPATH="/root/go"
-                export MINA_RPC_URL="http://5.9.57.89:3085/graphql"
-                make
-
-    eth_verifier:
-        name: Test EVM verifier
-        runs-on: ubuntu-selfhosted
-        defaults:
-            run:
-                working-directory: ./eth_verifier
-        steps:
-            - name: Checkout sources
-              uses: actions/checkout@v4
-
-            - name: Install Foundry
-              uses: foundry-rs/[email protected]
-
-            - name: Run tests
-              run: |
-                export HOME="/root/"
-                #export PATH="/.foundry/bin:/root/.cargo/bin:$PATH"
-                export GOPATH="/root/go"
-                make test > ../gasreport.ansi
-              env:
-                # make fuzzing semi-deterministic to avoid noisy gas cost estimation
-                # due to non-deterministic fuzzing (but still use pseudo-random fuzzing seeds)
-                FOUNDRY_FUZZ_SEED: 0x${{ github.event.pull_request.base.sha || github.sha }}
-            - name: Compare gas reports
-              uses: Rubilmax/[email protected]
-              with:
-                summaryQuantile: 0.9 # only display the 10% most significant gas diffs in the summary (defaults to 20%)
-                sortCriteria: avg,max # sort diff rows by criteria
-                sortOrders: desc,asc # and directions
-              id: gas_diff
-
-            - name: Add gas diff to sticky comment
-              if: github.event_name == 'pull_request' || github.event_name == 'pull_request_target'
-              uses: marocchino/sticky-pull-request-comment@v2
-              with:
-                # delete the comment in case changes no longer impact gas costs
-                delete: ${{ !steps.gas_diff.outputs.markdown }}
-                message: ${{ steps.gas_diff.outputs.markdown }}
-
-    merkle_path:
-        name: Test Merkle Path parser
-        uses: ./.github/workflows/rust_ci.yaml
-        with:
-            skip_run: true
-            directory: state_utility/merkle_path
-
-    merkle_root_parser:
-        name: Test Merkle Root parser
-        uses: ./.github/workflows/rust_ci.yaml
-        with:
-            skip_run: true
-            directory: state_utility/parser
+          go-version: '1.22'
+          cache: false
+
+      - name: Install Rust
+        uses: dtolnay/rust-toolchain@stable
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+
+      - name: Run test
+        env:
+          AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }}
+          AWS_REGION: us-west-2
+          AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }}
+          AWS_BUCKET_NAME: mina-bridge
+          TARGET: linux
+        shell: bash
+        run: |
+          echo "ETH_CHAIN=devnet\nMINA_RPC_URL=http://5.9.57.89:3085/graphql\n" > /home/runner/work/mina_bridge/mina_bridge/.env
+          make setup_test
+

.gitignore

@@ -1,5 +1,7 @@
-/proof.json
-/proof.mpk
-monitor/priv/native/libverifier.so
 .DS_Store
 mina_3_0_0_devnet
+protocol_state.pub
+protocol_state.proof
+aligned_verification_data
+integration_test
+.env

.gitmodules

@@ -5,3 +5,9 @@
 [submodule "eth_verifier/lib/forge-std"]
 	path = eth_verifier/lib/forge-std
 	url = https://github.com/foundry-rs/forge-std
+[submodule "contract/lib/forge-std"]
+	path = contract/lib/forge-std
+	url = https://github.com/foundry-rs/forge-std
+[submodule "contract/lib/aligned_layer"]
+	path = contract/lib/aligned_layer
+	url = https://github.com/lambdaclass/aligned_layer

Makefile

@@ -1,69 +1,21 @@
-.PHONY: run check_account sepolia.wrap_and_deploy sepolia.verify
+.PHONY: run gen_contract_abi deploy_contract setup_test
 
 run:
-	@echo "Setting up o1js..."
-	@git submodule update --init --recursive
-	@echo "Fetching state proof from Mina node..."
-	@cd polling_service && sh run.sh
-	@echo "Done!"
-	@echo "Fetching Merkle root..."
-	@cd state_utility && sh run.sh
-	@echo "Done!"
-	@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 "Deploying and verifying in Anvil..."
-	@cd eth_verifier && make setup && sh run.sh
-	@echo "Done!"
-	@echo "Save the last contract address, this is your verifier!"
-	@echo "You can use cast to interact with it. Try calling:"
-	@echo "    cast call <CONTRACT_ADDR> 'is_state_available()(bool)'"
-	@echo "to check if verification succeded. If so, then you can retrieve state data:"
-	@echo "    cast call <CONTRACT_ADDR> 'retrieve_state_creator()(string)'"
-	@echo "    cast call <CONTRACT_ADDR> 'retrieve_state_hash()(uint256)'"
-	@echo "    cast call <CONTRACT_ADDR> 'retrieve_state_height()(uint256)'"
+	@cargo run --manifest-path core/Cargo.toml --release
 
-check_account:
-	@echo "Fetching Merkle path and leaf hash..."
-	@cd state_utility/merkle_path && cargo r --release -- $(MINA_RPC_URL) ../../public_key.txt
-	@echo "Done!"
-	@echo "Verifying Merkle proof inclusion..."
-	@cd eth_verifier && make setup && make merkle_locally
-	@echo "Done!"
+setup_test:
+	@bash integration_test.sh
 
-sepolia.wrap_and_deploy:
-	@echo "Setting up o1js..."
-	@git submodule update --init --recursive
-	@echo "Fetching state proof from Mina node..."
-	@cd polling_service && sh run.sh
-	@echo "Done!"
-	@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 "Fetching Merkle root..."
-	@cd state_utility && sh run.sh
-	@echo "Done!"
-	@echo "Deploying verifier in Sepolia..."
-	@cd eth_verifier && make sepolia.deploy_deser
-	@echo "Done!"
-	@echo "Once the verifier deployment is confirmed, set CONTRACT_ADDRESS env var and run:"
-	@echo "  make sepolia.verify"
+gen_contract_abi:
+	forge build --root contract/
+	cp contract/out/MinaBridge.sol/MinaBridge.json core/abi/MinaBridge.json
 
-sepolia.verify:
-	@echo "Uploading proof and Merkle root to Sepolia..."
-	@cd eth_verifier && make sepolia.upload_proof_and_merkle_root
-	@echo "Done!"
-	@echo "Once the upload is confirmed in Sepolia, press any key to continue."; read REPLY
-	@echo "Verifying uploaded proof in Sepolia..."
-	@cd eth_verifier && make sepolia.verify
-	@echo "Done!"
-	@echo "Once the proof verification is confirmed in Sepolia, press any key to continue."; read REPLY
-	@echo "Verifying Merkle proof inclusion in Sepolia..."
-	@cd eth_verifier && make sepolia.merkle_verify
-	@echo "Done!"
+deploy_contract_anvil:
+	forge script \
+	--non-interactive \
+	--root contract/ \
+	--broadcast \
+	--rpc-url http://localhost:8545 \
+	--private-key 0x2a871d0798f97d79848a013d4936a73bf4cc922c825d33c1cf7073dff6d409c6 \
+	contract/script/MinaBridge.s.sol:MinaBridgeDeployer
+# deploy_contract_anvil uses Anvil wallet 9, same as Aligned for deploying its contracts.