code size limit

Author: jialinli98

.github/workflows/circuits_e2e.yaml

@@ -77,12 +77,12 @@ jobs:
       - name: Generate Proofs
         run: |
           export PATH="$HOME/.bb:$PATH"
-          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
-          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
-          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
-          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
-          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
-          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
+          bb prove -b ./target/get_header.json -w ./target/get_header.gz -o ./target/get_header_proof
+          bb prove -b ./target/get_account.json -w ./target/get_account.gz -o ./target/get_account_proof
+          bb prove -b ./target/get_storage.json -w ./target/get_storage.gz -o ./target/get_storage_proof
+          bb prove -b ./target/get_receipt.json -w ./target/get_receipt.gz -o ./target/get_receipt_proof
+          bb prove -b ./target/get_transaction.json -w ./target/get_transaction.gz -o ./target/get_transaction_proof
+          bb prove -b ./target/get_log.json -w ./target/get_log.gz -o ./target/get_log_proof
           bb prove -b ./vlayer/examples/circuits/is_dao_worthy/target/is_dao_worthy.json -w ./vlayer/examples/circuits/is_dao_worthy/target/is_dao_worthy.gz -o ./vlayer/examples/circuits/is_dao_worthy/target/proof
           bb prove -b ./vlayer/examples/circuits/is_ape_owner/target/is_ape_owner.json -w ./vlayer/examples/circuits/is_ape_owner/target/is_ape_owner.gz -o ./vlayer/examples/circuits/is_ape_owner/target/proof
 
@@ -105,24 +105,24 @@ jobs:
       - name: Generate Verification Keys
         run: |
           export PATH="$HOME/.bb:$PATH"
-          bb write_vk -b ./ethereum/circuits/get_header/target/get_header.json -o ./ethereum/circuits/get_header/target/vk
-          bb write_vk -b ./ethereum/circuits/get_account/target/get_account.json -o ./ethereum/circuits/get_account/target/vk
-          bb write_vk -b ./ethereum/circuits/get_storage/target/get_storage.json -o ./ethereum/circuits/get_storage/target/vk
-          bb write_vk -b ./ethereum/circuits/get_receipt/target/get_receipt.json -o ./ethereum/circuits/get_receipt/target/vk
-          bb write_vk -b ./ethereum/circuits/get_transaction/target/get_transaction.json -o ./ethereum/circuits/get_transaction/target/vk
-          bb write_vk -b ./ethereum/circuits/get_log/target/get_log.json -o ./ethereum/circuits/get_log/target/vk
+          bb write_vk -b ./target/get_header.json -o ./target/get_header_vk
+          bb write_vk -b ./target/get_account.json -o ./target/get_account_vk
+          bb write_vk -b ./target/get_storage.json -o ./target/get_storage_vk
+          bb write_vk -b ./target/get_receipt.json -o ./target/get_receipt_vk
+          bb write_vk -b ./target/get_transaction.json -o ./target/get_transaction_vk
+          bb write_vk -b ./target/get_log.json -o ./target/get_log_vk
           bb write_vk -b ./vlayer/examples/circuits/is_dao_worthy/target/is_dao_worthy.json -o ./vlayer/examples/circuits/is_dao_worthy/target/vk
           bb write_vk -b ./vlayer/examples/circuits/is_ape_owner/target/is_ape_owner.json -o ./vlayer/examples/circuits/is_ape_owner/target/vk
 
       - name: Verify Proofs
         run: |
           export PATH="$HOME/.bb:$PATH"
-          bb verify -k ./ethereum/circuits/get_header/target/vk -p ./ethereum/circuits/get_header/target/proof
-          bb verify -k ./ethereum/circuits/get_account/target/vk -p ./ethereum/circuits/get_account/target/proof
-          bb verify -k ./ethereum/circuits/get_storage/target/vk -p ./ethereum/circuits/get_storage/target/proof
-          bb verify -k ./ethereum/circuits/get_receipt/target/vk -p ./ethereum/circuits/get_receipt/target/proof
-          bb verify -k ./ethereum/circuits/get_transaction/target/vk -p ./ethereum/circuits/get_transaction/target/proof
-          bb verify -k ./ethereum/circuits/get_log/target/vk -p ./ethereum/circuits/get_log/target/proof
+          bb verify -k ./target/get_header_vk -p ./target/get_header_proof
+          bb verify -k ./target/get_account_vk -p ./target/get_account_proof
+          bb verify -k ./target/get_storage_vk -p ./target/get_storage_proof
+          bb verify -k ./target/get_receipt_vk -p ./target/get_receipt_proof
+          bb verify -k ./target/get_transaction_vk -p ./target/get_transaction_proof
+          bb verify -k ./target/get_log_vk -p ./target/get_log_proof
           bb verify -k ./vlayer/examples/circuits/is_dao_worthy/target/vk -p ./vlayer/examples/circuits/is_dao_worthy/target/proof
           bb verify -k ./vlayer/examples/circuits/is_ape_owner/target/vk -p ./vlayer/examples/circuits/is_ape_owner/target/proof
 

ethereum/contracts/foundry.toml

@@ -2,8 +2,10 @@
 src = "src"
 out = "out"
 libs = ["lib"]
+ignored_error_codes = ["code-size"]
 
 [profile.ci]
 src = "src"
 out = "out"
 libs = ["lib"]
+ignored_error_codes = ["code-size"]

ethereum/tests/src/setupAnvil.ts

@@ -5,7 +5,7 @@ let anvil: ChildProcess;
 
 export function setup() {
   assert(anvil === undefined, 'Anvil already running');
-  anvil = spawn('anvil');
+  anvil = spawn('anvil', ['--code-size-limit', '100000']);
 }
 
 export function teardown() {