@@ -61,24 +61,15 @@ jobs:
6161 nargo execute --package get_transaction --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
6262 nargo execute --package get_log --oracle-resolver=http://localhost:5555 --skip-brillig-constraints-check
6363
64- - name : Debug - List Generated Files
65- run : |
66- echo "=== Checking target directories ==="
67- find . -name "*.json" -path "*/target/*" -type f
68- echo "=== Checking for .gz files ==="
69- find . -name "*.gz" -path "*/target/*" -type f
70- echo "=== Directory structure of ethereum/circuits/get_header/target ==="
71- ls -la ethereum/circuits/get_header/target/ || echo "Directory not found"
72-
7364 - name : Generate Proofs
7465 run : |
7566 export PATH="$HOME/.bb:$PATH"
76- bb prove -b ./ethereum/circuits/get_header/ target/get_header.json -w ./ethereum/circuits/get_header/ target/get_header.gz -o ./ethereum/circuits/get_header/ target/proof
77- bb prove -b ./ethereum/circuits/get_account/ target/get_account.json -w ./ethereum/circuits/get_account/ target/get_account.gz -o ./ethereum/circuits/get_account/ target/proof
78- bb prove -b ./ethereum/circuits/get_storage/ target/get_storage.json -w ./ethereum/circuits/get_storage/ target/get_storage.gz -o ./ethereum/circuits/get_storage/ target/proof
79- bb prove -b ./ethereum/circuits/get_receipt/ target/get_receipt.json -w ./ethereum/circuits/get_receipt/ target/get_receipt.gz -o ./ethereum/circuits/get_receipt/ target/proof
80- bb prove -b ./ethereum/circuits/get_transaction/ target/get_transaction.json -w ./ethereum/circuits/get_transaction/ target/get_transaction.gz -o ./ethereum/circuits/get_transaction/ target/proof
81- bb prove -b ./ethereum/circuits/get_log/ target/get_log.json -w ./ethereum/circuits/get_log/ target/get_log.gz -o ./ethereum/circuits/get_log/ target/proof
67+ bb prove -b ./target/get_header.json -w ./target/get_header.gz -o ./target/proof_get_header
68+ bb prove -b ./target/get_account.json -w ./target/get_account.gz -o ./target/proof_get_account
69+ bb prove -b ./target/get_storage.json -w ./target/get_storage.gz -o ./target/proof_get_storage
70+ bb prove -b ./target/get_receipt.json -w ./target/get_receipt.gz -o ./target/proof_get_receipt
71+ bb prove -b ./target/get_transaction.json -w ./target/get_transaction.gz -o ./target/proof_get_transaction
72+ bb prove -b ./target/get_log.json -w ./target/get_log.gz -o ./target/proof_get_log
8273
8374 # Note: Solidity verifier generation is not yet supported for UltraHonk in Nargo 1.0+
8475 # Using pre-generated verifier contracts committed to the repository
0 commit comments