Parent Log:
http://ci.aztec-labs.com/b1869ed3b108a335
Command: 3f83527fe89c0976:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/avm_integration.test.ts
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/b1b65bcdbd44a49fbebe5d2265256dc9466e92be
Env: REF_NAME=gh-readonly-queue/master/pr-15044-267ac35e8ccb487bdc79bbe12d428f4c8b4d4d9f CURRENT_VERSION=0.87.8 CI_FULL=0
Date: Fri Jun 13 16:21:41 UTC 2025
System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15044_arm64_a1-fast
Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_9b06efe76336a840_master
16:21:44 [16:21:44.469]
INFO:
ivc-integration:test:avm-integration inputsPath /tmp/bb-avm-integration-client-ivc-iHofCX/ivc-inputs.msgpack
16:21:44 [16:21:44.473]
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-iHofCX --ivc_inputs_path /tmp/bb-avm-integration-client-ivc-iHofCX/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:21:44 [16:21:44.493]
INFO:
ivc-integration:test:avm-integration bb - bb command: prove (mem: 197.66 MiB)
16:21:44 Scheme is: client_ivc, num threads: 64 (mem: 197.66 MiB)
16:21:44 --scheme: client_ivc (mem: 197.66 MiB)
16:21:44 --output_path: /tmp/bb-avm-integration-client-ivc-iHofCX (mem: 197.66 MiB)
16:21:44 [16:21:44.494]
INFO:
ivc-integration:test:avm-integration bb - --ivc_inputs_path: /tmp/bb-avm-integration-client-ivc-iHofCX/ivc-inputs.msgpack (mem: 197.66 MiB)
16:21:44 --verbose: true (mem: 197.66 MiB)
16:21:44 --write_vk: true (mem: 197.66 MiB)
16:21:44 [16:21:44.495]
INFO:
ivc-integration:test:avm-integration bb - BN254 commitment key size: 262144 (mem: 197.66 MiB)
16:21:44 [16:21:44.533]
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.66 MiB)
16:21:44 [16:21:44.593]
INFO:
ivc-integration:test:avm-integration bb - Initialized BN254 CRS from memory with num points = 262657 (mem: 243.81 MiB)
16:21:44 [16:21:44.596]
INFO:
ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_0 (mem: 243.81 MiB)
16:21:44 Constructing DeciderProvingKey (mem: 243.81 MiB)
16:21:44 [16:21:44.600]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 243.81 MiB)
16:21:44 goblin ecc op : 4/1024 (mem: 243.81 MiB)
16:21:44 busread : 7/6000 (mem: 243.81 MiB)
16:21:44 lookups : 2/15000 (mem: 243.81 MiB)
16:21:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 243.81 MiB)
16:21:44 arithmetic : 1760/56000 (mem: 243.81 MiB)
16:21:44 delta range : 1754/18000 (mem: 243.81 MiB)
16:21:44 elliptic : 2/6000 (mem: 243.81 MiB)
16:21:44 auxiliary : 26/26000 (mem: 243.81 MiB)
16:21:44 poseidon ext : 2/17000 (mem: 243.81 MiB)
16:21:44 poseidon int : 2/92000 (mem: 243.81 MiB)
16:21:44 overflow : 0/0 (mem: 243.81 MiB)
16:21:44 (mem: 243.81 MiB)
16:21:44 Total structured size: 242025 (mem: 243.81 MiB)
16:21:44 allocating polynomials object in proving key... (mem: 243.81 MiB)
16:21:44 [16:21:44.690]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 452.41 MiB)
16:21:44 [16:21:44.700]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 103 ms. (mem: 467.91 MiB)
16:21:44 [16:21:44.732]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0xb9c177f6d800 (mem: 467.91 MiB)
16:21:44 computing oink proof... (mem: 467.91 MiB)
16:21:44 [16:21:44.943]
INFO:
ivc-integration:test:avm-integration bb - oink proof constructed (mem: 468.41 MiB)
16:21:44 [16:21:44.956]
INFO:
ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_1 (mem: 468.91 MiB)
16:21:44 Constructing DeciderProvingKey (mem: 468.91 MiB)
16:21:44 [16:21:44.960]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity)
16:21:44 [16:21:44.961]
INFO:
ivc-integration:test:avm-integration bb - (mem: 468.91 MiB)
16:21:44 goblin ecc op : 56/1024 (mem: 468.91 MiB)
16:21:44 busread : 12/6000 (mem: 468.91 MiB)
16:21:44 lookups : 2/15000 (mem: 468.91 MiB)
16:21:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 468.91 MiB)
16:21:44 arithmetic : 4225/56000 (mem: 468.91 MiB)
16:21:44 delta range : 2043/18000 (mem: 468.91 MiB)
16:21:44 elliptic : 2/6000 (mem: 468.91 MiB)
16:21:44 auxiliary : 110/26000 (mem: 468.91 MiB)
16:21:44 poseidon ext : 882/17000 (mem: 468.91 MiB)
16:21:44 poseidon int : 5018/92000 (mem: 468.91 MiB)
16:21:44 overflow : 0/0 (mem: 468.91 MiB)
16:21:44 (mem: 468.91 MiB)
16:21:44 Total structured size: 242025 (mem: 468.91 MiB)
16:21:44 allocating polynomials object in proving key... (mem: 468.91 MiB)
16:21:45 [16:21:45.021]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 687.91 MiB)
16:21:45 [16:21:45.037]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 80 ms. (mem: 703.91 MiB)
16:21:45 [16:21:45.066]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0xb9c177f859c0 (mem: 703.91 MiB)
16:21:45 computing folding proof (mem: 703.91 MiB)
16:21:45 [16:21:45.297]
INFO:
ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 703.91 MiB)
16:21:45 [16:21:45.361]
INFO:
ivc-integration:test:avm-integration bb - perturbator round (mem: 741.91 MiB)
16:21:45 [16:21:45.408]
INFO:
ivc-integration:test:avm-integration bb - combiner quotient round (mem: 773.91 MiB)
16:21:45 [16:21:45.686]
INFO:
ivc-integration:test:avm-integration bb - folded (mem: 773.91 MiB)
16:21:45 constructed folding proof (mem: 773.91 MiB)
16:21:45 [16:21:45.729]
INFO:
ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_2 (mem: 773.91 MiB)
16:21:45 Constructing DeciderProvingKey (mem: 773.91 MiB)
16:21:45 [16:21:45.730]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 773.91 MiB)
16:21:45 goblin ecc op : 392/1024 (mem: 773.91 MiB)
16:21:45 busread : 3/6000 (mem: 773.91 MiB)
16:21:45 lookups : 2/15000 (mem: 773.91 MiB)
16:21:45 [16:21:45.731]
INFO:
ivc-integration:test:avm-integration bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 773.91 MiB)
16:21:45 arithmetic : 6440/56000 (mem: 773.91 MiB)
16:21:45 delta range : 2323/18000 (mem: 773.91 MiB)
16:21:45 elliptic : 2/6000 (mem: 773.91 MiB)
16:21:45 auxiliary : 50/26000 (mem: 773.91 MiB)
16:21:45 poseidon ext : 2042/17000 (mem: 773.91 MiB)
16:21:45 poseidon int : 11630/92000 (mem: 773.91 MiB)
16:21:45 overflow : 0/0 (mem: 773.91 MiB)
16:21:45 (mem: 773.91 MiB)
16:21:45 Total structured size: 242025 (mem: 773.91 MiB)
16:21:45 allocating polynomials object in proving key... (mem: 773.91 MiB)
16:21:45 [16:21:45.789]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 773.91 MiB)
16:21:45 [16:21:45.802]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 73 ms. (mem: 773.91 MiB)
16:21:45 [16:21:45.847]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0xb9c177f66480 (mem: 773.91 MiB)
16:21:45 computing folding proof (mem: 773.91 MiB)
16:21:46 [16:21:46.165]
INFO:
ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 773.91 MiB)
16:21:46 [16:21:46.216]
INFO:
ivc-integration:test:avm-integration bb - perturbator round (mem: 773.91 MiB)
16:21:46 [16:21:46.264]
INFO:
ivc-integration:test:avm-integration bb - combiner quotient round (mem: 782.89 MiB)
16:21:46 [16:21:46.484]
INFO:
ivc-integration:test:avm-integration bb - folded (mem: 782.89 MiB)
16:21:46 constructed folding proof (mem: 782.89 MiB)
16:21:46 [16:21:46.488]
INFO:
ivc-integration:test:avm-integration bb - Largest circuit: 22492 gates. Trace details: (mem: 782.89 MiB)
16:21:46 Minimum required block sizes for structured trace: (mem: 782.89 MiB)
16:21:46 (mem: 782.89 MiB)
16:21:46 prove decider... (mem: 782.89 MiB)
16:21:46 finished decider proving. (mem: 782.89 MiB)
16:21:46 [16:21:46.488]
INFO:
ivc-integration:test:avm-integration bb - ecc_op : 392
16:21:46 busread : 12
16:21:46 lookup : 2
16:21:46 pub_inputs : 36
16:21:46 arithmetic : 6440
16:21:46 delta_range : 2323
16:21:46 elliptic : 2
16:21:46 aux : 110
16:21:46 poseidon2_external : 2042
16:21:46 poseidon2_internal : 11630
16:21:46 overflow : 0
16:21:46 [16:21:46.540]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 782.89 MiB)
16:21:46 [16:21:46.648]
INFO:
ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 782.89 MiB)
16:21:47 [16:21:47.272]
INFO:
ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 782.89 MiB)
16:21:47 [16:21:47.350]
INFO:
ivc-integration:test:avm-integration bb - computed opening proof (mem: 782.89 MiB)
16:21:47 [16:21:47.477]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 782.89 MiB)
16:21:47 [16:21:47.480]
INFO:
ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 782.89 MiB)
16:21:47 [16:21:47.552]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 782.89 MiB)
16:21:47 [16:21:47.578]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 100 ms. (mem: 782.89 MiB)
16:21:48 [16:21:48.325]
INFO:
ivc-integration:test:avm-integration bb - created oink proof (mem: 782.89 MiB)
16:21:48 [16:21:48.431]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 782.89 MiB)
16:21:48 [16:21:48.782]
INFO:
ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 782.89 MiB)
16:21:49 [16:21:49.192]
INFO:
ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 782.89 MiB)
16:21:49 [16:21:49.221]
INFO:
ivc-integration:test:avm-integration bb - computed opening proof (mem: 782.89 MiB)
16:21:49 [16:21:49.352]
INFO:
ivc-integration:test:avm-integration bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 782.89 MiB)
16:21:49 prove eccvm... (mem: 782.89 MiB)
16:21:49 [16:21:49.479]
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: 782.89 MiB)
16:21:49 [16:21:49.488]
INFO:
ivc-integration:test:avm-integration bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 782.89 MiB)
16:21:50 [16:21:50.929]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 782.89 MiB)
16:21:51 [16:21:51.524]
INFO:
ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 782.89 MiB)
16:21:53 [16:21:53.149]
INFO:
ivc-integration:test:avm-integration bb - finished eccvm proving. (mem: 782.89 MiB)
16:21:53 prove translator... (mem: 782.89 MiB)
16:21:54 [16:21:54.159]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 782.89 MiB)
16:21:54 [16:21:54.619]
INFO:
ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 782.89 MiB)
16:21:55 [16:21:55.450]
INFO:
ivc-integration:test:avm-integration bb - computed opening proof
16:21:55 [16:21:55.450]
INFO:
ivc-integration:test:avm-integration bb - (mem: 782.89 MiB)
16:21:55 [16:21:55.451]
INFO:
ivc-integration:test:avm-integration bb - finished translator proving. (mem: 782.89 MiB)
16:21:55 [16:21:55.467]
INFO:
ivc-integration:test:avm-integration bb - Mega verified: 1 (mem: 782.89 MiB)
16:21:55 [16:21:55.519]
INFO:
ivc-integration:test:avm-integration bb - eccvm sumcheck verified?: 1 (mem: 782.89 MiB)
16:21:55 batch opening verified?: 1 (mem: 782.89 MiB)
16:21:55 eccvm consistency check verified?: 1 (mem: 782.89 MiB)
16:21:55 translation masking consistency checked?: 1 (mem: 782.89 MiB)
16:21:55 [16:21:55.537]
INFO:
ivc-integration:test:avm-integration bb - merge verified?: 1 (mem: 782.89 MiB)
16:21:55 eccvm verified?: 1 (mem: 782.89 MiB)
16:21:55 accumulator construction_verified?: 1 (mem: 782.89 MiB)
16:21:55 translation verified?: 1 (mem: 782.89 MiB)
16:21:55 consistency verified?: 1 (mem: 782.89 MiB)
16:21:55 Goblin verified: 1 (mem: 782.89 MiB)
16:21:55 [16:21:55.538]
INFO:
ivc-integration:test:avm-integration bb - writing ClientIVC proof in directory "/tmp/bb-avm-integration-client-ivc-iHofCX" (mem: 782.89 MiB)
16:21:55 writing ClientIVC vk in directory "/tmp/bb-avm-integration-client-ivc-iHofCX" (mem: 782.89 MiB)
16:21:55 num_public_inputs_in_final_circuit: 4 (mem: 782.89 MiB)
16:21:55 BN254 commitment key size: 262144 (mem: 782.89 MiB)
16:21:55 [16:21:55.539]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 782.89 MiB)
16:21:55 [16:21:55.541]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 782.89 MiB)
16:21:55 goblin ecc op : 4/1024 (mem: 782.89 MiB)
16:21:55 [16:21:55.541]
INFO:
ivc-integration:test:avm-integration bb - busread : 3/6000 (mem: 782.89 MiB)
16:21:55 lookups : 2/15000 (mem: 782.89 MiB)
16:21:55 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 782.89 MiB)
16:21:55 arithmetic : 1773/56000 (mem: 782.89 MiB)
16:21:55 delta range : 1754/18000 (mem: 782.89 MiB)
16:21:55 elliptic : 2/6000 (mem: 782.89 MiB)
16:21:55 auxiliary : 26/26000 (mem: 782.89 MiB)
16:21:55 poseidon ext : 2/17000 (mem: 782.89 MiB)
16:21:55 poseidon int : 2/92000 (mem: 782.89 MiB)
16:21:55 overflow : 0/0 (mem: 782.89 MiB)
16:21:55 (mem: 782.89 MiB)
16:21:55 Total structured size: 242025 (mem: 782.89 MiB)
16:21:55 allocating polynomials object in proving key... (mem: 782.89 MiB)
16:21:55 [16:21:55.562]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 782.89 MiB)
16:21:55 [16:21:55.566]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 26 ms. (mem: 782.89 MiB)
16:21:55 [16:21:55.574]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 782.89 MiB)
16:21:56 [16:21:56.061]
INFO:
ivc-integration:test:avm-integration bb - computing oink proof... (mem: 782.89 MiB)
16:21:56 [16:21:56.235]
INFO:
ivc-integration:test:avm-integration bb - oink proof constructed (mem: 782.89 MiB)
16:21:56 [16:21:56.252]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 782.89 MiB)
16:21:56 [16:21:56.254]
INFO:
ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 782.89 MiB)
16:21:56 goblin ecc op : 56/1024 (mem: 782.89 MiB)
16:21:56 [16:21:56.255]
INFO:
ivc-integration:test:avm-integration bb - busread : 3/6000 (mem: 782.89 MiB)
16:21:56 lookups : 2/15000 (mem: 782.89 MiB)
16:21:56 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 782.89 MiB)
16:21:56 arithmetic : 4072/56000 (mem: 782.89 MiB)
16:21:56 delta range : 2030/18000 (mem: 782.89 MiB)
16:21:56 elliptic : 2/6000 (mem: 782.89 MiB)
16:21:56 auxiliary : 50/26000 (mem: 782.89 MiB)
16:21:56 poseidon ext : 882/17000 (mem: 782.89 MiB)
16:21:56 poseidon int : 5018/92000 (mem: 782.89 MiB)
16:21:56 overflow : 0/0 (mem: 782.89 MiB)
16:21:56 (mem: 782.89 MiB)
16:21:56 Total structured size: 242025 (mem: 782.89 MiB)
16:21:56 allocating polynomials object in proving key... (mem: 782.89 MiB)
16:21:56 [16:21:56.307]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 854.81 MiB)
16:21:56 [16:21:56.316]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 67 ms. (mem: 854.81 MiB)
16:21:56 [16:21:56.368]
INFO:
ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 854.81 MiB)
16:21:56 [16:21:56.873]
INFO:
ivc-integration:test:avm-integration bb - computing folding proof (mem: 854.81 MiB)
16:21:57 [16:21:57.095]
INFO:
ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 863.31 MiB)
16:21:57 [16:21:57.139]
INFO:
ivc-integration:test:avm-integration bb - perturbator round (mem: 863.31 MiB)
16:21:57 [16:21:57.175]
INFO:
ivc-integration:test:avm-integration bb - combiner quotient round (mem: 895.31 MiB)
16:21:57 [16:21:57.280]
INFO:
ivc-integration:test:avm-integration bb - folded
16:21:57 [16:21:57.281]
INFO:
ivc-integration:test:avm-integration bb - (mem: 895.31 MiB)
16:21:57 constructed folding proof (mem: 895.31 MiB)
16:21:57 [16:21:57.287]
INFO:
ivc-integration:test:avm-integration bb - Largest circuit: 12059 gates. Trace details: (mem: 895.31 MiB)
16:21:57 Minimum required block sizes for structured trace: (mem: 895.31 MiB)
16:21:57 (mem: 895.31 MiB)
16:21:57 prove decider... (mem: 895.31 MiB)
16:21:57 finished decider proving. (mem: 895.31 MiB)
16:21:57 [16:21:57.288]
INFO:
ivc-integration:test:avm-integration bb - ecc_op : 56
16:21:57 busread : 3
16:21:57 lookup : 2
16:21:57 pub_inputs : 36
16:21:57 arithmetic : 4072
16:21:57 delta_range : 2030
16:21:57 elliptic : 2
16:21:57 aux : 50
16:21:57 poseidon2_external : 882
16:21:57 poseidon2_internal : 5018
16:21:57 overflow : 0
16:21:57 [16:21:57.371]
INFO:
ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 895.31 MiB)
16:21:57 [16:21:57.468]
INFO:
ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 895.31 MiB)
16:21:57 [16:21:57.799]
INFO:
ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 895.31 MiB)
16:21:57 [16:21:57.840]
INFO:
ivc-integration:test:avm-integration bb - computed opening proof (mem: 895.31 MiB)
16:21:57 [16:21:57.905]
INFO:
ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 895.31 MiB)
16:21:57 [16:21:57.908]
INFO:
ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 895.31 MiB)
16:21:57 [16:21:57.929]
INFO:
ivc-integration:test:avm-integration bb - populating trace... (mem: 895.31 MiB)
16:21:57 [16:21:57.947]
INFO:
ivc-integration:test:avm-integration bb - time to construct proving key: 41 ms. (mem: 895.31 MiB)
16:21:58 [16:21:58.179]
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-iHofCX/proof -k /tmp/bb-avm-integration-client-ivc-iHofCX/vk -v
16:21:58 [16:21:58.193]
INFO:
ivc-integration:test:avm-integration bb command: verify (mem: 198.21 MiB)
16:21:58 Scheme is: client_ivc, num threads: 64 (mem: 198.21 MiB)
16:21:58 --proof_path: /tmp/bb-avm-integration-client-ivc-iHofCX/proof (mem: 198.21 MiB)
16:21:58 --vk_path: /tmp/bb-avm-integration-client-ivc-iHofCX/vk (mem: 198.21 MiB)
16:21:58 --verbose: true (mem: 198.21 MiB)
16:21:58 --scheme: client_ivc (mem: 198.21 MiB)
16:21:58 [16:21:58.216]
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: 198.21 MiB)
16:21:58 [16:21:58.231]
INFO:
ivc-integration:test:avm-integration Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 198.21 MiB)
16:21:58 [16:21:58.248]
INFO:
ivc-integration:test:avm-integration using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 198.21 MiB)
16:21:58 [16:21:58.248]
INFO:
ivc-integration:test:avm-integration Initialized BN254 CRS from memory with num points = 513 (mem: 198.21 MiB)
16:21:58 [16:21:58.249]
INFO:
ivc-integration:test:avm-integration Mega verified: 1 (mem: 198.21 MiB)
16:21:58 [16:21:58.297]
INFO:
ivc-integration:test:avm-integration eccvm sumcheck verified?: 1 (mem: 198.21 MiB)
16:21:58 batch opening verified?: 1 (mem: 198.21 MiB)
16:21:58 eccvm consistency check verified?: 1 (mem: 198.21 MiB)
16:21:58 translation masking consistency checked?: 1 (mem: 198.21 MiB)
16:21:58 [16:21:58.315]
INFO:
ivc-integration:test:avm-integration merge verified?: 1 (mem: 198.21 MiB)
16:21:58 eccvm verified?: 1 (mem: 198.21 MiB)
16:21:58 accumulator construction_verified?: 1 (mem: 198.21 MiB)
16:21:58 translation verified?: 1 (mem: 198.21 MiB)
16:21:58 consistency verified?: 1 (mem: 198.21 MiB)
16:21:58 [16:21:58.316]
INFO:
ivc-integration:test:avm-integration Goblin verified: 1 (mem: 198.21 MiB)
16:21:58 [16:21:58.318]
INFO:
ivc-integration:test:avm-integration verified: 1 (mem: 198.21 MiB)
16:21:58 [16:21:58.335]
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-iHofCX -k /tmp/bb-avm-integration-client-ivc-iHofCX/vk -v
16:21:58 [16:21:58.349]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - bb command: prove_tube (mem: 198.21 MiB)
16:21:58 [16:21:58.350]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Scheme is: ultra_honk, num threads: 64 (mem: 198.21 MiB)
16:21:58 --verbose: true (mem: 198.21 MiB)
16:21:58 --vk_path: /tmp/bb-avm-integration-client-ivc-iHofCX/vk (mem: 198.21 MiB)
16:21:58 --output_path: /tmp/bb-avm-integration-client-ivc-iHofCX (mem: 198.21 MiB)
16:21:58 [16:21:58.373]
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: 198.21 MiB)
16:21:58 [16:21:58.387]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 198.21 MiB)
16:22:02 [16:22:02.130]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Constructing DeciderProvingKey (mem: 1514.62 MiB)
16:22:02 [16:22:02.729]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - allocating polynomials object in proving key... (mem: 1644.67 MiB)
16:22:02 [16:22:02.954]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - populating trace... (mem: 5159.47 MiB)
16:22:03 [16:22:03.778]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - time to construct proving key: 1647 ms. (mem: 5680.47 MiB)
16:22:03 [16:22:03.839]
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: 7264.39 MiB)
16:22:04 [16:22:04.754]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized BN254 CRS from memory with num points = 4194817 (mem: 8032.55 MiB)
16:22:07 [16:22:07.084]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - created oink proof (mem: 8032.55 MiB)
16:22:07 [16:22:07.691]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - starting sumcheck rounds... (mem: 8287.21 MiB)
16:22:08 [16:22:08.452]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - completed 22 rounds of sumcheck (mem: 8287.71 MiB)
16:22:11 [16:22:11.190]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - executed multivariate-to-univariate reduction (mem: 8813.68 MiB)
16:22:11 [16:22:11.824]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - computed opening proof (mem: 8813.68 MiB)
16:22:16 [16:22:16.126]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - verificaton key length in fields:113 (mem: 8813.68 MiB)
16:22:16 [16:22:16.127]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Native verification of the tube_proof (mem: 8813.68 MiB)
16:22:16 [16:22:16.165]
INFO:
ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Tube proof verification: 1 (mem: 8813.68 MiB)
16:22:16 [16:22:16.933]
INFO:
ivc-integration:test:avm-integration Successfully verified proof from key in 115.25892000000022 ms
16:22:16 [16:22:16.940]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-1IBmU3/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
16:22:33 [16:22:33.352]
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-8iyzi5 -b /tmp/bb-avm-integration-8iyzi5/MockRollupBasePublicCircuit-bytecode -w /tmp/bb-avm-integration-8iyzi5/witness.gz -v --init_kzg_accumulator
16:22:33 [16:22:33.366]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - bb command: prove (mem: 207.25 MiB)
16:22:33 Scheme is: ultra_honk, num threads: 64 (mem: 207.25 MiB)
16:22:33 --scheme: ultra_honk (mem: 207.25 MiB)
16:22:33 --bytecode_path: /tmp/bb-avm-integration-8iyzi5/MockRollupBasePublicCircuit-bytecode (mem: 207.25 MiB)
16:22:33 --witness_path: /tmp/bb-avm-integration-8iyzi5/witness.gz (mem: 207.25 MiB)
16:22:33 --output_path: /tmp/bb-avm-integration-8iyzi5 (mem: 207.25 MiB)
16:22:33 --verbose: true (mem: 207.25 MiB)
16:22:33 --oracle_hash: poseidon2 (mem: 207.25 MiB)
16:22:33 --output_format: bytes_and_fields (mem: 207.25 MiB)
16:22:33 --write_vk: true (mem: 207.25 MiB)
16:22:33 --init_kzg_accumulator: true (mem: 207.25 MiB)
16:22:33 --ipa_accumulation: true (mem: 207.25 MiB)
16:22:35 [16:22:35.242]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - verified sumcheck: 1 (mem: 1153.03 MiB)
16:22:35 [16:22:35.244]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 0 (mem: 1154.03 MiB)
16:22:35 [16:22:35.245]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 1 (mem: 1154.53 MiB)
16:22:35 [16:22:35.247]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 2 (mem: 1155.03 MiB)
16:22:35 [16:22:35.248]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 3 (mem: 1155.53 MiB)
16:22:35 [16:22:35.418]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 1187.53 MiB)
16:22:35 [16:22:35.419]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key...
16:22:35 [16:22:35.420]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - (mem:
16:22:35 [16:22:35.420]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - 1189.03
16:22:35 [16:22:35.420]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - MiB)
16:22:35 [16:22:35.421]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out -
16:22:35 [16:22:35.586]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 2968.53 MiB)
16:22:35 [16:22:35.901]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 485 ms. (mem: 3041.53 MiB)
16:22:35 [16:22:35.932]
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: 3412.41 MiB)
16:22:36 [16:22:36.162]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 1049089 (mem: 3604.59 MiB)
16:22:37 [16:22:37.326]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 3627.11 MiB)
16:22:37 [16:22:37.486]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4084.94 MiB)
16:22:37 [16:22:37.678]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 20 rounds of sumcheck (mem: 4084.94 MiB)
16:22:38 [16:22:38.557]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 4084.94 MiB)
16:22:38 [16:22:38.758]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4084.94 MiB)
16:22:38 [16:22:38.794]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing a Goblin proof with num ultra ops = 4748 (mem: 4084.94 MiB)
16:22:38 prove eccvm... (mem: 4084.94 MiB)
16:22:38 [16:22:38.942]
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: 4084.94 MiB)
16:22:38 [16:22:38.952]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 4084.94 MiB)
16:22:39 [16:22:39.686]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4084.94 MiB)
16:22:40 [16:22:40.001]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 16 rounds of sumcheck (mem: 4084.94 MiB)
16:22:41 [16:22:41.067]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - finished eccvm proving. (mem: 4084.94 MiB)
16:22:41 prove translator... (mem: 4084.94 MiB)
16:22:41 [16:22:41.984]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4084.94 MiB)
16:22:42 [16:22:42.412]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 18 rounds of sumcheck (mem: 4084.94 MiB)
16:22:42 [16:22:42.905]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4084.94 MiB)
16:22:42 finished translator proving. (mem: 4084.94 MiB)
16:22:49 [16:22:49.385]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created circuit (mem: 4084.94 MiB)
16:22:49 [16:22:49.386]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 4084.94 MiB)
16:22:50 [16:22:50.497]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 4084.94 MiB)
16:22:50 [16:22:50.701]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 6680.79 MiB)
16:22:51 [16:22:51.846]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 2460 ms. (mem: 6919.79 MiB)
16:22:52 [16:22:52.078]
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: 6919.79 MiB)
16:22:52 [16:22:52.985]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 4194817 (mem: 7486.46 MiB)
16:22:55 [16:22:55.162]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 7486.46 MiB)
16:22:55 [16:22:55.792]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds...
16:22:55 [16:22:55.792]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - (mem:
16:22:55 [16:22:55.792]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - 7561.60
16:22:55 [16:22:55.793]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - MiB)
16:22:55 [16:22:55.793]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out -
16:22:56 [16:22:56.513]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 22 rounds of sumcheck (mem: 7561.60 MiB)
16:23:00 [16:23:00.102]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 8044.33 MiB)
16:23:00 [16:23:00.890]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 8044.33 MiB)
16:23:06 [16:23:06.414]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Public inputs saved to "/tmp/bb-avm-integration-8iyzi5/public_inputs" (mem: 8044.33 MiB)
16:23:06 [16:23:06.414]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Public inputs fields saved to "/tmp/bb-avm-integration-8iyzi5/public_inputs_fields.json" (mem: 8044.33 MiB)
16:23:06 Proof saved to "/tmp/bb-avm-integration-8iyzi5/proof" (mem: 8044.33 MiB)
16:23:06 [16:23:06.415]
INFO:
ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Proof fields saved to "/tmp/bb-avm-integration-8iyzi5/proof_fields.json" (mem: 8044.33 MiB)
16:23:06 VK saved to "/tmp/bb-avm-integration-8iyzi5/vk" (mem: 8044.33 MiB)
16:23:06 VK fields saved to "/tmp/bb-avm-integration-8iyzi5/vk_fields.json" (mem: 8044.33 MiB)
16:23:06 [16:23:06.738]
INFO:
ivc-integration:test:avm-integration Successfully verified proof from key in 144.74778000000515 ms
16:23:06
PASS src/avm_integration.test.ts (
84.714 s)
16:23:06 AVM Integration
16:23:06
✓ Should generate and verify an ultra honk proof from an AVM verification (49804 ms)
16:23:06
16:23:06
Test Suites: 1 passed, 1 total
16:23:06
Tests: 1 passed, 1 total
16:23:06
Snapshots: 0 total
16:23:06
Time: 84.772 s
16:23:06
Ran all test suites matching /ivc-integration\/src\/avm_integration.test.ts/i
.
16:23:06
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?