Parent Log:
http://ci.aztec-labs.com/a3bb03fa16e317bc
Command: 00c2c16648004337:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/avm_integration.test.ts
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/015cb0cadef6a41094c3649f32a735392e1b9693
Env: REF_NAME=gh-readonly-queue/master/pr-15027-e9a2301883801edbe36ea8bba05dcca7e714f30a CURRENT_VERSION=0.87.8 CI_FULL=0
Date: Wed Jun 18 14:21:45 UTC 2025
System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15027_arm64_a1-fast
Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_9b06efe76336a840_master
14:21:49 [14:21:49.005]
INFO:
ivc-integration:test:avm-integration inputsPath /tmp/bb-avm-integration-client-ivc-rmH0WD/ivc-inputs.msgpack
14:21:49 [14:21:49.009]
INFO:
ivc-integration:test:avm-integration bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-avm-integration-client-ivc-rmH0WD --ivc_inputs_path /tmp/bb-avm-integration-client-ivc-rmH0WD/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
14:21:49 [14:21:49.026]
INFO:
ivc-integration:test:avm-integration bb - bb command: prove (mem: 195.93 MiB)
14:21:49 [14:21:49.027]
INFO:
ivc-integration:test:avm-integration bb - Scheme is: client_ivc, num threads: 64 (mem: 195.93 MiB)
14:21:49 --scheme: client_ivc (mem: 195.93 MiB)
14:21:49 --output_path: /tmp/bb-avm-integration-client-ivc-rmH0WD (mem: 195.93 MiB)
14:21:49 --ivc_inputs_path: /tmp/bb-avm-integration-client-ivc-rmH0WD/ivc-inputs.msgpack (mem: 195.93 MiB)
14:21:49 --verbose: true (mem: 195.93 MiB)
14:21:49 --write_vk: true (mem: 195.93 MiB)
14:21:49 [14:21:49.027]
INFO:
ivc-integration:test:avm-integration bb - BN254 commitment key size: 262144 (mem: 195.93 MiB)
14:21:49 [14:21:49.069]
INFO:
ivc-integration:test:avm-integration bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 195.93 MiB)
14:21:49 [14:21:49.129]
INFO:
ivc-integration:test:avm-integration bb - Initialized BN254 CRS from memory with num points = 262657 (mem: 242.49 MiB)
14:21:49 [14:21:49.131]
INFO:
ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_0 (mem: 242.49 MiB)
14:21:49 Constructing DeciderProvingKey (mem: 242.49 MiB)
14:21:49 [14:21:49.134]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 242.49 MiB)
14:21:49 goblin ecc op : 4/1024 (mem: 242.49 MiB)
14:21:49 busread : 7/6000
14:21:49 [14:21:49.136]
INFO:
ivc-integration:test:avm-integration bb - (mem: 242.49 MiB)
14:21:49 lookups : 2/15000 (mem: 242.49 MiB)
14:21:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 242.49 MiB)
14:21:49 arithmetic : 1760/56000 (mem: 242.49 MiB)
14:21:49 delta range : 1754/18000 (mem: 242.49 MiB)
14:21:49 elliptic : 2/6000 (mem: 242.49 MiB)
14:21:49 auxiliary : 26/26000 (mem: 242.49 MiB)
14:21:49 poseidon ext : 2/17000 (mem: 242.49 MiB)
14:21:49 poseidon int : 2/92000 (mem: 242.49 MiB)
14:21:49 overflow : 0/0 (mem: 242.49 MiB)
14:21:49 (mem: 242.49 MiB)
14:21:49 Total structured size: 242025 (mem: 242.49 MiB)
14:21:49 allocating polynomials object in proving key... (mem: 242.49 MiB)
14:21:49 [14:21:49.225]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 451.08 MiB)
14:21:49 [14:21:49.237]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 105 ms. (mem: 466.08 MiB)
14:21:49 [14:21:49.284]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0xb83dff2a1800 (mem: 466.08 MiB)
14:21:49 computing oink proof... (mem: 466.08 MiB)
14:21:49 [14:21:49.476]
INFO:
ivc-integration:test:avm-integration bb - oink proof constructed (mem: 466.08 MiB)
14:21:49 [14:21:49.486]
INFO:
ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_1 (mem: 466.58 MiB)
14:21:49 Constructing DeciderProvingKey (mem: 466.58 MiB)
14:21:49 [14:21:49.488]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 466.58 MiB)
14:21:49 goblin ecc op : 56/1024 (mem: 466.58 MiB)
14:21:49 busread : 12/6000 (mem: 466.58 MiB)
14:21:49 lookups : 2/15000 (mem: 466.58 MiB)
14:21:49 [14:21:49.488]
INFO:
ivc-integration:test:avm-integration bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 466.58 MiB)
14:21:49 arithmetic : 4225/56000 (mem: 466.58 MiB)
14:21:49 delta range : 2043/18000 (mem: 466.58 MiB)
14:21:49 elliptic : 2/6000 (mem: 466.58 MiB)
14:21:49 auxiliary : 110/26000 (mem: 466.58 MiB)
14:21:49 poseidon ext : 882/17000 (mem: 466.58 MiB)
14:21:49 poseidon int : 5018/92000 (mem: 466.58 MiB)
14:21:49 overflow : 0/0 (mem: 466.58 MiB)
14:21:49 (mem: 466.58 MiB)
14:21:49 Total structured size: 242025 (mem: 466.58 MiB)
14:21:49 allocating polynomials object in proving key... (mem: 466.58 MiB)
14:21:49 [14:21:49.542]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 688.08 MiB)
14:21:49 [14:21:49.555]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 66 ms. (mem: 703.58 MiB)
14:21:49 [14:21:49.594]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0xb83dff2b99c0 (mem: 703.58 MiB)
14:21:49 computing folding proof (mem: 703.58 MiB)
14:21:49 [14:21:49.820]
INFO:
ivc-integration:test:avm-integration bb - oink prover on each incomplete key
14:21:49 [14:21:49.820]
INFO:
ivc-integration:test:avm-integration bb - (mem: 703.58 MiB)
14:21:49 [14:21:49.881]
INFO:
ivc-integration:test:avm-integration bb - perturbator round (mem: 741.58 MiB)
14:21:49 [14:21:49.927]
INFO:
ivc-integration:test:avm-integration bb - combiner quotient round (mem: 773.58 MiB)
14:21:50 [14:21:50.175]
INFO:
ivc-integration:test:avm-integration bb - folded (mem: 773.58 MiB)
14:21:50 constructed folding proof (mem: 773.58 MiB)
14:21:50 [14:21:50.231]
INFO:
ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_2 (mem: 773.58 MiB)
14:21:50 Constructing DeciderProvingKey (mem: 773.58 MiB)
14:21:50 [14:21:50.234]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 773.58 MiB)
14:21:50 [14:21:50.235]
INFO:
ivc-integration:test:avm-integration bb - goblin ecc op : 392/1024 (mem: 773.58 MiB)
14:21:50 [14:21:50.239]
INFO:
ivc-integration:test:avm-integration bb - busread : 3/6000 (mem: 773.58 MiB)
14:21:50 lookups : 2/15000 (mem: 773.58 MiB)
14:21:50 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 773.58 MiB)
14:21:50 arithmetic : 6440/56000 (mem: 773.58 MiB)
14:21:50 delta range : 2323/18000 (mem: 773.58 MiB)
14:21:50 elliptic : 2/6000 (mem: 773.58 MiB)
14:21:50 auxiliary : 50/26000 (mem: 773.58 MiB)
14:21:50 poseidon ext : 2042/17000 (mem: 773.58 MiB)
14:21:50 poseidon int : 11630/92000 (mem: 773.58 MiB)
14:21:50 overflow : 0/0 (mem: 773.58 MiB)
14:21:50 (mem: 773.58 MiB)
14:21:50 Total structured size: 242025 (mem: 773.58 MiB)
14:21:50 allocating polynomials object in proving key... (mem: 773.58 MiB)
14:21:50 [14:21:50.279]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 773.58 MiB)
14:21:50 [14:21:50.298]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 66 ms. (mem: 773.58 MiB)
14:21:50 [14:21:50.371]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0xb83dff29a480 (mem: 773.58 MiB)
14:21:50 computing folding proof (mem: 773.58 MiB)
14:21:50 [14:21:50.664]
INFO:
ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 773.58 MiB)
14:21:50 [14:21:50.731]
INFO:
ivc-integration:test:avm-integration bb - perturbator round (mem: 773.58 MiB)
14:21:50 [14:21:50.764]
INFO:
ivc-integration:test:avm-integration bb - combiner quotient round (mem: 783.42 MiB)
14:21:50 [14:21:50.976]
INFO:
ivc-integration:test:avm-integration bb - folded (mem: 783.42 MiB)
14:21:50 constructed folding proof (mem: 783.42 MiB)
14:21:50 Largest circuit: 22492 gates. Trace details: (mem: 783.42 MiB)
14:21:50 Minimum required block sizes for structured trace: (mem: 783.42 MiB)
14:21:50 (mem: 783.42 MiB)
14:21:50 prove decider... (mem: 783.42 MiB)
14:21:50 finished decider proving. (mem: 783.42 MiB)
14:21:50 [14:21:50.976]
INFO:
ivc-integration:test:avm-integration bb - ecc_op : 392
14:21:50 busread : 12
14:21:50 lookup : 2
14:21:50 pub_inputs : 36
14:21:50 arithmetic : 6440
14:21:50 delta_range : 2323
14:21:50 elliptic : 2
14:21:50 aux : 110
14:21:50 poseidon2_external : 2042
14:21:50 poseidon2_internal : 11630
14:21:50 overflow : 0
14:21:51 [14:21:51.111]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 783.42 MiB)
14:21:51 [14:21:51.203]
INFO:
ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 783.42 MiB)
14:21:51 [14:21:51.843]
INFO:
ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 783.42 MiB)
14:21:51 [14:21:51.917]
INFO:
ivc-integration:test:avm-integration bb - computed opening proof (mem: 783.42 MiB)
14:21:51 [14:21:51.989]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 783.42 MiB)
14:21:51 [14:21:51.992]
INFO:
ivc-integration:test:avm-integration bb - allocating polynomials object in proving key...
14:21:51 [14:21:51.993]
INFO:
ivc-integration:test:avm-integration bb - (mem:
14:21:51 [14:21:51.994]
INFO:
ivc-integration:test:avm-integration bb - 783.42 MiB)
14:21:52 [14:21:52.112]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 783.42 MiB)
14:21:52 [14:21:52.152]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 161 ms. (mem: 783.42 MiB)
14:21:52 [14:21:52.848]
INFO:
ivc-integration:test:avm-integration bb - created oink proof (mem: 783.42 MiB)
14:21:52 [14:21:52.992]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 783.42 MiB)
14:21:53 [14:21:53.443]
INFO:
ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 783.42 MiB)
14:21:53 [14:21:53.845]
INFO:
ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 783.42 MiB)
14:21:53 [14:21:53.867]
INFO:
ivc-integration:test:avm-integration bb - computed opening proof (mem: 783.42 MiB)
14:21:53 [14:21:53.985]
INFO:
ivc-integration:test:avm-integration bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 783.42 MiB)
14:21:53 prove eccvm... (mem: 783.42 MiB)
14:21:54 [14:21:54.101]
INFO:
ivc-integration:test:avm-integration bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 783.42 MiB)
14:21:54 [14:21:54.111]
INFO:
ivc-integration:test:avm-integration bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 783.42 MiB)
14:21:55 [14:21:55.567]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 783.42 MiB)
14:21:56 [14:21:56.122]
INFO:
ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 783.42 MiB)
14:21:57 [14:21:57.691]
INFO:
ivc-integration:test:avm-integration bb - finished eccvm proving. (mem: 783.42 MiB)
14:21:57 prove translator... (mem: 783.42 MiB)
14:21:58 [14:21:58.582]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 783.42 MiB)
14:21:59 [14:21:59.044]
INFO:
ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 783.42 MiB)
14:21:59 [14:21:59.866]
INFO:
ivc-integration:test:avm-integration bb - computed opening proof (mem: 783.42 MiB)
14:21:59 [14:21:59.867]
INFO:
ivc-integration:test:avm-integration bb - finished translator proving. (mem: 783.42 MiB)
14:21:59 [14:21:59.882]
INFO:
ivc-integration:test:avm-integration bb - Mega verified: 1 (mem: 783.42 MiB)
14:21:59 [14:21:59.942]
INFO:
ivc-integration:test:avm-integration bb - eccvm sumcheck verified?: 1 (mem: 783.42 MiB)
14:21:59 batch opening verified?: 1 (mem: 783.42 MiB)
14:21:59 eccvm consistency check verified?: 1 (mem: 783.42 MiB)
14:21:59 translation masking consistency checked?: 1 (mem: 783.42 MiB)
14:21:59 [14:21:59.962]
INFO:
ivc-integration:test:avm-integration bb - merge verified?: 1 (mem: 783.42 MiB)
14:21:59 eccvm verified?: 1 (mem: 783.42 MiB)
14:21:59 accumulator construction_verified?: 1 (mem: 783.42 MiB)
14:21:59 translation verified?: 1 (mem: 783.42 MiB)
14:21:59 consistency verified?: 1 (mem: 783.42 MiB)
14:21:59 Goblin verified: 1 (mem: 783.42 MiB)
14:21:59 writing ClientIVC proof in directory "/tmp/bb-avm-integration-client-ivc-rmH0WD" (mem: 783.42 MiB)
14:21:59 writing ClientIVC vk in directory "/tmp/bb-avm-integration-client-ivc-rmH0WD" (mem: 783.42 MiB)
14:21:59 num_public_inputs_in_final_circuit: 4 (mem: 783.42 MiB)
14:21:59 BN254 commitment key size: 262144 (mem: 783.42 MiB)
14:21:59 [14:21:59.963]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 783.42 MiB)
14:21:59 [14:21:59.965]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 783.42 MiB)
14:21:59 goblin ecc op : 4/1024 (mem: 783.42 MiB)
14:21:59 busread : 3/6000
14:21:59 [14:21:59.965]
INFO:
ivc-integration:test:avm-integration bb - (mem: 783.42 MiB)
14:21:59 lookups : 2/15000 (mem: 783.42 MiB)
14:21:59 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 783.42 MiB)
14:21:59 arithmetic : 1773/56000 (mem: 783.42 MiB)
14:21:59 delta range : 1754/18000 (mem: 783.42 MiB)
14:21:59 elliptic : 2/6000 (mem: 783.42 MiB)
14:21:59 auxiliary : 26/26000 (mem: 783.42 MiB)
14:21:59 poseidon ext : 2/17000 (mem: 783.42 MiB)
14:21:59 poseidon int : 2/92000 (mem: 783.42 MiB)
14:21:59 overflow : 0/0 (mem: 783.42 MiB)
14:21:59 (mem: 783.42 MiB)
14:21:59 Total structured size: 242025 (mem: 783.42 MiB)
14:21:59 allocating polynomials object in proving key... (mem: 783.42 MiB)
14:21:59 [14:21:59.983]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 783.42 MiB)
14:22:00 [14:22:00.002]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 38 ms. (mem: 783.42 MiB)
14:22:00 [14:22:00.010]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 783.42 MiB)
14:22:00 [14:22:00.447]
INFO:
ivc-integration:test:avm-integration bb - computing oink proof... (mem: 783.42 MiB)
14:22:00 [14:22:00.573]
INFO:
ivc-integration:test:avm-integration bb - oink proof constructed (mem: 783.42 MiB)
14:22:00 [14:22:00.579]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 783.42 MiB)
14:22:00 [14:22:00.581]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 783.42 MiB)
14:22:00 goblin ecc op : 56/1024 (mem: 783.42 MiB)
14:22:00 busread : 3/6000 (mem: 783.42 MiB)
14:22:00 [14:22:00.582]
INFO:
ivc-integration:test:avm-integration bb - lookups : 2/15000 (mem: 783.42 MiB)
14:22:00 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 783.42 MiB)
14:22:00 arithmetic : 4072/56000 (mem: 783.42 MiB)
14:22:00 delta range : 2030/18000 (mem: 783.42 MiB)
14:22:00 elliptic : 2/6000 (mem: 783.42 MiB)
14:22:00 auxiliary : 50/26000 (mem: 783.42 MiB)
14:22:00 poseidon ext : 882/17000 (mem: 783.42 MiB)
14:22:00 poseidon int : 5018/92000 (mem: 783.42 MiB)
14:22:00 overflow : 0/0 (mem: 783.42 MiB)
14:22:00 (mem: 783.42 MiB)
14:22:00 Total structured size: 242025 (mem: 783.42 MiB)
14:22:00 allocating polynomials object in proving key... (mem: 783.42 MiB)
14:22:00 [14:22:00.614]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 852.17 MiB)
14:22:00 [14:22:00.634]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 54 ms.
14:22:00 [14:22:00.634]
INFO:
ivc-integration:test:avm-integration bb - (mem:
14:22:00 [14:22:00.635]
INFO:
ivc-integration:test:avm-integration bb - 852.17 MiB)
14:22:00 [14:22:00.657]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 852.17 MiB)
14:22:01 [14:22:01.088]
INFO:
ivc-integration:test:avm-integration bb - computing folding proof (mem: 852.17 MiB)
14:22:01 [14:22:01.363]
INFO:
ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 860.67 MiB)
14:22:01 [14:22:01.419]
INFO:
ivc-integration:test:avm-integration bb - perturbator round (mem: 860.67 MiB)
14:22:01 [14:22:01.458]
INFO:
ivc-integration:test:avm-integration bb - combiner quotient round (mem: 892.67 MiB)
14:22:01 [14:22:01.569]
INFO:
ivc-integration:test:avm-integration bb - folded (mem: 892.67 MiB)
14:22:01 constructed folding proof (mem: 892.67 MiB)
14:22:01 [14:22:01.572]
INFO:
ivc-integration:test:avm-integration bb - Largest circuit: 12059 gates. Trace details: (mem: 892.67 MiB)
14:22:01 Minimum required block sizes for structured trace: (mem: 892.67 MiB)
14:22:01 [14:22:01.573]
INFO:
ivc-integration:test:avm-integration bb - (mem: 892.67 MiB)
14:22:01 prove decider... (mem: 892.67 MiB)
14:22:01 finished decider proving. (mem: 892.67 MiB)
14:22:01 [14:22:01.573]
INFO:
ivc-integration:test:avm-integration bb - ecc_op : 56
14:22:01 busread : 3
14:22:01 lookup : 2
14:22:01 pub_inputs : 36
14:22:01 arithmetic : 4072
14:22:01 delta_range : 2030
14:22:01 elliptic : 2
14:22:01 aux : 50
14:22:01 poseidon2_external : 882
14:22:01 poseidon2_internal : 5018
14:22:01 overflow : 0
14:22:01 [14:22:01.592]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 892.67 MiB)
14:22:01 [14:22:01.652]
INFO:
ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 892.67 MiB)
14:22:01 [14:22:01.997]
INFO:
ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 892.67 MiB)
14:22:02 [14:22:02.054]
INFO:
ivc-integration:test:avm-integration bb - computed opening proof (mem: 892.67 MiB)
14:22:02 [14:22:02.124]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 892.67 MiB)
14:22:02 [14:22:02.127]
INFO:
ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 892.67 MiB)
14:22:02 [14:22:02.135]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 892.67 MiB)
14:22:02 [14:22:02.171]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 46 ms. (mem: 892.67 MiB)
14:22:02 [14:22:02.384]
INFO:
ivc-integration:test:avm-integration Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify --scheme client_ivc -p /tmp/bb-avm-integration-client-ivc-rmH0WD/proof -k /tmp/bb-avm-integration-client-ivc-rmH0WD/vk -v
14:22:02 [14:22:02.404]
INFO:
ivc-integration:test:avm-integration bb command: verify (mem: 196.48 MiB)
14:22:02 Scheme is: client_ivc, num threads: 64 (mem: 196.48 MiB)
14:22:02 --proof_path: /tmp/bb-avm-integration-client-ivc-rmH0WD/proof (mem: 196.48 MiB)
14:22:02 --vk_path: /tmp/bb-avm-integration-client-ivc-rmH0WD/vk (mem: 196.48 MiB)
14:22:02 --verbose: true (mem: 196.48 MiB)
14:22:02 --scheme: client_ivc (mem: 196.48 MiB)
14:22:02 [14:22:02.428]
INFO:
ivc-integration:test:avm-integration using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat"
14:22:02 [14:22:02.429]
INFO:
ivc-integration:test:avm-integration (mem:
14:22:02 [14:22:02.432]
INFO:
ivc-integration:test:avm-integration 196.48 MiB)
14:22:02 [14:22:02.444]
INFO:
ivc-integration:test:avm-integration Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 196.48 MiB)
14:22:02 [14:22:02.461]
INFO:
ivc-integration:test:avm-integration using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 196.48 MiB)
14:22:02 [14:22:02.462]
INFO:
ivc-integration:test:avm-integration Initialized BN254 CRS from memory with num points = 513 (mem: 196.48 MiB)
14:22:02 [14:22:02.463]
INFO:
ivc-integration:test:avm-integration Mega verified: 1 (mem: 196.48 MiB)
14:22:02 [14:22:02.511]
INFO:
ivc-integration:test:avm-integration eccvm sumcheck verified?: 1 (mem: 196.48 MiB)
14:22:02 batch opening verified?: 1 (mem: 196.48 MiB)
14:22:02 eccvm consistency check verified?: 1 (mem: 196.48 MiB)
14:22:02 translation masking consistency checked?: 1 (mem: 196.48 MiB)
14:22:02 [14:22:02.530]
INFO:
ivc-integration:test:avm-integration merge verified?: 1 (mem: 196.48 MiB)
14:22:02 eccvm verified?: 1 (mem: 196.48 MiB)
14:22:02 accumulator construction_verified?: 1 (mem: 196.48 MiB)
14:22:02 translation verified?: 1 (mem: 196.48 MiB)
14:22:02 consistency verified?: 1 (mem: 196.48 MiB)
14:22:02 Goblin verified: 1 (mem: 196.48 MiB)
14:22:02 [14:22:02.532]
INFO:
ivc-integration:test:avm-integration verified: 1 (mem: 196.48 MiB)
14:22:02 [14:22:02.548]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove_tube -o /tmp/bb-avm-integration-client-ivc-rmH0WD -k /tmp/bb-avm-integration-client-ivc-rmH0WD/vk -v
14:22:02 [14:22:02.562]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - bb command: prove_tube (mem: 196.98 MiB)
14:22:02 [14:22:02.563]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Scheme is: ultra_honk, num threads: 64 (mem: 196.98 MiB)
14:22:02 --verbose: true (mem: 196.98 MiB)
14:22:02 --vk_path: /tmp/bb-avm-integration-client-ivc-rmH0WD/vk (mem: 196.98 MiB)
14:22:02 --output_path: /tmp/bb-avm-integration-client-ivc-rmH0WD (mem: 196.98 MiB)
14:22:02 [14:22:02.587]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 196.98 MiB)
14:22:02 [14:22:02.602]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 196.98 MiB)
14:22:06 [14:22:06.345]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Constructing DeciderProvingKey (mem: 1519.60 MiB)
14:22:06 [14:22:06.940]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - allocating polynomials object in proving key... (mem: 1650.15 MiB)
14:22:07 [14:22:07.206]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - populating trace... (mem: 5158.95 MiB)
14:22:08 [14:22:08.030]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - time to construct proving key: 1684 ms.
14:22:08 [14:22:08.031]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - (mem:
14:22:08 [14:22:08.031]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - 5683.45
14:22:08 [14:22:08.036]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - MiB)
14:22:08 [14:22:08.101]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 7265.18 MiB)
14:22:09 [14:22:09.035]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized BN254 CRS from memory with num points = 4194817 (mem: 8033.23 MiB)
14:22:11 [14:22:11.392]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - created oink proof (mem: 8033.23 MiB)
14:22:12 [14:22:12.099]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - starting sumcheck rounds... (mem: 8284.71 MiB)
14:22:12 [14:22:12.962]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - completed 22 rounds of sumcheck (mem: 8285.21 MiB)
14:22:15 [14:22:15.978]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - executed multivariate-to-univariate reduction (mem: 8814.36 MiB)
14:22:16 [14:22:16.741]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - computed opening proof (mem: 8814.36 MiB)
14:22:21 [14:22:21.273]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - verificaton key length in fields:113 (mem: 8814.36 MiB)
14:22:21 [14:22:21.273]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Native verification of the tube_proof (mem: 8814.36 MiB)
14:22:21 [14:22:21.311]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Tube proof verification: 1 (mem: 8814.36 MiB)
14:22:22 [14:22:22.111]
INFO:
ivc-integration:test:avm-integration Successfully verified proof from key in 119.87376000000222 ms
14:22:22 [14:22:22.119]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-BFP7pS/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
14:22:38 [14:22:38.702]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --ipa_accumulation --output_format bytes_and_fields --write_vk -o /tmp/bb-avm-integration-uqafbh -b /tmp/bb-avm-integration-uqafbh/MockRollupBasePublicCircuit-bytecode -w /tmp/bb-avm-integration-uqafbh/witness.gz -v --init_kzg_accumulator
14:22:38 [14:22:38.716]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - bb command: prove (mem: 202.38 MiB)
14:22:38 [14:22:38.717]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Scheme is: ultra_honk, num threads: 64 (mem: 202.38 MiB)
14:22:38 --scheme: ultra_honk (mem: 202.38 MiB)
14:22:38 --bytecode_path: /tmp/bb-avm-integration-uqafbh/MockRollupBasePublicCircuit-bytecode (mem: 202.38 MiB)
14:22:38 --witness_path: /tmp/bb-avm-integration-uqafbh/witness.gz (mem: 202.38 MiB)
14:22:38 --output_path: /tmp/bb-avm-integration-uqafbh (mem: 202.38 MiB)
14:22:38 --verbose: true (mem: 202.38 MiB)
14:22:38 --oracle_hash: poseidon2 (mem: 202.38 MiB)
14:22:38 --output_format: bytes_and_fields (mem: 202.38 MiB)
14:22:38 --write_vk: true (mem: 202.38 MiB)
14:22:38 --init_kzg_accumulator: true (mem: 202.38 MiB)
14:22:38 --ipa_accumulation: true (mem: 202.38 MiB)
14:22:40 [14:22:40.590]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - verified sumcheck: 1 (mem: 1153.07 MiB)
14:22:40 [14:22:40.592]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 0 (mem: 1154.07 MiB)
14:22:40 [14:22:40.593]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 1 (mem: 1154.57 MiB)
14:22:40 [14:22:40.595]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 2 (mem: 1155.07 MiB)
14:22:40 [14:22:40.596]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 3 (mem: 1155.57 MiB)
14:22:40 [14:22:40.763]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 1188.07 MiB)
14:22:40 [14:22:40.766]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 1189.07 MiB)
14:22:40 [14:22:40.953]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 2967.07 MiB)
14:22:41 [14:22:41.274]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 510 ms. (mem: 3040.07 MiB)
14:22:41 [14:22:41.290]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 3414.23 MiB)
14:22:41 [14:22:41.518]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 1049089 (mem: 3606.35 MiB)
14:22:42 [14:22:42.755]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 3628.54 MiB)
14:22:42 [14:22:42.952]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4082.96 MiB)
14:22:43 [14:22:43.149]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 20 rounds of sumcheck (mem: 4083.46 MiB)
14:22:43 [14:22:43.971]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 4083.46 MiB)
14:22:44 [14:22:44.167]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4083.46 MiB)
14:22:44 [14:22:44.201]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing a Goblin proof with num ultra ops = 4748 (mem: 4083.46 MiB)
14:22:44 prove eccvm... (mem: 4083.46 MiB)
14:22:44 [14:22:44.336]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 4083.46 MiB)
14:22:44 [14:22:44.345]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 4083.46 MiB)
14:22:45 [14:22:45.113]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4083.46 MiB)
14:22:45 [14:22:45.407]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 16 rounds of sumcheck (mem: 4083.46 MiB)
14:22:46 [14:22:46.517]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - finished eccvm proving. (mem: 4083.46 MiB)
14:22:46 prove translator... (mem: 4083.46 MiB)
14:22:47 [14:22:47.408]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4083.46 MiB)
14:22:47 [14:22:47.708]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 18 rounds of sumcheck (mem: 4083.46 MiB)
14:22:48 [14:22:48.315]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4083.46 MiB)
14:22:48 [14:22:48.316]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - finished translator proving. (mem: 4083.46 MiB)
14:22:54 [14:22:54.726]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created circuit (mem: 4083.46 MiB)
14:22:54 [14:22:54.727]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 4083.46 MiB)
14:22:55 [14:22:55.824]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 4083.46 MiB)
14:22:56 [14:22:56.010]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 6714.92 MiB)
14:22:57 [14:22:57.180]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 2453 ms. (mem: 6954.92 MiB)
14:22:57 [14:22:57.428]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6954.92 MiB)
14:22:58 [14:22:58.338]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 4194817 (mem: 7311.97 MiB)
14:23:00 [14:23:00.660]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 7311.97 MiB)
14:23:01 [14:23:01.238]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 7563.41 MiB)
14:23:01 [14:23:01.944]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 22 rounds of sumcheck (mem: 7563.41 MiB)
14:23:05 [14:23:05.594]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 7995.30 MiB)
14:23:06 [14:23:06.382]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 7995.30 MiB)
14:23:11 [14:23:11.846]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Public inputs saved to "/tmp/bb-avm-integration-uqafbh/public_inputs" (mem: 7995.30 MiB)
14:23:11 Public inputs fields saved to "/tmp/bb-avm-integration-uqafbh/public_inputs_fields.json" (mem: 7995.30 MiB)
14:23:11 Proof saved to "/tmp/bb-avm-integration-uqafbh/proof" (mem: 7995.30 MiB)
14:23:11 Proof fields saved to "/tmp/bb-avm-integration-uqafbh/proof_fields.json" (mem: 7995.30 MiB)
14:23:11 VK saved to "/tmp/bb-avm-integration-uqafbh/vk" (mem: 7995.30 MiB)
14:23:11 VK fields saved to "/tmp/bb-avm-integration-uqafbh/vk_fields.json" (mem: 7995.30 MiB)
14:23:12 [14:23:12.167]
INFO:
ivc-integration:test:avm-integration Successfully verified proof from key in 131.5866490000044 ms
14:23:12
PASS src/avm_integration.test.ts (
85.633 s)
14:23:12 AVM Integration
14:23:12
✓ Should generate and verify an ultra honk proof from an AVM verification (50055 ms)
14:23:12
14:23:12
Test Suites: 1 passed, 1 total
14:23:12
Tests: 1 passed, 1 total
14:23:12
Snapshots: 0 total
14:23:12
Time: 85.691 s
14:23:12
Ran all test suites matching /ivc-integration\/src\/avm_integration.test.ts/i
.
14:23:12
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?