Parent Log:
http://ci.aztec-labs.com/06ecf79c93a375ea
Command: 9d3d5727e7b6685d FLOW=prove_then_verify_tube barretenberg/acir_tests/scripts/run_test.sh 6_array
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/88a99fb5fb938035dfeff0d9ed0cfd81b9eb2c5a
Env: REF_NAME=gh-readonly-queue/next/pr-15146-91b55c58278a7d091339ac513d633fa070d5276b CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Thu Jun 19 16:09:49 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15146_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_e7cc86e02dbb4512_next
16:09:50 + mkdir -p ./proofs
16:09:50 + CRS_PATH=/home/aztec-dev/.bb-crs
16:09:50 + realpath /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb
16:09:50 + BIN=/home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb
16:09:50 + [ -n ]
16:09:50 + mktemp -d
16:09:50 + outdir=/tmp/tmp.nzUKGJiHaX
16:09:50 + trap rm -rf /tmp/tmp.nzUKGJiHaX EXIT
16:09:50 + /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb OLD_API write_arbitrary_valid_client_ivc_proof_and_vk_to_file -c /home/aztec-dev/.bb-crs -v -o /tmp/tmp.nzUKGJiHaX
16:09:50 bb command: OLD_API (mem: 7.00 MiB)
16:09:50 bb command: write_arbitrary_valid_client_ivc_proof_and_vk_to_file (mem: 8.00 MiB)
16:09:50 Scheme is: ultra_honk, num threads: 8 (mem: 8.00 MiB)
16:09:50 --verbose: true (mem: 8.00 MiB)
16:09:50 --crs_path: /home/aztec-dev/.bb-crs (mem: 8.00 MiB)
16:09:50 --output_path: /tmp/tmp.nzUKGJiHaX (mem: 8.00 MiB)
16:09:50 BN254 commitment key size: 262144 (mem: 8.00 MiB)
16:09:50 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 130.00 MiB)
16:09:50 Initialized BN254 CRS from memory with num points = 262209 (mem: 178.25 MiB)
16:09:51 Constructing DeciderProvingKey (mem: 402.25 MiB)
16:09:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 450.25 MiB)
16:09:51 goblin ecc op : 10/1024 (mem: 450.25 MiB)
16:09:51 busread : 3/6000 (mem: 450.25 MiB)
16:09:51 lookups : 54285/15000 (mem: 450.25 MiB)
16:09:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 450.25 MiB)
16:09:51 arithmetic : 147423/56000 (mem: 450.25 MiB)
16:09:51 delta range : 65649/18000 (mem: 450.25 MiB)
16:09:51 elliptic : 4958/6000 (mem: 450.25 MiB)
16:09:51 auxiliary : 94242/26000 (mem: 450.25 MiB)
16:09:51 poseidon ext : 2/17000 (mem: 450.25 MiB)
16:09:51 poseidon int : 2/92000 (mem: 450.25 MiB)
16:09:51 overflow : 0/0 (mem: 450.25 MiB)
16:09:51 (mem: 450.25 MiB)
16:09:51 Total structured size: 242025 (mem: 450.25 MiB)
16:09:51 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 566.25 MiB)
16:09:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 566.25 MiB)
16:09:51 goblin ecc op : 10/1024 (mem: 566.25 MiB)
16:09:51 busread : 3/6000 (mem: 566.25 MiB)
16:09:51 lookups : 15000/15000 (mem: 566.25 MiB)
16:09:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 566.25 MiB)
16:09:51 arithmetic : 56000/56000 (mem: 566.25 MiB)
16:09:51 delta range : 18000/18000 (mem: 566.25 MiB)
16:09:51 elliptic : 4958/6000 (mem: 566.25 MiB)
16:09:51 auxiliary : 26000/26000 (mem: 566.25 MiB)
16:09:51 poseidon ext : 2/17000 (mem: 566.25 MiB)
16:09:51 poseidon int : 2/92000 (mem: 566.25 MiB)
16:09:51 overflow : 246603/246603 (mem: 566.25 MiB)
16:09:51 (mem: 566.25 MiB)
16:09:51 Total structured size: 488628 (mem: 566.25 MiB)
16:09:51 allocating polynomials object in proving key... (mem: 566.25 MiB)
16:09:51 populating trace... (mem: 1403.25 MiB)
16:09:52 time to construct proving key: 1020 ms. (mem: 1465.25 MiB)
16:09:52 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1550.61 MiB)
16:09:52 Initialized BN254 CRS from memory with num points = 524353 (mem: 1647.24 MiB)
16:09:52 getting honk vk... precomputed?: 0 (mem: 1647.24 MiB)
16:09:55 computing oink proof... (mem: 1647.24 MiB)
16:09:55 vkey hash in Oink prover: 0x00000000000000000000000000000000665637a3b95644e8fef8eaed9140d68a (mem: 1647.24 MiB)
16:09:59 oink proof constructed (mem: 1647.24 MiB)
16:09:59 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000665637a3b95644e8fef8eaed9140d68a (mem: 1647.24 MiB)
16:09:59 Constructing DeciderProvingKey (mem: 1647.24 MiB)
16:09:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 1647.24 MiB)
16:09:59 goblin ecc op : 56/1024 (mem: 1647.24 MiB)
16:09:59 busread : 3/6000 (mem: 1647.24 MiB)
16:09:59 lookups : 13540/15000 (mem: 1647.24 MiB)
16:09:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1647.24 MiB)
16:09:59 arithmetic : 29754/56000 (mem: 1647.24 MiB)
16:09:59 delta range : 10259/18000 (mem: 1647.24 MiB)
16:09:59 elliptic : 7849/6000 (mem: 1647.24 MiB)
16:09:59 auxiliary : 11827/26000 (mem: 1647.24 MiB)
16:09:59 poseidon ext : 1322/17000 (mem: 1647.24 MiB)
16:09:59 poseidon int : 7526/92000 (mem: 1647.24 MiB)
16:09:59 overflow : 0/0 (mem: 1647.24 MiB)
16:09:59 (mem: 1647.24 MiB)
16:09:59 Total structured size: 242025 (mem: 1647.24 MiB)
16:09:59 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1647.24 MiB)
16:09:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 1647.24 MiB)
16:09:59 goblin ecc op : 56/1024 (mem: 1647.24 MiB)
16:09:59 busread : 3/6000 (mem: 1647.24 MiB)
16:09:59 lookups : 13540/15000 (mem: 1647.24 MiB)
16:09:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1647.24 MiB)
16:09:59 arithmetic : 29754/56000 (mem: 1647.24 MiB)
16:09:59 delta range : 10259/18000 (mem: 1647.24 MiB)
16:09:59 elliptic : 6000/6000 (mem: 1647.24 MiB)
16:09:59 auxiliary : 11827/26000 (mem: 1647.24 MiB)
16:09:59 poseidon ext : 1322/17000 (mem: 1647.24 MiB)
16:09:59 poseidon int : 7526/92000 (mem: 1647.24 MiB)
16:09:59 overflow : 1850/1850 (mem: 1647.24 MiB)
16:09:59 (mem: 1647.24 MiB)
16:09:59 Total structured size: 243875 (mem: 1647.24 MiB)
16:09:59 allocating polynomials object in proving key... (mem: 1647.24 MiB)
16:09:59 populating trace... (mem: 1680.69 MiB)
16:10:00 time to construct proving key: 598 ms. (mem: 1684.69 MiB)
16:10:00 getting honk vk... precomputed?: 0 (mem: 1684.69 MiB)
16:10:02 computing folding proof (mem: 1684.69 MiB)
16:10:02 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1684.69 MiB)
16:10:02 vkey hash in Oink prover: 0x000000000000000000000000000000006b59bcad9e084b131057fbb05522c33a (mem: 1684.69 MiB)
16:10:03 oink prover on each incomplete key (mem: 1703.69 MiB)
16:10:04 perturbator round (mem: 1782.69 MiB)
16:10:05 combiner quotient round (mem: 1782.69 MiB)
16:10:06 folded (mem: 1782.69 MiB)
16:10:06 constructed folding proof (mem: 1782.69 MiB)
16:10:06 Largest circuit: 366564 gates. Trace details: (mem: 1782.69 MiB)
16:10:06 Minimum required block sizes for structured trace: (mem: 1782.69 MiB)
16:10:06 ecc_op : 56
16:10:06 busread : 3
16:10:06 lookup : 15000
16:10:06 pub_inputs : 32
16:10:06 arithmetic : 56000
16:10:06 delta_range : 18000
16:10:06 elliptic : 6000
16:10:06 aux : 26000
16:10:06 poseidon2_external : 1322
16:10:06 poseidon2_internal : 7526
16:10:06 overflow : 246603
16:10:06 (mem: 1782.69 MiB)
16:10:06 prove decider... (mem: 1782.69 MiB)
16:10:06 starting sumcheck rounds... (mem: 1782.69 MiB)
16:10:07 completed 19 rounds of sumcheck (mem: 1782.69 MiB)
16:10:10 executed multivariate-to-univariate reduction (mem: 1782.69 MiB)
16:10:10 computed opening proof (mem: 1782.69 MiB)
16:10:10 finished decider proving. (mem: 1782.69 MiB)
16:10:10 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006b59bcad9e084b131057fbb05522c33a (mem: 1782.69 MiB)
16:10:10 Constructing DeciderProvingKey (mem: 1782.69 MiB)
16:10:10 allocating polynomials object in proving key... (mem: 1782.69 MiB)
16:10:10 populating trace... (mem: 1782.69 MiB)
16:10:10 time to construct proving key: 91 ms. (mem: 1782.69 MiB)
16:10:11 vkey hash in Oink prover: 0x0000000000000000000000000000000061fe538b2a66b58bc302f5346f44a46a (mem: 1782.69 MiB)
16:10:12 created oink proof (mem: 1782.69 MiB)
16:10:12 starting sumcheck rounds... (mem: 1782.69 MiB)
16:10:12 completed 16 rounds of sumcheck (mem: 1782.69 MiB)
16:10:13 executed multivariate-to-univariate reduction (mem: 1782.69 MiB)
16:10:13 computed opening proof (mem: 1782.69 MiB)
16:10:13 finished decider proving. (mem: 1782.69 MiB)
16:10:13 Constructing a Goblin proof with num ultra ops = 652 (mem: 1782.69 MiB)
16:10:13 prove eccvm... (mem: 1782.69 MiB)
16:10:13 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1782.69 MiB)
16:10:13 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 1782.69 MiB)
16:10:14 starting sumcheck rounds... (mem: 1782.69 MiB)
16:10:15 completed 16 rounds of sumcheck (mem: 1784.69 MiB)
16:10:18 finished eccvm proving. (mem: 1784.69 MiB)
16:10:18 prove translator... (mem: 1784.69 MiB)
16:10:19 starting sumcheck rounds... (mem: 1793.69 MiB)
16:10:22 completed 18 rounds of sumcheck (mem: 1794.69 MiB)
16:10:23 computed opening proof (mem: 1794.69 MiB)
16:10:23 finished translator proving. (mem: 1794.69 MiB)
16:10:23 writing ClientIVC proof and vk... (mem: 1794.69 MiB)
16:10:24 + /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove_tube -c /home/aztec-dev/.bb-crs -v -k /tmp/tmp.nzUKGJiHaX/vk -o /tmp/tmp.nzUKGJiHaX
16:10:24 bb command: prove_tube (mem: 7.00 MiB)
16:10:24 Scheme is: ultra_honk, num threads: 8 (mem: 8.00 MiB)
16:10:24 --verbose: true (mem: 8.00 MiB)
16:10:24 --crs_path: /home/aztec-dev/.bb-crs (mem: 8.00 MiB)
16:10:24 --vk_path: /tmp/tmp.nzUKGJiHaX/vk (mem: 8.00 MiB)
16:10:24 --output_path: /tmp/tmp.nzUKGJiHaX (mem: 8.00 MiB)
16:10:24 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 44.00 MiB)
16:10:24 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 56.75 MiB)
16:10:24 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000061fe538b2a66b58bc302f5346f44a46a (mem: 61.75 MiB)
16:10:32 Constructing DeciderProvingKey (mem: 1459.32 MiB)
16:10:33 allocating polynomials object in proving key... (mem: 1604.19 MiB)
16:10:33 populating trace... (mem: 5107.32 MiB)
16:10:35 time to construct proving key: 3086 ms. (mem: 5615.32 MiB)
16:10:35 WARNING: computing tube vk in prove_tube, but a precomputed vk should be passed in. (mem: 5615.32 MiB)
16:10:35 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 7199.48 MiB)
16:10:36 Initialized BN254 CRS from memory with num points = 4194369 (mem: 7967.73 MiB)
16:10:47 vkey hash in Oink prover: 0x00000000000000000000000000000000c041a081c358d66fbf02d4086523dd37 (mem: 7967.73 MiB)
16:10:52 created oink proof (mem: 7967.73 MiB)
16:10:56 starting sumcheck rounds... (mem: 9899.74 MiB)
16:11:00 completed 22 rounds of sumcheck (mem: 9899.74 MiB)
16:11:06 executed multivariate-to-univariate reduction (mem: 9899.74 MiB)
16:11:08 computed opening proof (mem: 9899.74 MiB)
16:11:08 finished decider proving. (mem: 9899.74 MiB)
16:11:08 verificaton key length in fields:113 (mem: 9899.74 MiB)
16:11:08 Native verification of the tube_proof (mem: 9899.74 MiB)
16:11:08 vkey hash in Oink verifier: 0x00000000000000000000000000000000c041a081c358d66fbf02d4086523dd37 (mem: 9899.74 MiB)
16:11:08 sumcheck_verified: 1 (mem: 9899.74 MiB)
16:11:08 libra_evals_verified: 1 (mem: 9899.74 MiB)
16:11:08 pairing_check_verified: 1 (mem: 9899.74 MiB)
16:11:08 Tube proof verification: 1 (mem: 9899.74 MiB)
16:11:09 + /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify_tube -c /home/aztec-dev/.bb-crs -v -o /tmp/tmp.nzUKGJiHaX
16:11:09 bb command: verify_tube (mem: 7.00 MiB)
16:11:09 Scheme is: ultra_honk, num threads: 8 (mem: 8.00 MiB)
16:11:09 --verbose: true (mem: 8.00 MiB)
16:11:09 --crs_path: /home/aztec-dev/.bb-crs (mem: 8.00 MiB)
16:11:09 --output_path: /tmp/tmp.nzUKGJiHaX (mem: 8.00 MiB)
16:11:09 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 41.00 MiB)
16:11:09 Initialized Grumpkin prover CRS from memory with num points = 65600 (mem: 54.04 MiB)
16:11:09 vkey hash in Oink verifier: 0x00000000000000000000000000000000c041a081c358d66fbf02d4086523dd37 (mem: 54.04 MiB)
16:11:09 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 68.05 MiB)
16:11:09 Initialized BN254 CRS from memory with num points = 65 (mem: 68.05 MiB)
16:11:09 sumcheck_verified: 1 (mem: 68.05 MiB)
16:11:09 libra_evals_verified: 1 (mem: 68.05 MiB)
16:11:09 pairing_check_verified: 1 (mem: 68.05 MiB)
16:11:09 Proof verified successfully (mem: 68.05 MiB)
16:11:09 + rm -rf /tmp/tmp.nzUKGJiHaX
16:11:09
PASSED (79s)