Parent Log:
http://ci.aztec-labs.com/b7b32e7ba238914c
Command: dab167a35ac54ffe SYS=ultra_honk FLOW=prove_then_verify barretenberg/acir_tests/scripts/run_test.sh double_verify_honk_proof
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/f00eacfba6ea2df3bf79b8555d747c7a0ad38241
Env: REF_NAME=release-please--branches--next CURRENT_VERSION=0.88.0 CI_FULL=0
Date: Fri Jun 20 16:58:09 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=release-please--branches--next_amd64
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_6ef6274082face95_next
16:58:09 bb command: write_vk (mem: 8.00 MiB)
16:58:09 Scheme is: ultra_honk, num threads: 8 (mem: 8.00 MiB)
16:58:09 --scheme: ultra_honk (mem: 8.00 MiB)
16:58:09 --bytecode_path: ./target/program.json (mem: 8.00 MiB)
16:58:09 --output_path: /tmp/tmp.cYC8jAuwki (mem: 8.00 MiB)
16:58:09 --verbose: true (mem: 8.00 MiB)
16:58:09 --crs_path: /home/aztec-dev/.bb-crs (mem: 8.00 MiB)
16:58:09 --oracle_hash: poseidon2 (mem: 8.00 MiB)
16:58:10 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b0250941c0ba85cf2057b347d83c689a (mem: 14.00 MiB)
16:58:12 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b0250941c0ba85cf2057b347d83c689a (mem: 386.66 MiB)
16:58:14 created circuit (mem: 749.97 MiB)
16:58:14 Constructing DeciderProvingKey (mem: 749.97 MiB)
16:58:15 allocating polynomials object in proving key... (mem: 928.12 MiB)
16:58:15 populating trace... (mem: 2697.12 MiB)
16:58:16 time to construct proving key: 1962 ms. (mem: 2987.12 MiB)
16:58:16 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 3513.17 MiB)
16:58:17 Initialized BN254 CRS from memory with num points = 2097217 (mem: 3952.17 MiB)
16:58:23 VK saved to "/tmp/tmp.cYC8jAuwki/vk" (mem: 3952.17 MiB)
16:58:23 bb command: prove (mem: 8.00 MiB)
16:58:23 Scheme is: ultra_honk, num threads: 8 (mem: 9.00 MiB)
16:58:23 --scheme: ultra_honk (mem: 9.00 MiB)
16:58:23 --bytecode_path: ./target/program.json (mem: 9.00 MiB)
16:58:23 --output_path: /tmp/tmp.cYC8jAuwki (mem: 9.00 MiB)
16:58:23 --vk_path: /tmp/tmp.cYC8jAuwki/vk (mem: 9.00 MiB)
16:58:23 --verbose: true (mem: 9.00 MiB)
16:58:23 --crs_path: /home/aztec-dev/.bb-crs (mem: 9.00 MiB)
16:58:23 --oracle_hash: poseidon2 (mem: 9.00 MiB)
16:58:23 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d13d963a9778e4015fa814270e0784ad (mem: 15.00 MiB)
16:58:25 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d13d963a9778e4015fa814270e0784ad (mem: 398.16 MiB)
16:58:27 created circuit (mem: 770.57 MiB)
16:58:27 Constructing DeciderProvingKey (mem: 770.57 MiB)
16:58:27 allocating polynomials object in proving key... (mem: 952.27 MiB)
16:58:27 populating trace... (mem: 2719.27 MiB)
16:58:28 time to construct proving key: 1375 ms. (mem: 3001.27 MiB)
16:58:28 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 3526.60 MiB)
16:58:29 Initialized BN254 CRS from memory with num points = 2097217 (mem: 3846.60 MiB)
16:58:29 vkey hash in Oink prover: 0x00000000000000000000000000000000c40e6b072911d923a95809c4a6b749e7 (mem: 3846.60 MiB)
16:58:32 created oink proof (mem: 3884.60 MiB)
16:58:32 starting sumcheck rounds... (mem: 3884.60 MiB)
16:58:36 completed 21 rounds of sumcheck (mem: 3884.60 MiB)
16:58:43 executed multivariate-to-univariate reduction (mem: 4070.10 MiB)
16:58:44 computed opening proof (mem: 4070.10 MiB)
16:58:44 finished decider proving. (mem: 4070.10 MiB)
16:58:45 Public inputs saved to "/tmp/tmp.cYC8jAuwki/public_inputs" (mem: 4070.10 MiB)
16:58:45 Proof saved to "/tmp/tmp.cYC8jAuwki/proof" (mem: 4070.10 MiB)
16:58:45 bb command: verify (mem: 9.00 MiB)
16:58:45 Scheme is: ultra_honk, num threads: 8 (mem: 9.00 MiB)
16:58:45 --public_inputs_path: /tmp/tmp.cYC8jAuwki/public_inputs (mem: 9.00 MiB)
16:58:45 --proof_path: /tmp/tmp.cYC8jAuwki/proof (mem: 9.00 MiB)
16:58:45 --vk_path: /tmp/tmp.cYC8jAuwki/vk (mem: 9.00 MiB)
16:58:45 --verbose: true (mem: 9.00 MiB)
16:58:45 --scheme: ultra_honk (mem: 9.00 MiB)
16:58:45 --crs_path: /home/aztec-dev/.bb-crs (mem: 9.00 MiB)
16:58:45 --oracle_hash: poseidon2 (mem: 9.00 MiB)
16:58:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000c40e6b072911d923a95809c4a6b749e7 (mem: 11.00 MiB)
16:58:45 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 13.00 MiB)
16:58:45 Initialized BN254 CRS from memory with num points = 65 (mem: 13.00 MiB)
16:58:45 sumcheck_verified: 1 (mem: 13.00 MiB)
16:58:45 libra_evals_verified: 1 (mem: 13.00 MiB)
16:58:45 pairing_check_verified: 1 (mem: 13.00 MiB)
16:58:45 Proof verified successfully (mem: 13.00 MiB)
16:58:45 verified: 1 (mem: 13.00 MiB)
16:58:45
PASSED (36s)