Parent Log:
http://ci.aztec-labs.com/b13745b3a815110f
Command: f34dabd8fae2f26b:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/avm_integration.test.ts
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/f4ac84d7ac4041d505399edd8819840bb14d6c9d
Env: REF_NAME=gh-readonly-queue/master/pr-15005-b1b65bcdbd44a49fbebe5d2265256dc9466e92be CURRENT_VERSION=0.87.8 CI_FULL=0
Date: Fri Jun 13 17:05:07 UTC 2025
System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15005_arm64_a1-fast
Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_9b06efe76336a840_master
17:05:10 [17:05:10.917]
INFO:
ivc-integration:test:avm-integration inputsPath /tmp/bb-avm-integration-client-ivc-YyXQto/ivc-inputs.msgpack
17:05:10 [17:05:10.922]
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-YyXQto --ivc_inputs_path /tmp/bb-avm-integration-client-ivc-YyXQto/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
17:05:10 [17:05:10.940]
INFO:
ivc-integration:test:avm-integration bb - bb command: prove (mem: 193.32 MiB)
17:05:10 [17:05:10.941]
INFO:
ivc-integration:test:avm-integration bb - Scheme is: client_ivc, num threads: 64 (mem: 193.32 MiB)
17:05:10 --scheme: client_ivc (mem: 193.32 MiB)
17:05:10 --output_path: /tmp/bb-avm-integration-client-ivc-YyXQto (mem: 193.32 MiB)
17:05:10 --ivc_inputs_path: /tmp/bb-avm-integration-client-ivc-YyXQto/ivc-inputs.msgpack (mem: 193.32 MiB)
17:05:10 --verbose: true (mem: 193.32 MiB)
17:05:10 --write_vk: true (mem: 193.32 MiB)
17:05:10 BN254 commitment key size: 262144 (mem: 193.32 MiB)
17:05:10 [17:05:10.977]
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: 197.50 MiB)
17:05:11 [17:05:11.037]
INFO:
ivc-integration:test:avm-integration bb - Initialized BN254 CRS from memory with num points = 262657 (mem: 245.83 MiB)
17:05:11 [17:05:11.038]
INFO:
ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_0 (mem: 245.83 MiB)
17:05:11 [17:05:11.039]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 245.83 MiB)
17:05:11 [17:05:11.041]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 245.83 MiB)
17:05:11 goblin ecc op : 4/1024 (mem: 245.83 MiB)
17:05:11 [17:05:11.043]
INFO:
ivc-integration:test:avm-integration bb - busread : 7/6000 (mem: 245.83 MiB)
17:05:11 lookups : 2/15000 (mem: 245.83 MiB)
17:05:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 245.83 MiB)
17:05:11 arithmetic : 1760/56000 (mem: 245.83 MiB)
17:05:11 delta range : 1754/18000 (mem: 245.83 MiB)
17:05:11 elliptic : 2/6000 (mem: 245.83 MiB)
17:05:11 auxiliary : 26/26000 (mem: 245.83 MiB)
17:05:11 poseidon ext : 2/17000 (mem: 245.83 MiB)
17:05:11 poseidon int : 2/92000 (mem: 245.83 MiB)
17:05:11 overflow : 0/0 (mem: 245.83 MiB)
17:05:11 (mem: 245.83 MiB)
17:05:11 Total structured size: 242025 (mem: 245.83 MiB)
17:05:11 allocating polynomials object in proving key... (mem: 245.83 MiB)
17:05:11 [17:05:11.127]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 453.43 MiB)
17:05:11 [17:05:11.143]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 104 ms. (mem: 466.43 MiB)
17:05:11 [17:05:11.171]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0xb9fba28d9800 (mem: 466.43 MiB)
17:05:11 computing oink proof... (mem: 466.43 MiB)
17:05:11 [17:05:11.341]
INFO:
ivc-integration:test:avm-integration bb - oink proof constructed (mem: 467.43 MiB)
17:05:11 [17:05:11.353]
INFO:
ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_1
17:05:11 [17:05:11.354]
INFO:
ivc-integration:test:avm-integration bb - (mem:
17:05:11 [17:05:11.357]
INFO:
ivc-integration:test:avm-integration bb - 468.43 MiB)
17:05:11 Constructing DeciderProvingKey (mem: 468.43 MiB)
17:05:11 [17:05:11.358]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity)
17:05:11 [17:05:11.359]
INFO:
ivc-integration:test:avm-integration bb - (mem: 468.43 MiB)
17:05:11 goblin ecc op : 56/1024 (mem: 468.43 MiB)
17:05:11 busread : 12/6000 (mem: 468.43 MiB)
17:05:11 lookups : 2/15000 (mem: 468.43 MiB)
17:05:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 468.43 MiB)
17:05:11 arithmetic : 4225/56000 (mem: 468.43 MiB)
17:05:11 delta range : 2043/18000 (mem: 468.43 MiB)
17:05:11 elliptic : 2/6000 (mem: 468.43 MiB)
17:05:11 auxiliary : 110/26000 (mem: 468.43 MiB)
17:05:11 poseidon ext : 882/17000 (mem: 468.43 MiB)
17:05:11 poseidon int : 5018/92000 (mem: 468.43 MiB)
17:05:11 overflow : 0/0 (mem: 468.43 MiB)
17:05:11 (mem: 468.43 MiB)
17:05:11 Total structured size: 242025 (mem: 468.43 MiB)
17:05:11 allocating polynomials object in proving key... (mem: 468.43 MiB)
17:05:11 [17:05:11.440]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 689.43 MiB)
17:05:11 [17:05:11.450]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 95 ms. (mem: 704.93 MiB)
17:05:11 [17:05:11.479]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0xb9fba28f19c0 (mem: 704.93 MiB)
17:05:11 computing folding proof (mem: 704.93 MiB)
17:05:11 [17:05:11.659]
INFO:
ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 704.93 MiB)
17:05:11 [17:05:11.719]
INFO:
ivc-integration:test:avm-integration bb - perturbator round (mem: 742.43 MiB)
17:05:11 [17:05:11.770]
INFO:
ivc-integration:test:avm-integration bb - combiner quotient round (mem: 774.93 MiB)
17:05:12 [17:05:12.074]
INFO:
ivc-integration:test:avm-integration bb - folded (mem: 774.93 MiB)
17:05:12 constructed folding proof (mem: 774.93 MiB)
17:05:12 [17:05:12.124]
INFO:
ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_2 (mem: 774.93 MiB)
17:05:12 Constructing DeciderProvingKey (mem: 774.93 MiB)
17:05:12 [17:05:12.126]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 774.93 MiB)
17:05:12 goblin ecc op : 392/1024 (mem: 774.93
17:05:12 [17:05:12.127]
INFO:
ivc-integration:test:avm-integration bb - MiB)
17:05:12 busread : 3/6000 (mem: 774.93 MiB)
17:05:12 lookups : 2/15000 (mem: 774.93 MiB)
17:05:12 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 774.93 MiB)
17:05:12 arithmetic : 6440/56000 (mem: 774.93 MiB)
17:05:12 delta range : 2323/18000 (mem: 774.93 MiB)
17:05:12 elliptic : 2/6000 (mem: 774.93 MiB)
17:05:12 auxiliary : 50/26000 (mem: 774.93 MiB)
17:05:12 poseidon ext : 2042/17000 (mem: 774.93 MiB)
17:05:12 poseidon int : 11630/92000 (mem: 774.93 MiB)
17:05:12 overflow : 0/0 (mem: 774.93 MiB)
17:05:12 (mem: 774.93 MiB)
17:05:12 Total structured size: 242025 (mem: 774.93 MiB)
17:05:12 allocating polynomials object in proving key... (mem: 774.93 MiB)
17:05:12 [17:05:12.172]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 774.93 MiB)
17:05:12 [17:05:12.184]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 60 ms. (mem: 774.93 MiB)
17:05:12 [17:05:12.223]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0xb9fba28d2480 (mem: 774.93 MiB)
17:05:12 computing folding proof (mem: 774.93 MiB)
17:05:12 [17:05:12.540]
INFO:
ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 774.93 MiB)
17:05:12 [17:05:12.584]
INFO:
ivc-integration:test:avm-integration bb - perturbator round (mem: 774.93 MiB)
17:05:12 [17:05:12.635]
INFO:
ivc-integration:test:avm-integration bb - combiner quotient round (mem: 784.14 MiB)
17:05:12 [17:05:12.858]
INFO:
ivc-integration:test:avm-integration bb - folded (mem: 784.14 MiB)
17:05:12 constructed folding proof (mem: 784.14 MiB)
17:05:12 [17:05:12.861]
INFO:
ivc-integration:test:avm-integration bb - Largest circuit: 22492 gates. Trace details: (mem: 784.14 MiB)
17:05:12 Minimum required block sizes for structured trace: (mem: 784.14 MiB)
17:05:12 (mem: 784.14 MiB)
17:05:12 prove decider... (mem: 784.14 MiB)
17:05:12 finished decider proving. (mem: 784.14 MiB)
17:05:12 [17:05:12.866]
INFO:
ivc-integration:test:avm-integration bb - ecc_op : 392
17:05:12 busread : 12
17:05:12 lookup : 2
17:05:12 pub_inputs : 36
17:05:12 arithmetic : 6440
17:05:12 delta_range : 2323
17:05:12 elliptic : 2
17:05:12 aux : 110
17:05:12 poseidon2_external : 2042
17:05:12 poseidon2_internal : 11630
17:05:12 overflow : 0
17:05:12 [17:05:12.944]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 784.14 MiB)
17:05:13 [17:05:13.051]
INFO:
ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 784.14 MiB)
17:05:13 [17:05:13.691]
INFO:
ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 784.14 MiB)
17:05:13 [17:05:13.766]
INFO:
ivc-integration:test:avm-integration bb - computed opening proof (mem: 784.14 MiB)
17:05:13 [17:05:13.856]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 784.14 MiB)
17:05:13 [17:05:13.856]
INFO:
ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 784.14 MiB)
17:05:13 [17:05:13.932]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 784.14 MiB)
17:05:13 [17:05:13.958]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 104 ms. (mem: 784.14 MiB)
17:05:14 [17:05:14.616]
INFO:
ivc-integration:test:avm-integration bb - created oink proof
17:05:14 [17:05:14.617]
INFO:
ivc-integration:test:avm-integration bb - (mem: 784.14 MiB)
17:05:14 [17:05:14.750]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 784.14 MiB)
17:05:15 [17:05:15.090]
INFO:
ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 784.14 MiB)
17:05:15 [17:05:15.506]
INFO:
ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 784.14 MiB)
17:05:15 [17:05:15.533]
INFO:
ivc-integration:test:avm-integration bb - computed opening proof (mem: 784.14 MiB)
17:05:15 [17:05:15.607]
INFO:
ivc-integration:test:avm-integration bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 784.14 MiB)
17:05:15 prove eccvm... (mem: 784.14 MiB)
17:05:15 [17:05:15.807]
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: 784.14 MiB)
17:05:15 [17:05:15.817]
INFO:
ivc-integration:test:avm-integration bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 784.14 MiB)
17:05:17 [17:05:17.371]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 784.14 MiB)
17:05:18 [17:05:18.198]
INFO:
ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 784.14 MiB)
17:05:19 [17:05:19.962]
INFO:
ivc-integration:test:avm-integration bb - finished eccvm proving. (mem: 784.14 MiB)
17:05:19 prove translator... (mem: 784.14 MiB)
17:05:21 [17:05:21.221]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 784.14 MiB)
17:05:21 [17:05:21.936]
INFO:
ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 784.14 MiB)
17:05:22 [17:05:22.941]
INFO:
ivc-integration:test:avm-integration bb - computed opening proof (mem: 784.14 MiB)
17:05:22 finished translator proving. (mem: 784.14 MiB)
17:05:22 [17:05:22.959]
INFO:
ivc-integration:test:avm-integration bb - Mega verified: 1 (mem: 784.14 MiB)
17:05:23 [17:05:23.019]
INFO:
ivc-integration:test:avm-integration bb - eccvm sumcheck verified?: 1 (mem: 784.14 MiB)
17:05:23 batch opening verified?: 1 (mem: 784.14 MiB)
17:05:23 eccvm consistency check verified?: 1 (mem: 784.14 MiB)
17:05:23 translation masking consistency checked?: 1 (mem: 784.14 MiB)
17:05:23 [17:05:23.040]
INFO:
ivc-integration:test:avm-integration bb - merge verified?: 1
17:05:23 [17:05:23.041]
INFO:
ivc-integration:test:avm-integration bb - (mem:
17:05:23 [17:05:23.043]
INFO:
ivc-integration:test:avm-integration bb - 784.14 MiB)
17:05:23 eccvm verified?: 1 (mem: 784.14 MiB)
17:05:23 accumulator construction_verified?: 1 (mem: 784.14 MiB)
17:05:23 translation verified?: 1 (mem: 784.14 MiB)
17:05:23 consistency verified?: 1 (mem: 784.14 MiB)
17:05:23 Goblin verified: 1 (mem: 784.14 MiB)
17:05:23 writing ClientIVC proof in directory "/tmp/bb-avm-integration-client-ivc-YyXQto" (mem: 784.14 MiB)
17:05:23 writing ClientIVC vk in directory "/tmp/bb-avm-integration-client-ivc-YyXQto" (mem: 784.14 MiB)
17:05:23 num_public_inputs_in_final_circuit: 4 (mem: 784.14 MiB)
17:05:23 BN254 commitment key size: 262144 (mem: 784.14 MiB)
17:05:23 [17:05:23.046]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 784.14 MiB)
17:05:23 [17:05:23.046]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 784.14 MiB)
17:05:23 goblin ecc op : 4/1024 (mem: 784.14 MiB)
17:05:23 busread : 3/6000 (mem: 784.14 MiB)
17:05:23 lookups : 2/15000 (mem: 784.14 MiB)
17:05:23 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 784.14 MiB)
17:05:23 arithmetic : 1773/56000 (mem: 784.14 MiB)
17:05:23 delta range : 1754/18000 (mem: 784.14 MiB)
17:05:23 elliptic : 2/6000 (mem: 784.14 MiB)
17:05:23 auxiliary : 26/26000 (mem: 784.14 MiB)
17:05:23 poseidon ext : 2/17000 (mem: 784.14 MiB)
17:05:23 poseidon int : 2/92000 (mem: 784.14 MiB)
17:05:23 overflow : 0/0 (mem: 784.14 MiB)
17:05:23 (mem: 784.14 MiB)
17:05:23 Total structured size: 242025 (mem: 784.14 MiB)
17:05:23 allocating polynomials object in proving key... (mem: 784.14 MiB)
17:05:23 [17:05:23.072]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 784.14 MiB)
17:05:23 [17:05:23.077]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 32 ms. (mem: 784.14 MiB)
17:05:23 [17:05:23.095]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 784.14 MiB)
17:05:23 [17:05:23.584]
INFO:
ivc-integration:test:avm-integration bb - computing oink proof...
17:05:23 [17:05:23.584]
INFO:
ivc-integration:test:avm-integration bb - (mem: 784.14 MiB)
17:05:23 [17:05:23.734]
INFO:
ivc-integration:test:avm-integration bb - oink proof constructed (mem: 784.14 MiB)
17:05:23 [17:05:23.748]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey
17:05:23 [17:05:23.748]
INFO:
ivc-integration:test:avm-integration bb - (mem:
17:05:23 [17:05:23.749]
INFO:
ivc-integration:test:avm-integration bb - 784.14
17:05:23 [17:05:23.750]
INFO:
ivc-integration:test:avm-integration bb - MiB)
17:05:23 [17:05:23.753]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 784.14 MiB)
17:05:23 goblin ecc op : 56/1024 (mem: 784.14 MiB)
17:05:23 [17:05:23.753]
INFO:
ivc-integration:test:avm-integration bb - busread : 3/6000 (mem: 784.14 MiB)
17:05:23 lookups : 2/15000 (mem: 784.14 MiB)
17:05:23 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 784.14 MiB)
17:05:23 arithmetic : 4072/56000 (mem: 784.14 MiB)
17:05:23 delta range : 2030/18000 (mem: 784.14 MiB)
17:05:23 elliptic : 2/6000 (mem: 784.14 MiB)
17:05:23 auxiliary : 50/26000 (mem: 784.14 MiB)
17:05:23 poseidon ext : 882/17000 (mem: 784.14 MiB)
17:05:23 poseidon int : 5018/92000 (mem: 784.14 MiB)
17:05:23 overflow : 0/0 (mem: 784.14 MiB)
17:05:23 (mem: 784.14 MiB)
17:05:23 Total structured size: 242025 (mem: 784.14 MiB)
17:05:23 allocating polynomials object in proving key... (mem: 784.14 MiB)
17:05:23 [17:05:23.854]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 828.88 MiB)
17:05:23 [17:05:23.863]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 113 ms. (mem: 828.88 MiB)
17:05:23 [17:05:23.907]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 828.88 MiB)
17:05:24 [17:05:24.374]
INFO:
ivc-integration:test:avm-integration bb - computing folding proof (mem: 828.88 MiB)
17:05:24 [17:05:24.628]
INFO:
ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 837.88 MiB)
17:05:24 [17:05:24.681]
INFO:
ivc-integration:test:avm-integration bb - perturbator round (mem: 837.88 MiB)
17:05:24 [17:05:24.720]
INFO:
ivc-integration:test:avm-integration bb - combiner quotient round (mem: 869.88 MiB)
17:05:24 [17:05:24.937]
INFO:
ivc-integration:test:avm-integration bb - folded (mem: 869.88 MiB)
17:05:24 constructed folding proof (mem: 869.88 MiB)
17:05:24 [17:05:24.939]
INFO:
ivc-integration:test:avm-integration bb - Largest circuit: 12059 gates. Trace details:
17:05:24 [17:05:24.945]
INFO:
ivc-integration:test:avm-integration bb - (mem: 869.88 MiB)
17:05:24 Minimum required block sizes for structured trace: (mem: 869.88 MiB)
17:05:24 (mem: 869.88 MiB)
17:05:24 prove decider... (mem: 869.88 MiB)
17:05:24 finished decider proving. (mem: 869.88 MiB)
17:05:24 [17:05:24.945]
INFO:
ivc-integration:test:avm-integration bb - ecc_op : 56
17:05:24 busread : 3
17:05:24 lookup : 2
17:05:24 pub_inputs : 36
17:05:24 arithmetic : 4072
17:05:24 delta_range : 2030
17:05:24 elliptic : 2
17:05:24 aux : 50
17:05:24 poseidon2_external : 882
17:05:24 poseidon2_internal : 5018
17:05:24 overflow : 0
17:05:25 [17:05:25.039]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 869.88 MiB)
17:05:25 [17:05:25.118]
INFO:
ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck
17:05:25 [17:05:25.118]
INFO:
ivc-integration:test:avm-integration bb - (mem: 869.88 MiB)
17:05:25 [17:05:25.624]
INFO:
ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 869.88 MiB)
17:05:25 [17:05:25.693]
INFO:
ivc-integration:test:avm-integration bb - computed opening proof (mem: 869.88 MiB)
17:05:25 [17:05:25.759]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 869.88 MiB)
17:05:25 [17:05:25.761]
INFO:
ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 869.88 MiB)
17:05:25 [17:05:25.788]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 869.88 MiB)
17:05:25 [17:05:25.825]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 65 ms. (mem: 869.88 MiB)
17:05:26 [17:05:26.091]
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-YyXQto/proof -k /tmp/bb-avm-integration-client-ivc-YyXQto/vk -v
17:05:26 [17:05:26.108]
INFO:
ivc-integration:test:avm-integration bb command: verify (mem: 193.88 MiB)
17:05:26 Scheme is: client_ivc, num threads: 64 (mem: 193.88 MiB)
17:05:26 --proof_path: /tmp/bb-avm-integration-client-ivc-YyXQto/proof (mem: 193.88 MiB)
17:05:26 --vk_path: /tmp/bb-avm-integration-client-ivc-YyXQto/vk (mem: 193.88 MiB)
17:05:26 --verbose: true (mem: 193.88 MiB)
17:05:26 --scheme: client_ivc (mem: 193.88 MiB)
17:05:26 [17:05:26.141]
INFO:
ivc-integration:test:avm-integration using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 193.88 MiB)
17:05:26 [17:05:26.155]
INFO:
ivc-integration:test:avm-integration Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 193.88 MiB)
17:05:26 [17:05:26.175]
INFO:
ivc-integration:test:avm-integration using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 193.88 MiB)
17:05:26 Initialized BN254 CRS from memory with num points = 513 (mem: 193.88 MiB)
17:05:26 Mega verified: 1 (mem: 193.88 MiB)
17:05:26 [17:05:26.231]
INFO:
ivc-integration:test:avm-integration eccvm sumcheck verified?: 1
17:05:26 [17:05:26.232]
INFO:
ivc-integration:test:avm-integration (mem:
17:05:26 [17:05:26.233]
INFO:
ivc-integration:test:avm-integration 193.88
17:05:26 [17:05:26.233]
INFO:
ivc-integration:test:avm-integration MiB)
17:05:26 [17:05:26.234]
INFO:
ivc-integration:test:avm-integration
17:05:26 [17:05:26.235]
INFO:
ivc-integration:test:avm-integration batch opening verified?: 1 (mem: 193.88 MiB)
17:05:26 eccvm consistency check verified?: 1 (mem: 193.88 MiB)
17:05:26 translation masking consistency checked?: 1 (mem: 193.88 MiB)
17:05:26 [17:05:26.254]
INFO:
ivc-integration:test:avm-integration merge verified?: 1 (mem: 193.88 MiB)
17:05:26 eccvm verified?: 1 (mem: 193.88 MiB)
17:05:26 accumulator construction_verified?: 1 (mem: 193.88 MiB)
17:05:26 translation verified?: 1 (mem: 193.88 MiB)
17:05:26 consistency verified?: 1 (mem: 193.88 MiB)
17:05:26 [17:05:26.255]
INFO:
ivc-integration:test:avm-integration Goblin verified: 1 (mem: 193.88 MiB)
17:05:26 [17:05:26.258]
INFO:
ivc-integration:test:avm-integration verified: 1 (mem: 193.88 MiB)
17:05:26 [17:05:26.279]
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-YyXQto -k /tmp/bb-avm-integration-client-ivc-YyXQto/vk -v
17:05:26 [17:05:26.293]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - bb command: prove_tube (mem: 193.88 MiB)
17:05:26 [17:05:26.293]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Scheme is: ultra_honk, num threads: 64 (mem: 193.88 MiB)
17:05:26 --verbose: true (mem: 193.88 MiB)
17:05:26 --vk_path: /tmp/bb-avm-integration-client-ivc-YyXQto/vk (mem: 193.88 MiB)
17:05:26 --output_path: /tmp/bb-avm-integration-client-ivc-YyXQto (mem: 193.88 MiB)
17:05:26 [17:05:26.317]
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: 193.88 MiB)
17:05:26 [17:05:26.332]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 193.88 MiB)
17:05:30 [17:05:30.070]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Constructing DeciderProvingKey (mem: 1516.21 MiB)
17:05:30 [17:05:30.667]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - allocating polynomials object in proving key... (mem: 1646.77 MiB)
17:05:30 [17:05:30.867]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - populating trace... (mem: 5159.06 MiB)
17:05:31 [17:05:31.678]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - time to construct proving key: 1608 ms. (mem: 5679.56 MiB)
17:05:31 [17:05:31.743]
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: 7263.05 MiB)
17:05:32 [17:05:32.648]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized BN254 CRS from memory with num points = 4194817 (mem: 8031.42 MiB)
17:05:35 [17:05:35.010]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - created oink proof (mem: 8031.42 MiB)
17:05:35 [17:05:35.851]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - starting sumcheck rounds... (mem: 8287.13 MiB)
17:05:36 [17:05:36.707]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - completed 22 rounds of sumcheck (mem: 8287.13 MiB)
17:05:39 [17:05:39.820]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - executed multivariate-to-univariate reduction
17:05:39 [17:05:39.820]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - (mem:
17:05:39 [17:05:39.821]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - 8812.01
17:05:39 [17:05:39.821]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - MiB)
17:05:39 [17:05:39.821]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out -
17:05:40 [17:05:40.440]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - computed opening proof (mem: 8812.01 MiB)
17:05:45 [17:05:45.098]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - verificaton key length in fields:113 (mem: 8812.01 MiB)
17:05:45 [17:05:45.098]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Native verification of the tube_proof (mem: 8812.01 MiB)
17:05:45 [17:05:45.135]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Tube proof verification: 1 (mem: 8812.01 MiB)
17:05:45 [17:05:45.856]
INFO:
ivc-integration:test:avm-integration Successfully verified proof from key in 116.06991900000139 ms
17:05:45 [17:05:45.862]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-9n5yk2/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
17:06:02 [17:06:02.215]
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-PkD5fe -b /tmp/bb-avm-integration-PkD5fe/MockRollupBasePublicCircuit-bytecode -w /tmp/bb-avm-integration-PkD5fe/witness.gz -v --init_kzg_accumulator
17:06:02 [17:06:02.229]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - bb command: prove (mem: 205.68 MiB)
17:06:02 [17:06:02.229]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Scheme is: ultra_honk, num threads: 64 (mem: 205.68 MiB)
17:06:02 --scheme: ultra_honk (mem: 205.68 MiB)
17:06:02 --bytecode_path: /tmp/bb-avm-integration-PkD5fe/MockRollupBasePublicCircuit-bytecode (mem: 205.68 MiB)
17:06:02 --witness_path: /tmp/bb-avm-integration-PkD5fe/witness.gz (mem: 205.68 MiB)
17:06:02 --output_path: /tmp/bb-avm-integration-PkD5fe (mem: 205.68 MiB)
17:06:02 --verbose: true (mem: 205.68 MiB)
17:06:02 --oracle_hash: poseidon2 (mem: 205.68 MiB)
17:06:02 --output_format: bytes_and_fields (mem: 205.68 MiB)
17:06:02 --write_vk: true (mem: 205.68 MiB)
17:06:02 --init_kzg_accumulator: true (mem: 205.68 MiB)
17:06:02 --ipa_accumulation: true (mem: 205.68 MiB)
17:06:04 [17:06:04.095]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - verified sumcheck: 1 (mem: 1153.66 MiB)
17:06:04 [17:06:04.097]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 0 (mem: 1154.66 MiB)
17:06:04 [17:06:04.101]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 1 (mem: 1155.16 MiB)
17:06:04 public_input_evaluation failed, public inputs col 2 (mem: 1155.66 MiB)
17:06:04 public_input_evaluation failed, public inputs col 3 (mem: 1156.16 MiB)
17:06:04 [17:06:04.275]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 1188.16 MiB)
17:06:04 allocating polynomials object in proving key... (mem: 1189.66 MiB)
17:06:04 [17:06:04.514]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 2968.16 MiB)
17:06:04 [17:06:04.866]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 590 ms. (mem: 3041.16 MiB)
17:06:04 [17:06:04.880]
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.55 MiB)
17:06:05 [17:06:05.115]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 1049089 (mem: 3606.58 MiB)
17:06:06 [17:06:06.504]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 3627.81 MiB)
17:06:06 [17:06:06.697]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4080.80 MiB)
17:06:06 [17:06:06.945]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 20 rounds of sumcheck (mem: 4080.80 MiB)
17:06:07 [17:06:07.737]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 4080.80 MiB)
17:06:07 [17:06:07.933]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4080.80 MiB)
17:06:07 [17:06:07.969]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing a Goblin proof with num ultra ops = 4748 (mem: 4080.80 MiB)
17:06:07 prove eccvm... (mem: 4080.80 MiB)
17:06:08 [17:06:08.118]
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: 4080.80 MiB)
17:06:08 [17:06:08.128]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 4080.80 MiB)
17:06:08 [17:06:08.853]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4080.80 MiB)
17:06:09 [17:06:09.134]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 16 rounds of sumcheck (mem: 4080.80 MiB)
17:06:09 [17:06:09.857]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - finished eccvm proving. (mem: 4080.80 MiB)
17:06:09 prove translator... (mem: 4080.80 MiB)
17:06:10 [17:06:10.446]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4080.80 MiB)
17:06:10 [17:06:10.961]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 18 rounds of sumcheck (mem: 4080.80 MiB)
17:06:11 [17:06:11.546]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4080.80 MiB)
17:06:11 [17:06:11.547]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - finished translator proving. (mem: 4080.80 MiB)
17:06:18 [17:06:18.115]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created circuit (mem: 4080.80 MiB)
17:06:18 [17:06:18.115]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 4080.80 MiB)
17:06:19 [17:06:19.230]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 4080.80 MiB)
17:06:19 [17:06:19.425]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 6681.41 MiB)
17:06:20 [17:06:20.583]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 2467 ms. (mem: 6920.91 MiB)
17:06:20 [17:06:20.819]
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: 6920.91 MiB)
17:06:21 [17:06:21.716]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 4194817 (mem: 7486.53 MiB)
17:06:23 [17:06:23.836]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 7486.53 MiB)
17:06:24 [17:06:24.522]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 7544.85 MiB)
17:06:25 [17:06:25.187]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 22 rounds of sumcheck (mem: 7544.85 MiB)
17:06:28 [17:06:28.142]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 7977.55 MiB)
17:06:29 [17:06:29.088]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof
17:06:29 [17:06:29.091]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - (mem: 7977.55 MiB)
17:06:34 [17:06:34.898]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Public inputs saved to "/tmp/bb-avm-integration-PkD5fe/public_inputs" (mem: 7977.55 MiB)
17:06:34 Public inputs fields saved to "/tmp/bb-avm-integration-PkD5fe/public_inputs_fields.json" (mem: 7977.55 MiB)
17:06:34 Proof saved to "/tmp/bb-avm-integration-PkD5fe/proof" (mem: 7977.55 MiB)
17:06:34 [17:06:34.899]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Proof fields saved to "/tmp/bb-avm-integration-PkD5fe/proof_fields.json" (mem: 7977.55 MiB)
17:06:34 VK saved to "/tmp/bb-avm-integration-PkD5fe/vk" (mem: 7977.55 MiB)
17:06:34 VK fields saved to "/tmp/bb-avm-integration-PkD5fe/vk_fields.json" (mem: 7977.55 MiB)
17:06:35 [17:06:35.210]
INFO:
ivc-integration:test:avm-integration Successfully verified proof from key in 131.66749199999322 ms
17:06:35
PASS src/avm_integration.test.ts (
86.758 s)
17:06:35 AVM Integration
17:06:35
✓ Should generate and verify an ultra honk proof from an AVM verification (49354 ms)
17:06:35
17:06:35
Test Suites: 1 passed, 1 total
17:06:35
Tests: 1 passed, 1 total
17:06:35
Snapshots: 0 total
17:06:35
Time: 86.819 s
17:06:35
Ran all test suites matching /ivc-integration\/src\/avm_integration.test.ts/i
.
17:06:35
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?