Parent Log:
http://ci.aztec-labs.com/9f4a095984acb251
Command: a3e67ee5fdb15819:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/wasm_client_ivc_integration.test.ts
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/b70544b6d50e3ecb6598361f1990bd51745c7b55
Env: REF_NAME=gh-readonly-queue/next/pr-15046-96a426245731b3f48fcb6dd5e2a683c858706602 CURRENT_VERSION=0.87.6 CI_FULL=0
Date: Mon Jun 16 22:36:32 UTC 2025
System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15046_arm64_a1-fast
Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
22:36:35 [22:36:35.621]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
22:36:35 [22:36:35.627]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-aDckCQ/ivc-inputs.msgpack
22:36:35 [22:36:35.629]
INFO:
ivc-integration:test:wasm bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-client-ivc-integration-aDckCQ --ivc_inputs_path /tmp/bb-client-ivc-integration-aDckCQ/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
22:36:35 [22:36:35.642]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 169.36 MiB)
22:36:35 Scheme is: client_ivc, num threads: 64 (mem: 169.36 MiB)
22:36:35 --scheme: client_ivc (mem: 169.36 MiB)
22:36:35 --output_path: /tmp/bb-client-ivc-integration-aDckCQ (mem: 169.36 MiB)
22:36:35 --ivc_inputs_path: /tmp/bb-client-ivc-integration-aDckCQ/ivc-inputs.msgpack (mem: 169.36 MiB)
22:36:35 --verbose: true (mem: 169.36 MiB)
22:36:35 --write_vk: true (mem: 169.36 MiB)
22:36:35 [22:36:35.643]
INFO:
ivc-integration:test:wasm bb - BN254 commitment key size: 262144 (mem: 169.36 MiB)
22:36:35 [22:36:35.779]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12070191 bytes
22:36:35 [22:36:35.788]
INFO:
ivc-integration:test:wasm bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 195.50 MiB)
22:36:35 Initialized BN254 CRS from memory with num points = 262657 (mem: 244.00 MiB)
22:36:35 ClientIVC: accumulating unknown_0 (mem: 244.00 MiB)
22:36:35 Constructing DeciderProvingKey (mem: 244.00 MiB)
22:36:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 244.00 MiB)
22:36:35 goblin ecc op : 4/1024 (mem: 244.00 MiB)
22:36:35 busread : 7/6000 (mem: 244.00 MiB)
22:36:35 lookups : 2/15000 (mem: 244.00 MiB)
22:36:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 244.00 MiB)
22:36:35 arithmetic : 1760/56000 (mem: 244.00 MiB)
22:36:35 delta range : 1754/18000 (mem: 244.00 MiB)
22:36:35 elliptic : 2/6000 (mem: 244.00 MiB)
22:36:35 auxiliary : 26/26000 (mem: 244.00 MiB)
22:36:35 poseidon ext : 2/17000 (mem: 244.00 MiB)
22:36:35 poseidon int : 2/92000 (mem: 244.00 MiB)
22:36:35 overflow : 0/0 (mem: 244.00 MiB)
22:36:35 (mem: 244.00 MiB)
22:36:35 Total structured size: 242025 (mem: 244.00 MiB)
22:36:35 allocating polynomials object in proving key... (mem: 244.00 MiB)
22:36:35 [22:36:35.803]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
22:36:35 [22:36:35.816]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 454.10 MiB)
22:36:35 [22:36:35.821]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 86 ms. (mem: 468.60 MiB)
22:36:35 [22:36:35.839]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0xb982dbac5100 (mem: 468.60 MiB)
22:36:35 [22:36:35.839]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 468.60 MiB)
22:36:35 [22:36:35.840]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 468.60 MiB)
22:36:35 [22:36:35.948]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 477.10 MiB)
22:36:35 [22:36:35.952]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 477.10 MiB)
22:36:35 [22:36:35.960]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 477.60 MiB)
22:36:35 Constructing DeciderProvingKey (mem: 477.60 MiB)
22:36:35 [22:36:35.962]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 477.60 MiB)
22:36:35 goblin ecc op : 56/1024 (mem: 477.60 MiB)
22:36:35 busread : 12/6000 (mem: 477.60 MiB)
22:36:35 [22:36:35.962]
INFO:
ivc-integration:test:wasm bb - lookups : 2/15000 (mem: 477.60 MiB)
22:36:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 477.60 MiB)
22:36:35 arithmetic : 4625/56000 (mem: 477.60 MiB)
22:36:35 delta range : 2054/18000 (mem: 477.60 MiB)
22:36:35 elliptic : 2/6000 (mem: 477.60 MiB)
22:36:35 auxiliary : 110/26000 (mem: 477.60 MiB)
22:36:35 poseidon ext : 1302/17000 (mem: 477.60 MiB)
22:36:35 poseidon int : 7412/92000 (mem: 477.60 MiB)
22:36:35 overflow : 0/0 (mem: 477.60 MiB)
22:36:35 (mem: 477.60 MiB)
22:36:35 Total structured size: 242025 (mem: 477.60 MiB)
22:36:35 allocating polynomials object in proving key... (mem: 477.60 MiB)
22:36:36 [22:36:36.010]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 689.10 MiB)
22:36:36 [22:36:36.029]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
22:36:36 [22:36:36.030]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 70 ms. (mem: 705.10 MiB)
22:36:36 [22:36:36.043]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
22:36:36 [22:36:36.094]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0xb982dbabddc0 (mem: 705.10 MiB)
22:36:36 computing folding proof (mem: 705.10 MiB)
22:36:36 [22:36:36.096]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 705.10 MiB)
22:36:36 [22:36:36.417]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 705.60 MiB)
22:36:36 [22:36:36.466]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 743.10 MiB)
22:36:36 [22:36:36.504]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 776.10 MiB)
22:36:36 [22:36:36.663]
INFO:
ivc-integration:test:wasm bb - folded (mem: 776.10 MiB)
22:36:36 constructed folding proof (mem: 776.10 MiB)
22:36:36 [22:36:36.668]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 776.10 MiB)
22:36:36 [22:36:36.700]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
22:36:36 [22:36:36.700]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
22:36:36 [22:36:36.908]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 776.10 MiB)
22:36:36 Constructing DeciderProvingKey (mem: 776.10 MiB)
22:36:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 776.10 MiB)
22:36:36 goblin ecc op : 392/1024 (mem: 776.10 MiB)
22:36:36 busread : 3/6000 (mem: 776.10 MiB)
22:36:36 lookups : 2/15000 (mem: 776.10 MiB)
22:36:36 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 776.10 MiB)
22:36:36 arithmetic : 6849/56000 (mem: 776.10 MiB)
22:36:36 delta range : 2333/18000 (mem: 776.10 MiB)
22:36:36 elliptic : 2/6000 (mem: 776.10 MiB)
22:36:36 auxiliary : 50/26000 (mem: 776.10 MiB)
22:36:36 poseidon ext : 2472/17000 (mem: 776.10 MiB)
22:36:36 poseidon int : 14081/92000 (mem: 776.10 MiB)
22:36:36 overflow : 0/0 (mem: 776.10 MiB)
22:36:36 (mem: 776.10 MiB)
22:36:36 Total structured size: 242025 (mem: 776.10 MiB)
22:36:36 allocating polynomials object in proving key... (mem: 776.10 MiB)
22:36:36 populating trace... (mem: 776.10 MiB)
22:36:36 time to construct proving key: 126 ms. (mem: 776.10 MiB)
22:36:36 [22:36:36.939]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0xb982dbac7740 (mem: 776.10 MiB)
22:36:36 computing folding proof (mem: 776.10 MiB)
22:36:36 [22:36:36.940]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 776.10 MiB)
22:36:37 [22:36:37.250]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 776.10 MiB)
22:36:37 [22:36:37.295]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 776.10 MiB)
22:36:37 [22:36:37.324]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 776.10 MiB)
22:36:37 [22:36:37.432]
INFO:
ivc-integration:test:wasm bb - folded (mem: 776.10 MiB)
22:36:37 constructed folding proof (mem: 776.10 MiB)
22:36:37 [22:36:37.432]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 25792 gates. Trace details: (mem: 776.10 MiB)
22:36:37 Minimum required block sizes for structured trace: (mem: 776.10 MiB)
22:36:37 (mem: 776.10 MiB)
22:36:37 prove decider... (mem: 776.10 MiB)
22:36:37 [22:36:37.433]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
22:36:37 busread : 12
22:36:37 lookup : 2
22:36:37 pub_inputs : 36
22:36:37 arithmetic : 6849
22:36:37 delta_range : 2333
22:36:37 elliptic : 2
22:36:37 aux : 110
22:36:37 poseidon2_external : 2472
22:36:37 poseidon2_internal : 14081
22:36:37 overflow : 0
22:36:37 [22:36:37.445]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
22:36:37 [22:36:37.470]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 776.10 MiB)
22:36:37 [22:36:37.482]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
22:36:37 [22:36:37.502]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
22:36:37 [22:36:37.517]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 354.06MiB)
22:36:37 [22:36:37.527]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
22:36:37 [22:36:37.528]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
22:36:37 [22:36:37.543]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
22:36:37 [22:36:37.543]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
22:36:37 [22:36:37.544]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
22:36:37 [22:36:37.544]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
22:36:37 [22:36:37.544]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
22:36:37 [22:36:37.545]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
22:36:37 [22:36:37.545]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
22:36:37 [22:36:37.545]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
22:36:37 [22:36:37.546]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
22:36:37 [22:36:37.546]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
22:36:37 [22:36:37.547]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
22:36:37 [22:36:37.547]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
22:36:37 [22:36:37.547]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
22:36:37 [22:36:37.548]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
22:36:37 [22:36:37.548]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
22:36:37 [22:36:37.548]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 776.10 MiB)
22:36:37 [22:36:37.588]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
22:36:37 [22:36:37.601]
INFO:
ivc-integration:prove_wasm time to construct proving key: 74 ms. (mem: 581.38MiB)
22:36:37 [22:36:37.609]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.38MiB)
22:36:37 [22:36:37.883]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 776.10 MiB)
22:36:37 [22:36:37.931]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 776.10 MiB)
22:36:37 finished decider proving. (mem: 776.10 MiB)
22:36:37 [22:36:37.940]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 776.10 MiB)
22:36:38 [22:36:38.001]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 776.10 MiB)
22:36:38 [22:36:38.004]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 776.10 MiB)
22:36:38 [22:36:38.023]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 776.10 MiB)
22:36:38 [22:36:38.043]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 42 ms. (mem: 776.10 MiB)
22:36:38 [22:36:38.390]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.38MiB)
22:36:38 [22:36:38.393]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
22:36:38 [22:36:38.445]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 776.10 MiB)
22:36:38 [22:36:38.548]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.38MiB)
22:36:38 [22:36:38.563]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
22:36:38 [22:36:38.586]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.38MiB)
22:36:38 [22:36:38.587]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.38MiB)
22:36:38 [22:36:38.591]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.38MiB)
22:36:38 [22:36:38.592]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.38MiB)
22:36:38 [22:36:38.592]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.38MiB)
22:36:38 [22:36:38.592]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.38MiB)
22:36:38 [22:36:38.592]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.38MiB)
22:36:38 [22:36:38.593]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.38MiB)
22:36:38 [22:36:38.593]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.38MiB)
22:36:38 [22:36:38.593]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.38MiB)
22:36:38 [22:36:38.593]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.38MiB)
22:36:38 [22:36:38.594]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.38MiB)
22:36:38 [22:36:38.594]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.38MiB)
22:36:38 [22:36:38.594]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.38MiB)
22:36:38 [22:36:38.594]
INFO:
ivc-integration:prove_wasm (mem: 581.38MiB)
22:36:38 [22:36:38.595]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.38MiB)
22:36:38 [22:36:38.595]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.38MiB)
22:36:38 [22:36:38.626]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.13MiB)
22:36:38 [22:36:38.643]
INFO:
ivc-integration:prove_wasm time to construct proving key: 56 ms. (mem: 820.19MiB)
22:36:38 [22:36:38.656]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.19MiB)
22:36:38 [22:36:38.750]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 776.10 MiB)
22:36:38 [22:36:38.818]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 776.10 MiB)
22:36:39 [22:36:39.195]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 776.10 MiB)
22:36:39 [22:36:39.437]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.19MiB)
22:36:39 [22:36:39.440]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 820.19MiB)
22:36:39 [22:36:39.591]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 776.10 MiB)
22:36:39 [22:36:39.614]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 776.10 MiB)
22:36:39 finished decider proving. (mem: 776.10 MiB)
22:36:39 [22:36:39.615]
INFO:
ivc-integration:test:wasm bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 776.10 MiB)
22:36:39 [22:36:39.684]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 776.10 MiB)
22:36:39 [22:36:39.730]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.19MiB)
22:36:39 [22:36:39.792]
INFO:
ivc-integration:test:wasm bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 776.10 MiB)
22:36:39 [22:36:39.800]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 776.10 MiB)
22:36:39 [22:36:39.885]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
22:36:40 [22:36:40.112]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
22:36:40 [22:36:40.303]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
22:36:40 [22:36:40.303]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
22:36:40 [22:36:40.313]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 847.69MiB)
22:36:40 [22:36:40.399]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
22:36:40 [22:36:40.400]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
22:36:40 [22:36:40.405]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
22:36:40 [22:36:40.406]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
22:36:40 [22:36:40.407]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
22:36:40 [22:36:40.407]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
22:36:40 [22:36:40.407]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
22:36:40 [22:36:40.408]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 847.69MiB)
22:36:40 [22:36:40.408]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 847.69MiB)
22:36:40 [22:36:40.409]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
22:36:40 [22:36:40.409]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
22:36:40 [22:36:40.409]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 847.69MiB)
22:36:40 [22:36:40.409]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 847.69MiB)
22:36:40 [22:36:40.410]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
22:36:40 [22:36:40.410]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
22:36:40 [22:36:40.412]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
22:36:40 [22:36:40.413]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
22:36:40 [22:36:40.414]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
22:36:40 [22:36:40.442]
INFO:
ivc-integration:prove_wasm time to construct proving key: 41 ms. (mem: 847.69MiB)
22:36:40 [22:36:40.576]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
22:36:40 [22:36:40.619]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 776.10 MiB)
22:36:41 [22:36:41.329]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 776.10 MiB)
22:36:41 [22:36:41.495]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
22:36:41 [22:36:41.497]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 847.69MiB)
22:36:41 [22:36:41.766]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
22:36:41 [22:36:41.875]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
22:36:42 [22:36:42.032]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
22:36:42 [22:36:42.143]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
22:36:42 [22:36:42.144]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
22:36:42 [22:36:42.144]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 4657 (mem: 855.63MiB)
22:36:42 [22:36:42.144]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
22:36:42 [22:36:42.145]
INFO:
ivc-integration:prove_wasm Largest circuit: 25792 gates. Trace details: (mem: 855.63MiB)
22:36:42 [22:36:42.145]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
22:36:42 [22:36:42.145]
INFO:
ivc-integration:prove_wasm ecc_op : 392
22:36:42 (mem: 855.63MiB)
22:36:42 [22:36:42.145]
INFO:
ivc-integration:prove_wasm busread : 12
22:36:42 (mem: 855.63MiB)
22:36:42 [22:36:42.146]
INFO:
ivc-integration:prove_wasm lookup : 2
22:36:42 (mem: 855.63MiB)
22:36:42 [22:36:42.146]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
22:36:42 (mem: 855.63MiB)
22:36:42 [22:36:42.146]
INFO:
ivc-integration:prove_wasm arithmetic : 6849
22:36:42 (mem: 855.63MiB)
22:36:42 [22:36:42.146]
INFO:
ivc-integration:prove_wasm delta_range : 2333
22:36:42 (mem: 855.63MiB)
22:36:42 [22:36:42.146]
INFO:
ivc-integration:prove_wasm elliptic : 2
22:36:42 (mem: 855.63MiB)
22:36:42 [22:36:42.147]
INFO:
ivc-integration:prove_wasm aux : 110
22:36:42 (mem: 855.63MiB)
22:36:42 [22:36:42.147]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2472
22:36:42 (mem: 855.63MiB)
22:36:42 [22:36:42.147]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14081
22:36:42 (mem: 855.63MiB)
22:36:42 [22:36:42.147]
INFO:
ivc-integration:prove_wasm overflow : 0
22:36:42 (mem: 855.63MiB)
22:36:42 [22:36:42.148]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
22:36:42 [22:36:42.148]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
22:36:42 [22:36:42.243]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
22:36:42 [22:36:42.418]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
22:36:42 [22:36:42.580]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 776.10 MiB)
22:36:42 prove translator... (mem: 776.10 MiB)
22:36:42 [22:36:42.925]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
22:36:43 [22:36:43.072]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
22:36:43 [22:36:43.072]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
22:36:43 [22:36:43.088]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 855.63MiB)
22:36:43 [22:36:43.217]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
22:36:43 [22:36:43.222]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
22:36:43 [22:36:43.235]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
22:36:43 [22:36:43.268]
INFO:
ivc-integration:prove_wasm time to construct proving key: 52 ms. (mem: 855.63MiB)
22:36:43 [22:36:43.777]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
22:36:44 [22:36:44.052]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 796.17 MiB)
22:36:44 [22:36:44.523]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
22:36:44 [22:36:44.556]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
22:36:44 [22:36:44.594]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 796.17 MiB)
22:36:44 [22:36:44.746]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
22:36:45 [22:36:45.190]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
22:36:45 [22:36:45.208]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 796.17 MiB)
22:36:45 [22:36:45.208]
INFO:
ivc-integration:test:wasm bb - finished translator proving. (mem: 796.17 MiB)
22:36:45 [22:36:45.209]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 796.17 MiB)
22:36:45 [22:36:45.224]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 796.67 MiB)
22:36:45 libra_evals_verified: 1 (mem: 796.67 MiB)
22:36:45 pairing_check_verified: 1 (mem: 796.67 MiB)
22:36:45 [22:36:45.224]
INFO:
ivc-integration:test:wasm bb - Mega verified: 1 (mem: 796.67 MiB)
22:36:45 [22:36:45.257]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
22:36:45 [22:36:45.257]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
22:36:45 [22:36:45.258]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
22:36:45 [22:36:45.263]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 796.67 MiB)
22:36:45 batch opening verified?: 1 (mem: 796.67 MiB)
22:36:45 eccvm consistency check verified?: 1 (mem: 796.67 MiB)
22:36:45 translation masking consistency checked?: 1 (mem: 796.67 MiB)
22:36:45 [22:36:45.282]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 796.67 MiB)
22:36:45 eccvm verified?: 1 (mem: 796.67 MiB)
22:36:45 accumulator construction_verified?: 1 (mem: 796.67 MiB)
22:36:45 translation verified?: 1 (mem: 796.67 MiB)
22:36:45 consistency verified?: 1 (mem: 796.67 MiB)
22:36:45 [22:36:45.282]
INFO:
ivc-integration:test:wasm bb - Goblin verified: 1 (mem: 796.67 MiB)
22:36:45 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-aDckCQ" (mem: 796.67 MiB)
22:36:45 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-aDckCQ" (mem: 796.67 MiB)
22:36:45 BN254 commitment key size: 262144 (mem: 796.67 MiB)
22:36:45 [22:36:45.283]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 796.67 MiB)
22:36:45 [22:36:45.285]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 796.67 MiB)
22:36:45 goblin ecc op : 4/1024 (mem: 796.67 MiB)
22:36:45 busread : 3/6000 (mem: 796.67 MiB)
22:36:45 [22:36:45.285]
INFO:
ivc-integration:test:wasm bb - lookups : 2/15000 (mem: 796.67 MiB)
22:36:45 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 796.67 MiB)
22:36:45 arithmetic : 1773/56000 (mem: 796.67 MiB)
22:36:45 delta range : 1754/18000 (mem: 796.67 MiB)
22:36:45 elliptic : 2/6000 (mem: 796.67 MiB)
22:36:45 auxiliary : 26/26000 (mem: 796.67 MiB)
22:36:45 poseidon ext : 2/17000 (mem: 796.67 MiB)
22:36:45 poseidon int : 2/92000 (mem: 796.67 MiB)
22:36:45 overflow : 0/0 (mem: 796.67 MiB)
22:36:45 (mem: 796.67 MiB)
22:36:45 Total structured size: 242025 (mem: 796.67 MiB)
22:36:45 allocating polynomials object in proving key... (mem: 796.67 MiB)
22:36:45 [22:36:45.291]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 796.67 MiB)
22:36:45 [22:36:45.295]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 11 ms. (mem: 796.67 MiB)
22:36:45 [22:36:45.296]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
22:36:45 [22:36:45.300]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 796.67 MiB)
22:36:45 [22:36:45.769]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 796.67 MiB)
22:36:45 [22:36:45.769]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 796.67 MiB)
22:36:45 [22:36:45.842]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 796.67 MiB)
22:36:45 [22:36:45.845]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 796.67 MiB)
22:36:45 [22:36:45.853]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 796.67 MiB)
22:36:45 [22:36:45.855]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 796.67 MiB)
22:36:45 goblin ecc op : 56/1024 (mem: 796.67 MiB)
22:36:45 busread : 3/6000 (mem: 796.67 MiB)
22:36:45 lookups : 2/15000 (mem: 796.67 MiB)
22:36:45 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 796.67 MiB)
22:36:45 arithmetic : 4481/56000 (mem: 796.67 MiB)
22:36:45 delta range : 2041/18000 (mem: 796.67 MiB)
22:36:45 elliptic : 2/6000 (mem: 796.67 MiB)
22:36:45 auxiliary : 50/26000 (mem: 796.67 MiB)
22:36:45 poseidon ext : 1312/17000 (mem: 796.67 MiB)
22:36:45 poseidon int : 7469/92000 (mem: 796.67 MiB)
22:36:45 overflow : 0/0 (mem: 796.67 MiB)
22:36:45 (mem: 796.67 MiB)
22:36:45 Total structured size: 242025 (mem: 796.67 MiB)
22:36:45 allocating polynomials object in proving key... (mem: 796.67 MiB)
22:36:45 [22:36:45.865]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 796.67 MiB)
22:36:45 [22:36:45.874]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 20 ms. (mem: 796.67 MiB)
22:36:45 [22:36:45.883]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 796.67 MiB)
22:36:46 [22:36:46.143]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
22:36:46 [22:36:46.234]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 796.67 MiB)
22:36:46 [22:36:46.235]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 796.67 MiB)
22:36:46 [22:36:46.451]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 796.67 MiB)
22:36:46 [22:36:46.496]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 798.67 MiB)
22:36:46 [22:36:46.534]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 830.67 MiB)
22:36:46 [22:36:46.642]
INFO:
ivc-integration:test:wasm bb - folded (mem: 830.67 MiB)
22:36:46 constructed folding proof (mem: 830.67 MiB)
22:36:46 Largest circuit: 15360 gates. Trace details: (mem: 830.67 MiB)
22:36:46 Minimum required block sizes for structured trace: (mem: 830.67 MiB)
22:36:46 (mem: 830.67 MiB)
22:36:46 prove decider... (mem: 830.67 MiB)
22:36:46 [22:36:46.643]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
22:36:46 busread : 3
22:36:46 lookup : 2
22:36:46 pub_inputs : 36
22:36:46 arithmetic : 4481
22:36:46 delta_range : 2041
22:36:46 elliptic : 2
22:36:46 aux : 50
22:36:46 poseidon2_external : 1312
22:36:46 poseidon2_internal : 7469
22:36:46 overflow : 0
22:36:46 [22:36:46.681]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 830.67 MiB)
22:36:46 [22:36:46.771]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 830.67 MiB)
22:36:47 [22:36:47.029]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 830.67 MiB)
22:36:47 [22:36:47.069]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 830.67 MiB)
22:36:47 finished decider proving. (mem: 830.67 MiB)
22:36:47 [22:36:47.076]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 830.67 MiB)
22:36:47 [22:36:47.136]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 830.67 MiB)
22:36:47 [22:36:47.139]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 830.67 MiB)
22:36:47 [22:36:47.151]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 830.67 MiB)
22:36:47 [22:36:47.167]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 30 ms. (mem: 830.67 MiB)
22:36:48 [22:36:48.382]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
22:36:50 [22:36:50.314]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
22:36:50 [22:36:50.314]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
22:36:52 [22:36:52.745]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
22:36:55 [22:36:55.524]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
22:36:56 [22:36:56.775]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
22:36:56 [22:36:56.775]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
22:36:56 [22:36:56.776]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 19289 (mem: 855.63MiB)
22:36:56 [22:36:56.781]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 855.63MiB)
22:36:56 [22:36:56.782]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 855.63MiB)
22:36:56 [22:36:56.792]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
22:36:56 [22:36:56.832]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
22:36:56 [22:36:56.832]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
22:36:56 [22:36:56.832]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
22:36:56 [22:36:56.833]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
22:36:56 [22:36:56.956]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
22:36:56 [22:36:56.957]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
22:36:56 [22:36:56.957]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
22:36:56 [22:36:56.957]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
22:36:57 [22:36:57.012]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
22:36:57 [22:36:57.013]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
22:36:57 [22:36:57.013]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
22:36:57 [22:36:57.014]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
22:36:57 [22:36:57.014]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
22:36:57 [22:36:57.014]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
22:36:57 [22:36:57.544]
INFO:
ivc-integration:test:wasm Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify --scheme client_ivc -p /tmp/bb-client-ivc-integration-aDckCQ/proof -k /tmp/bb-client-ivc-integration-aDckCQ/vk -v
22:36:57 [22:36:57.570]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 737.46 MiB)
22:36:57 Scheme is: client_ivc, num threads: 64 (mem: 737.46 MiB)
22:36:57 --proof_path: /tmp/bb-client-ivc-integration-aDckCQ/proof (mem: 737.46 MiB)
22:36:57 --vk_path: /tmp/bb-client-ivc-integration-aDckCQ/vk (mem: 737.46 MiB)
22:36:57 --verbose: true (mem: 737.46 MiB)
22:36:57 --scheme: client_ivc (mem: 737.46 MiB)
22:36:57 [22:36:57.594]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 737.46 MiB)
22:36:57 [22:36:57.609]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 737.46 MiB)
22:36:57 [22:36:57.610]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 737.46 MiB)
22:36:57 [22:36:57.626]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 737.46 MiB)
22:36:57 [22:36:57.627]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 513 (mem: 737.46 MiB)
22:36:57 [22:36:57.628]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 737.46 MiB)
22:36:57 libra_evals_verified: 1 (mem: 737.46 MiB)
22:36:57 pairing_check_verified: 1 (mem: 737.46 MiB)
22:36:57 [22:36:57.628]
INFO:
ivc-integration:test:wasm Mega verified: 1 (mem: 737.46 MiB)
22:36:57 [22:36:57.672]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 737.46 MiB)
22:36:57 batch opening verified?: 1 (mem: 737.46 MiB)
22:36:57 eccvm consistency check verified?: 1 (mem: 737.46 MiB)
22:36:57 translation masking consistency checked?: 1 (mem: 737.46 MiB)
22:36:57 [22:36:57.690]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 737.46 MiB)
22:36:57 eccvm verified?: 1 (mem: 737.46 MiB)
22:36:57 accumulator construction_verified?: 1 (mem: 737.46 MiB)
22:36:57 translation verified?: 1 (mem: 737.46 MiB)
22:36:57 consistency verified?: 1 (mem: 737.46 MiB)
22:36:57 [22:36:57.690]
INFO:
ivc-integration:test:wasm Goblin verified: 1 (mem: 737.46 MiB)
22:36:57 [22:36:57.693]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 737.46 MiB)
22:36:57 [22:36:57.719]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
22:36:57 [22:36:57.837]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12070191 bytes
22:36:57 [22:36:57.859]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
22:36:58 [22:36:58.092]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
22:36:58 [22:36:58.101]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
22:36:58 [22:36:58.102]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
22:36:58 [22:36:58.663]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
22:36:58 [22:36:58.711]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
22:36:58 [22:36:58.715]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
22:36:58 [22:36:58.766]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
22:36:58 [22:36:58.778]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
22:36:58 [22:36:58.807]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
22:36:58 [22:36:58.817]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
22:36:58 [22:36:58.971]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15519,"2":25792}
22:36:59 [22:36:59.015]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
22:36:59 [22:36:59.112]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12070191 bytes
22:36:59 [22:36:59.130]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
22:36:59 [22:36:59.386]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
22:36:59 [22:36:59.395]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
22:36:59 [22:36:59.915]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
22:36:59 [22:36:59.916]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
22:37:00 [22:37:00.504]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
22:37:00 [22:37:00.543]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
22:37:00 [22:37:00.563]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
22:37:00 [22:37:00.569]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 354.06MiB)
22:37:00 [22:37:00.576]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
22:37:00 [22:37:00.576]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
22:37:00 [22:37:00.593]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
22:37:00 [22:37:00.593]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
22:37:00 [22:37:00.593]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
22:37:00 [22:37:00.594]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
22:37:00 [22:37:00.594]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
22:37:00 [22:37:00.594]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
22:37:00 [22:37:00.594]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
22:37:00 [22:37:00.595]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
22:37:00 [22:37:00.595]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
22:37:00 [22:37:00.595]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
22:37:00 [22:37:00.595]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
22:37:00 [22:37:00.596]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
22:37:00 [22:37:00.596]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
22:37:00 [22:37:00.596]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
22:37:00 [22:37:00.598]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
22:37:00 [22:37:00.622]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.63MiB)
22:37:00 [22:37:00.634]
INFO:
ivc-integration:prove_wasm time to construct proving key: 58 ms. (mem: 581.81MiB)
22:37:00 [22:37:00.644]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.81MiB)
22:37:01 [22:37:01.263]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.81MiB)
22:37:01 [22:37:01.266]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
22:37:01 [22:37:01.364]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.81MiB)
22:37:01 [22:37:01.380]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
22:37:01 [22:37:01.401]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.81MiB)
22:37:01 [22:37:01.401]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.81MiB)
22:37:01 [22:37:01.405]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.81MiB)
22:37:01 [22:37:01.405]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.81MiB)
22:37:01 [22:37:01.406]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.81MiB)
22:37:01 [22:37:01.406]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.81MiB)
22:37:01 [22:37:01.406]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.81MiB)
22:37:01 [22:37:01.406]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.81MiB)
22:37:01 [22:37:01.407]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.81MiB)
22:37:01 [22:37:01.407]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.81MiB)
22:37:01 [22:37:01.407]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.81MiB)
22:37:01 [22:37:01.407]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.81MiB)
22:37:01 [22:37:01.408]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.81MiB)
22:37:01 [22:37:01.408]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.81MiB)
22:37:01 [22:37:01.408]
INFO:
ivc-integration:prove_wasm (mem: 581.81MiB)
22:37:01 [22:37:01.408]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.81MiB)
22:37:01 [22:37:01.409]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.81MiB)
22:37:01 [22:37:01.429]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.69MiB)
22:37:01 [22:37:01.445]
INFO:
ivc-integration:prove_wasm time to construct proving key: 43 ms. (mem: 820.69MiB)
22:37:01 [22:37:01.455]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
22:37:02 [22:37:02.007]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
22:37:02 [22:37:02.010]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 820.69MiB)
22:37:02 [22:37:02.180]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
22:37:02 [22:37:02.325]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
22:37:02 [22:37:02.526]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
22:37:02 [22:37:02.622]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
22:37:02 [22:37:02.623]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
22:37:02 [22:37:02.625]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
22:37:02 [22:37:02.625]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
22:37:02 [22:37:02.629]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
22:37:02 [22:37:02.629]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
22:37:02 [22:37:02.629]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
22:37:02 [22:37:02.629]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
22:37:02 [22:37:02.630]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
22:37:02 [22:37:02.630]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
22:37:02 [22:37:02.630]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
22:37:02 [22:37:02.630]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
22:37:02 [22:37:02.631]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
22:37:02 [22:37:02.631]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
22:37:02 [22:37:02.631]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
22:37:02 [22:37:02.631]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
22:37:02 [22:37:02.632]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
22:37:02 [22:37:02.632]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
22:37:02 [22:37:02.632]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
22:37:02 [22:37:02.640]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
22:37:02 [22:37:02.646]
INFO:
ivc-integration:prove_wasm time to construct proving key: 20 ms. (mem: 848.19MiB)
22:37:02 [22:37:02.656]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
22:37:03 [22:37:03.233]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
22:37:03 [22:37:03.235]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
22:37:03 [22:37:03.311]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
22:37:03 [22:37:03.415]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
22:37:03 [22:37:03.536]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
22:37:03 [22:37:03.625]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
22:37:03 [22:37:03.626]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
22:37:03 [22:37:03.637]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 848.19MiB)
22:37:03 [22:37:03.724]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
22:37:03 [22:37:03.803]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
22:37:03 [22:37:03.804]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
22:37:03 [22:37:03.809]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
22:37:03 [22:37:03.809]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
22:37:03 [22:37:03.810]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
22:37:03 [22:37:03.810]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
22:37:03 [22:37:03.810]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
22:37:03 [22:37:03.810]
INFO:
ivc-integration:prove_wasm arithmetic : 12080/56000 (mem: 848.19MiB)
22:37:03 [22:37:03.811]
INFO:
ivc-integration:prove_wasm delta range : 2942/18000 (mem: 848.19MiB)
22:37:03 [22:37:03.811]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
22:37:03 [22:37:03.811]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
22:37:03 [22:37:03.811]
INFO:
ivc-integration:prove_wasm poseidon ext : 4942/17000 (mem: 848.19MiB)
22:37:03 [22:37:03.812]
INFO:
ivc-integration:prove_wasm poseidon int : 28160/92000 (mem: 848.19MiB)
22:37:03 [22:37:03.812]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
22:37:03 [22:37:03.812]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
22:37:03 [22:37:03.812]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
22:37:03 [22:37:03.813]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
22:37:03 [22:37:03.820]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
22:37:03 [22:37:03.850]
INFO:
ivc-integration:prove_wasm time to construct proving key: 46 ms. (mem: 851.25MiB)
22:37:03 [22:37:03.882]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.25MiB)
22:37:04 [22:37:04.494]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.25MiB)
22:37:04 [22:37:04.495]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 851.25MiB)
22:37:04 [22:37:04.830]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.25MiB)
22:37:04 [22:37:04.988]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
22:37:05 [22:37:05.192]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
22:37:05 [22:37:05.282]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
22:37:05 [22:37:05.282]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
22:37:05 [22:37:05.291]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 907.06MiB)
22:37:05 [22:37:05.370]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 907.06MiB)
22:37:05 [22:37:05.370]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
22:37:05 [22:37:05.374]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
22:37:05 [22:37:05.374]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
22:37:05 [22:37:05.375]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 907.06MiB)
22:37:05 [22:37:05.375]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
22:37:05 [22:37:05.375]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 907.06MiB)
22:37:05 [22:37:05.376]
INFO:
ivc-integration:prove_wasm arithmetic : 6914/56000 (mem: 907.06MiB)
22:37:05 [22:37:05.376]
INFO:
ivc-integration:prove_wasm delta range : 2347/18000 (mem: 907.06MiB)
22:37:05 [22:37:05.376]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
22:37:05 [22:37:05.376]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 907.06MiB)
22:37:05 [22:37:05.377]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 907.06MiB)
22:37:05 [22:37:05.377]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 907.06MiB)
22:37:05 [22:37:05.377]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
22:37:05 [22:37:05.377]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
22:37:05 [22:37:05.378]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
22:37:05 [22:37:05.378]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
22:37:05 [22:37:05.386]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
22:37:05 [22:37:05.402]
INFO:
ivc-integration:prove_wasm time to construct proving key: 32 ms. (mem: 907.06MiB)
22:37:05 [22:37:05.443]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
22:37:05 [22:37:05.991]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
22:37:05 [22:37:05.993]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 907.06MiB)
22:37:06 [22:37:06.198]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
22:37:06 [22:37:06.374]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
22:37:06 [22:37:06.537]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
22:37:06 [22:37:06.627]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
22:37:06 [22:37:06.628]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
22:37:06 [22:37:06.636]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 907.06MiB)
22:37:06 [22:37:06.715]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 907.06MiB)
22:37:06 [22:37:06.715]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
22:37:06 [22:37:06.719]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
22:37:06 [22:37:06.720]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
22:37:06 [22:37:06.720]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 907.06MiB)
22:37:06 [22:37:06.720]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
22:37:06 [22:37:06.721]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 907.06MiB)
22:37:06 [22:37:06.721]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 907.06MiB)
22:37:06 [22:37:06.721]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 907.06MiB)
22:37:06 [22:37:06.722]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
22:37:06 [22:37:06.722]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 907.06MiB)
22:37:06 [22:37:06.722]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 907.06MiB)
22:37:06 [22:37:06.722]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 907.06MiB)
22:37:06 [22:37:06.723]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
22:37:06 [22:37:06.723]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
22:37:06 [22:37:06.723]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
22:37:06 [22:37:06.723]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
22:37:06 [22:37:06.730]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
22:37:06 [22:37:06.747]
INFO:
ivc-integration:prove_wasm time to construct proving key: 31 ms. (mem: 907.06MiB)
22:37:06 [22:37:06.790]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
22:37:07 [22:37:07.362]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
22:37:07 [22:37:07.363]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 907.06MiB)
22:37:07 [22:37:07.556]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
22:37:07 [22:37:07.751]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
22:37:07 [22:37:07.949]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
22:37:08 [22:37:08.040]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
22:37:08 [22:37:08.040]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
22:37:08 [22:37:08.041]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 7494 (mem: 907.06MiB)
22:37:08 [22:37:08.041]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 907.06MiB)
22:37:08 [22:37:08.041]
INFO:
ivc-integration:prove_wasm Largest circuit: 48490 gates. Trace details: (mem: 907.06MiB)
22:37:08 [22:37:08.041]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 907.06MiB)
22:37:08 [22:37:08.042]
INFO:
ivc-integration:prove_wasm ecc_op : 792
22:37:08 (mem: 907.06MiB)
22:37:08 [22:37:08.042]
INFO:
ivc-integration:prove_wasm busread : 16
22:37:08 (mem: 907.06MiB)
22:37:08 [22:37:08.042]
INFO:
ivc-integration:prove_wasm lookup : 2
22:37:08 (mem: 907.06MiB)
22:37:08 [22:37:08.042]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
22:37:08 (mem: 907.06MiB)
22:37:08 [22:37:08.043]
INFO:
ivc-integration:prove_wasm arithmetic : 12080
22:37:08 (mem: 907.06MiB)
22:37:08 [22:37:08.043]
INFO:
ivc-integration:prove_wasm delta_range : 2942
22:37:08 (mem: 907.06MiB)
22:37:08 [22:37:08.043]
INFO:
ivc-integration:prove_wasm elliptic : 2
22:37:08 (mem: 907.06MiB)
22:37:08 [22:37:08.043]
INFO:
ivc-integration:prove_wasm aux : 350
22:37:08 (mem: 907.06MiB)
22:37:08 [22:37:08.044]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4942
22:37:08 (mem: 907.06MiB)
22:37:08 [22:37:08.044]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28160
22:37:08 (mem: 907.06MiB)
22:37:08 [22:37:08.044]
INFO:
ivc-integration:prove_wasm overflow : 0
22:37:08 (mem: 907.06MiB)
22:37:08 [22:37:08.044]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
22:37:08 [22:37:08.045]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 907.06MiB)
22:37:08 [22:37:08.136]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
22:37:08 [22:37:08.311]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
22:37:08 [22:37:08.810]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
22:37:08 [22:37:08.962]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
22:37:08 [22:37:08.962]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
22:37:08 [22:37:08.977]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 907.06MiB)
22:37:09 [22:37:09.104]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
22:37:09 [22:37:09.110]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
22:37:09 [22:37:09.123]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
22:37:09 [22:37:09.155]
INFO:
ivc-integration:prove_wasm time to construct proving key: 51 ms. (mem: 907.06MiB)
22:37:09 [22:37:09.615]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 907.06MiB)
22:37:10 [22:37:10.092]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 907.06MiB)
22:37:10 [22:37:10.109]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
22:37:10 [22:37:10.273]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
22:37:10 [22:37:10.584]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
22:37:10 [22:37:10.638]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
22:37:10 [22:37:10.639]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
22:37:10 [22:37:10.639]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 907.06MiB)
22:37:10 [22:37:10.683]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 907.06MiB)
22:37:11 [22:37:11.710]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
22:37:13 [22:37:13.947]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
22:37:15 [22:37:15.547]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 907.06MiB)
22:37:15 [22:37:15.547]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 907.06MiB)
22:37:17 [22:37:17.703]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
22:37:20 [22:37:20.479]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
22:37:21 [22:37:21.675]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
22:37:21 [22:37:21.675]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 907.06MiB)
22:37:21 [22:37:21.676]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 21129 (mem: 907.06MiB)
22:37:21 [22:37:21.681]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 907.06MiB)
22:37:21 [22:37:21.683]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.697]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 907.06MiB)
22:37:21 [22:37:21.736]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.736]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.736]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.737]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.859]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.860]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.860]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.860]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.916]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.916]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.916]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.917]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.917]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.917]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.924]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 907.06MiB)
22:37:21 [22:37:21.956]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.957]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.957]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
22:37:21 [22:37:21.957]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
22:37:22 [22:37:22.058]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
22:37:22 [22:37:22.059]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
22:37:22 [22:37:22.059]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
22:37:22 [22:37:22.059]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
22:37:22 [22:37:22.097]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
22:37:22 [22:37:22.097]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
22:37:22 [22:37:22.097]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
22:37:22 [22:37:22.098]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
22:37:22 [22:37:22.098]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
22:37:22 [22:37:22.098]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
22:37:22 [22:37:22.593]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
22:37:22
PASS src/wasm_client_ivc_integration.test.ts (
49.505 s)
22:37:22 Client IVC Integration
22:37:22
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (22160 ms)
22:37:22
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (1259 ms)
22:37:22
✓ Should generate a verifiable client IVC proof from a complex mock tx (23622 ms)
22:37:22
22:37:22
Test Suites: 1 passed, 1 total
22:37:22
Tests: 3 passed, 3 total
22:37:22
Snapshots: 0 total
22:37:22
Time: 49.594 s
22:37:22
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
22:37:22
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?