diff --git a/yarn-project/end-to-end/adam-log b/yarn-project/end-to-end/adam-log index 29c60df76ca..4e65b7ccbbb 100644 --- a/yarn-project/end-to-end/adam-log +++ b/yarn-project/end-to-end/adam-log @@ -1,10 +1,10 @@ console.log - Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-5KsfBd/tmp-79NOt4 -b /tmp/bb-5KsfBd/tmp-79NOt4/App-bytecode -w /tmp/bb-5KsfBd/tmp-79NOt4/witness.gz -v + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-b2PMtk/tmp-86jp2E -b /tmp/bb-b2PMtk/tmp-86jp2E/App-bytecode -w /tmp/bb-b2PMtk/tmp-86jp2E/witness.gz -v at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) console.log - Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-5KsfBd/tmp-admSWT -b /tmp/bb-5KsfBd/tmp-admSWT/App-bytecode -w /tmp/bb-5KsfBd/tmp-admSWT/witness.gz -v + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-b2PMtk/tmp-foavdz -b /tmp/bb-b2PMtk/tmp-foavdz/App-bytecode -w /tmp/bb-b2PMtk/tmp-foavdz/witness.gz -v at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) @@ -19,45 +19,49 @@ at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - binary proof written to: /tmp/bb-5KsfBd/tmp-79NOt4/proof + binary proof written to: /tmp/bb-b2PMtk/tmp-foavdz/proof at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - proof as fields written to: /tmp/bb-5KsfBd/tmp-79NOt4/proof_fields.json - vk written to: /tmp/bb-5KsfBd/tmp-79NOt4/vk - vk as fields written to: /tmp/bb-5KsfBd/tmp-79NOt4/vk_fields.json + proof as fields written to: /tmp/bb-b2PMtk/tmp-foavdz/proof_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-5KsfBd/tmp-nBhcKh -b /tmp/bb-5KsfBd/tmp-nBhcKh/PrivateKernelInitArtifact-bytecode -w /tmp/bb-5KsfBd/tmp-nBhcKh/witness.gz -v + vk written to: /tmp/bb-b2PMtk/tmp-foavdz/vk + vk as fields written to: /tmp/bb-b2PMtk/tmp-foavdz/vk_fields.json - at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - bb COMMAND is: prove_ultra_honk_output_all + binary proof written to: /tmp/bb-b2PMtk/tmp-86jp2E/proof at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - binary proof written to: /tmp/bb-5KsfBd/tmp-admSWT/proof + proof as fields written to: /tmp/bb-b2PMtk/tmp-86jp2E/proof_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - proof as fields written to: /tmp/bb-5KsfBd/tmp-admSWT/proof_fields.json + vk written to: /tmp/bb-b2PMtk/tmp-86jp2E/vk + vk as fields written to: /tmp/bb-b2PMtk/tmp-86jp2E/vk_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - vk written to: /tmp/bb-5KsfBd/tmp-admSWT/vk - vk as fields written to: /tmp/bb-5KsfBd/tmp-admSWT/vk_fields.json + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-b2PMtk/tmp-D21ERF -b /tmp/bb-b2PMtk/tmp-D21ERF/PrivateKernelInitArtifact-bytecode -w /tmp/bb-b2PMtk/tmp-D21ERF/witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-5KsfBd/tmp-gCmU3G -b /tmp/bb-5KsfBd/tmp-gCmU3G/PrivateKernelInitArtifact-bytecode -w /tmp/bb-5KsfBd/tmp-gCmU3G/witness.gz -v + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-b2PMtk/tmp-f40PXV -b /tmp/bb-b2PMtk/tmp-f40PXV/PrivateKernelInitArtifact-bytecode -w /tmp/bb-b2PMtk/tmp-f40PXV/witness.gz -v at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) @@ -67,23 +71,23 @@ at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - binary proof written to: /tmp/bb-5KsfBd/tmp-nBhcKh/proof + binary proof written to: /tmp/bb-b2PMtk/tmp-D21ERF/proof at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - proof as fields written to: /tmp/bb-5KsfBd/tmp-nBhcKh/proof_fields.json + proof as fields written to: /tmp/bb-b2PMtk/tmp-D21ERF/proof_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - vk written to: /tmp/bb-5KsfBd/tmp-nBhcKh/vk - vk as fields written to: /tmp/bb-5KsfBd/tmp-nBhcKh/vk_fields.json + vk written to: /tmp/bb-b2PMtk/tmp-D21ERF/vk + vk as fields written to: /tmp/bb-b2PMtk/tmp-D21ERF/vk_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: verify_ultra_honk -p /tmp/bb-5KsfBd/tmp-ApSKNJ/proof -k /tmp/bb-5KsfBd/tmp-ApSKNJ/vk + Executing BB with: verify_ultra_honk -p /tmp/bb-b2PMtk/tmp-OHeTN1/proof -k /tmp/bb-b2PMtk/tmp-OHeTN1/vk at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) @@ -98,20 +102,20 @@ at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - binary proof written to: /tmp/bb-5KsfBd/tmp-gCmU3G/proof - proof as fields written to: /tmp/bb-5KsfBd/tmp-gCmU3G/proof_fields.json - vk written to: /tmp/bb-5KsfBd/tmp-gCmU3G/vk - vk as fields written to: /tmp/bb-5KsfBd/tmp-gCmU3G/vk_fields.json + binary proof written to: /tmp/bb-b2PMtk/tmp-f40PXV/proof + proof as fields written to: /tmp/bb-b2PMtk/tmp-f40PXV/proof_fields.json + vk written to: /tmp/bb-b2PMtk/tmp-f40PXV/vk + vk as fields written to: /tmp/bb-b2PMtk/tmp-f40PXV/vk_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-5KsfBd/tmp-bHec2Y -b /tmp/bb-5KsfBd/tmp-bHec2Y/PrivateKernelResetSmallArtifact-bytecode -w /tmp/bb-5KsfBd/tmp-bHec2Y/witness.gz -v + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-b2PMtk/tmp-AOWhy3 -b /tmp/bb-b2PMtk/tmp-AOWhy3/App-bytecode -w /tmp/bb-b2PMtk/tmp-AOWhy3/witness.gz -v at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) console.log - Executing BB with: verify_ultra_honk -p /tmp/bb-5KsfBd/tmp-QckmqF/proof -k /tmp/bb-5KsfBd/tmp-QckmqF/vk + Executing BB with: verify_ultra_honk -p /tmp/bb-b2PMtk/tmp-QVUQkv/proof -k /tmp/bb-b2PMtk/tmp-QVUQkv/vk at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) @@ -131,7 +135,7 @@ at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-5KsfBd/tmp-Qw08wR -b /tmp/bb-5KsfBd/tmp-Qw08wR/App-bytecode -w /tmp/bb-5KsfBd/tmp-Qw08wR/witness.gz -v + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-b2PMtk/tmp-cwTht3 -b /tmp/bb-b2PMtk/tmp-cwTht3/PrivateKernelResetSmallArtifact-bytecode -w /tmp/bb-b2PMtk/tmp-cwTht3/witness.gz -v at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) @@ -141,23 +145,23 @@ at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - binary proof written to: /tmp/bb-5KsfBd/tmp-bHec2Y/proof + binary proof written to: /tmp/bb-b2PMtk/tmp-cwTht3/proof at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - proof as fields written to: /tmp/bb-5KsfBd/tmp-bHec2Y/proof_fields.json + proof as fields written to: /tmp/bb-b2PMtk/tmp-cwTht3/proof_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - vk written to: /tmp/bb-5KsfBd/tmp-bHec2Y/vk - vk as fields written to: /tmp/bb-5KsfBd/tmp-bHec2Y/vk_fields.json + vk written to: /tmp/bb-b2PMtk/tmp-cwTht3/vk + vk as fields written to: /tmp/bb-b2PMtk/tmp-cwTht3/vk_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: verify_ultra_honk -p /tmp/bb-5KsfBd/tmp-yTFvZs/proof -k /tmp/bb-5KsfBd/tmp-yTFvZs/vk + Executing BB with: verify_ultra_honk -p /tmp/bb-b2PMtk/tmp-d1w8N2/proof -k /tmp/bb-b2PMtk/tmp-d1w8N2/vk at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) @@ -172,47 +176,55 @@ at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - binary proof written to: /tmp/bb-5KsfBd/tmp-Qw08wR/proof - proof as fields written to: /tmp/bb-5KsfBd/tmp-Qw08wR/proof_fields.json - vk written to: /tmp/bb-5KsfBd/tmp-Qw08wR/vk - vk as fields written to: /tmp/bb-5KsfBd/tmp-Qw08wR/vk_fields.json + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-b2PMtk/tmp-JFra88 -b /tmp/bb-b2PMtk/tmp-JFra88/PrivateKernelTailToPublicArtifact-bytecode -w /tmp/bb-b2PMtk/tmp-JFra88/witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-5KsfBd/tmp-n6DIuP -b /tmp/bb-5KsfBd/tmp-n6DIuP/PrivateKernelInnerArtifact-bytecode -w /tmp/bb-5KsfBd/tmp-n6DIuP/witness.gz -v + binary proof written to: /tmp/bb-b2PMtk/tmp-AOWhy3/proof - at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-5KsfBd/tmp-QfgJyL -b /tmp/bb-5KsfBd/tmp-QfgJyL/PrivateKernelTailToPublicArtifact-bytecode -w /tmp/bb-5KsfBd/tmp-QfgJyL/witness.gz -v + proof as fields written to: /tmp/bb-b2PMtk/tmp-AOWhy3/proof_fields.json - at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - bb COMMAND is: prove_ultra_honk_output_all + vk written to: /tmp/bb-b2PMtk/tmp-AOWhy3/vk + vk as fields written to: /tmp/bb-b2PMtk/tmp-AOWhy3/vk_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-b2PMtk/tmp-dKR7C2 -b /tmp/bb-b2PMtk/tmp-dKR7C2/PrivateKernelInnerArtifact-bytecode -w /tmp/bb-b2PMtk/tmp-dKR7C2/witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + console.log bb COMMAND is: prove_ultra_honk_output_all at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - binary proof written to: /tmp/bb-5KsfBd/tmp-n6DIuP/proof + binary proof written to: /tmp/bb-b2PMtk/tmp-dKR7C2/proof at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - proof as fields written to: /tmp/bb-5KsfBd/tmp-n6DIuP/proof_fields.json - vk written to: /tmp/bb-5KsfBd/tmp-n6DIuP/vk - vk as fields written to: /tmp/bb-5KsfBd/tmp-n6DIuP/vk_fields.json + proof as fields written to: /tmp/bb-b2PMtk/tmp-dKR7C2/proof_fields.json + vk written to: /tmp/bb-b2PMtk/tmp-dKR7C2/vk + vk as fields written to: /tmp/bb-b2PMtk/tmp-dKR7C2/vk_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: verify_ultra_honk -p /tmp/bb-5KsfBd/tmp-C27cEw/proof -k /tmp/bb-5KsfBd/tmp-C27cEw/vk + Executing BB with: verify_ultra_honk -p /tmp/bb-b2PMtk/tmp-xmRauP/proof -k /tmp/bb-b2PMtk/tmp-xmRauP/vk at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) @@ -227,7 +239,7 @@ at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-5KsfBd/tmp-ubgetZ -b /tmp/bb-5KsfBd/tmp-ubgetZ/PrivateKernelResetSmallArtifact-bytecode -w /tmp/bb-5KsfBd/tmp-ubgetZ/witness.gz -v + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-b2PMtk/tmp-vZccdS -b /tmp/bb-b2PMtk/tmp-vZccdS/PrivateKernelResetSmallArtifact-bytecode -w /tmp/bb-b2PMtk/tmp-vZccdS/witness.gz -v at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) @@ -237,19 +249,23 @@ at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - binary proof written to: /tmp/bb-5KsfBd/tmp-ubgetZ/proof + binary proof written to: /tmp/bb-b2PMtk/tmp-vZccdS/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-b2PMtk/tmp-vZccdS/proof_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - proof as fields written to: /tmp/bb-5KsfBd/tmp-ubgetZ/proof_fields.json - vk written to: /tmp/bb-5KsfBd/tmp-ubgetZ/vk - vk as fields written to: /tmp/bb-5KsfBd/tmp-ubgetZ/vk_fields.json + vk written to: /tmp/bb-b2PMtk/tmp-vZccdS/vk + vk as fields written to: /tmp/bb-b2PMtk/tmp-vZccdS/vk_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: verify_ultra_honk -p /tmp/bb-5KsfBd/tmp-2ObO6e/proof -k /tmp/bb-5KsfBd/tmp-2ObO6e/vk + Executing BB with: verify_ultra_honk -p /tmp/bb-b2PMtk/tmp-E2XVxY/proof -k /tmp/bb-b2PMtk/tmp-E2XVxY/vk at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) @@ -264,28 +280,36 @@ at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - binary proof written to: /tmp/bb-5KsfBd/tmp-QfgJyL/proof - proof as fields written to: /tmp/bb-5KsfBd/tmp-QfgJyL/proof_fields.json - vk written to: /tmp/bb-5KsfBd/tmp-QfgJyL/vk - vk as fields written to: /tmp/bb-5KsfBd/tmp-QfgJyL/vk_fields.json + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-b2PMtk/tmp-xHl9Aq -b /tmp/bb-b2PMtk/tmp-xHl9Aq/PrivateKernelTailArtifact-bytecode -w /tmp/bb-b2PMtk/tmp-xHl9Aq/witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-5KsfBd/tmp-fBTX8c -b /tmp/bb-5KsfBd/tmp-fBTX8c/PrivateKernelTailArtifact-bytecode -w /tmp/bb-5KsfBd/tmp-fBTX8c/witness.gz -v + binary proof written to: /tmp/bb-b2PMtk/tmp-JFra88/proof - at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: verify_ultra_honk -p /tmp/bb-5KsfBd/tmp-HRRwZD/proof -k /tmp/bb-5KsfBd/tmp-HRRwZD/vk + proof as fields written to: /tmp/bb-b2PMtk/tmp-JFra88/proof_fields.json - at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - bb COMMAND is: prove_ultra_honk_output_all + vk written to: /tmp/bb-b2PMtk/tmp-JFra88/vk + vk as fields written to: /tmp/bb-b2PMtk/tmp-JFra88/vk_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-b2PMtk/tmp-H4PrdN/proof -k /tmp/bb-b2PMtk/tmp-H4PrdN/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + console.log bb COMMAND is: verify_ultra_honk @@ -297,7 +321,7 @@ at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: client_ivc_prove_output_all_msgpack -o /tmp/bb-5KsfBd/tmp-h66afn -b /tmp/bb-5KsfBd/tmp-h66afn/acir.msgpack -w /tmp/bb-5KsfBd/tmp-h66afn/witnesses.msgpack -v + Executing BB with: client_ivc_prove_output_all_msgpack -o /tmp/bb-b2PMtk/tmp-jTV3Fj -b /tmp/bb-b2PMtk/tmp-jTV3Fj/acir.msgpack -w /tmp/bb-b2PMtk/tmp-jTV3Fj/witnesses.msgpack -v at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) @@ -307,19 +331,23 @@ at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - binary proof written to: /tmp/bb-5KsfBd/tmp-fBTX8c/proof + binary proof written to: /tmp/bb-b2PMtk/tmp-xHl9Aq/proof at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - proof as fields written to: /tmp/bb-5KsfBd/tmp-fBTX8c/proof_fields.json - vk written to: /tmp/bb-5KsfBd/tmp-fBTX8c/vk - vk as fields written to: /tmp/bb-5KsfBd/tmp-fBTX8c/vk_fields.json + proof as fields written to: /tmp/bb-b2PMtk/tmp-xHl9Aq/proof_fields.json at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: verify_ultra_honk -p /tmp/bb-5KsfBd/tmp-OjXtD4/proof -k /tmp/bb-5KsfBd/tmp-OjXtD4/vk + vk written to: /tmp/bb-b2PMtk/tmp-xHl9Aq/vk + vk as fields written to: /tmp/bb-b2PMtk/tmp-xHl9Aq/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-b2PMtk/tmp-VzDQpY/proof -k /tmp/bb-b2PMtk/tmp-VzDQpY/vk at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) @@ -334,7 +362,7 @@ at Socket. (../../bb-prover/src/bb/execute.ts:81:15) console.log - Executing BB with: client_ivc_prove_output_all_msgpack -o /tmp/bb-5KsfBd/tmp-U5aFre -b /tmp/bb-5KsfBd/tmp-U5aFre/acir.msgpack -w /tmp/bb-5KsfBd/tmp-U5aFre/witnesses.msgpack -v + Executing BB with: client_ivc_prove_output_all_msgpack -o /tmp/bb-b2PMtk/tmp-pxnRca -b /tmp/bb-b2PMtk/tmp-pxnRca/acir.msgpack -w /tmp/bb-b2PMtk/tmp-pxnRca/witnesses.msgpack -v at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) @@ -356,11 +384,6 @@ goblin proof size: 881 translation evals size: 10 Client IVC proof size serialized to bytes: 225940 - - at Socket. (../../bb-prover/src/bb/execute.ts:81:15) - - console.log - Client IVC proof size serialized to elts : 7065 at Socket. (../../bb-prover/src/bb/execute.ts:81:15) @@ -386,6 +409,10 @@ goblin proof size: 2727 merge proof size: 64 decider proof size: 1772 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log goblin proof size: 881 translation evals size: 10 Client IVC proof size serialized to bytes: 115636 @@ -395,8 +422,4717 @@ console.log sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log ensure valid proof: 1 write proof and vk data to files.. at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-xrAjeE -b /tmp/bb-NGMb5D/tmp-xrAjeE/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-xrAjeE/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-h7X0vd -b /tmp/bb-NGMb5D/tmp-h7X0vd/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-h7X0vd/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-xrAjeE/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-xrAjeE/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-xrAjeE/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-xrAjeE/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-UcRI1h/proof -k /tmp/bb-NGMb5D/tmp-UcRI1h/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-h7X0vd/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-h7X0vd/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-h7X0vd/vk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk as fields written to: /tmp/bb-NGMb5D/tmp-h7X0vd/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-OESOXC -b /tmp/bb-NGMb5D/tmp-OESOXC/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-OESOXC/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-t2Dud8/proof -k /tmp/bb-NGMb5D/tmp-t2Dud8/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-hjsPXJ -b /tmp/bb-NGMb5D/tmp-hjsPXJ/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-hjsPXJ/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-OESOXC/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-OESOXC/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-OESOXC/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-OESOXC/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-PgdvVm/proof -k /tmp/bb-NGMb5D/tmp-PgdvVm/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-hjsPXJ/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-hjsPXJ/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk written to: /tmp/bb-NGMb5D/tmp-hjsPXJ/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-hjsPXJ/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-Rs6GOk/proof -k /tmp/bb-NGMb5D/tmp-Rs6GOk/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-z0fnNv/proof -k /tmp/bb-NGMb5D/tmp-z0fnNv/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-Rs6GOk/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + !tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getBaseRollupProof (../../bb-prover/src/prover/bb_prover.ts:289:13) + + console.log + Executing BB with: prove_tube -o /mnt/user-data/adam/.aztec/cache/3ce379fd16fdad02691c71e4c54360290cdd49348009636fc2d16108e33537ec -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bb COMMAND is: prove_tube + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: avm_prove --avm-bytecode /tmp/bb-NGMb5D/tmp-W8Xxny/avm_bytecode.bin --avm-calldata /tmp/bb-NGMb5D/tmp-W8Xxny/avm_calldata.bin --avm-public-inputs /tmp/bb-NGMb5D/tmp-W8Xxny/avm_public_inputs.bin --avm-hints /tmp/bb-NGMb5D/tmp-W8Xxny/avm_hints.bin -o /tmp/bb-NGMb5D/tmp-W8Xxny -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: avm_prove + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bytecode size: 31425 + calldata size: 7 + public_inputs size: 578 + hints.storage_value_hints size: 2 + hints.note_hash_exists_hints size: 0 + hints.nullifier_exists_hints size: 1 + hints.l1_to_l2_message_exists_hints size: 0 + hints.externalcall_hints size: 0 + hints.contract_instance_hints size: 0 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Deserialized 2541 instructions + ------- GENERATING TRACE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + ------- PROVING DONE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof written to: "/tmp/bb-NGMb5D/tmp-W8Xxny/proof" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk written to: "/tmp/bb-NGMb5D/tmp-W8Xxny/vk" + vk as fields written to: "/tmp/bb-NGMb5D/tmp-W8Xxny/vk_fields.json" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-tgxFzF -b /tmp/bb-NGMb5D/tmp-tgxFzF/RootParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-tgxFzF/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-tgxFzF/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-tgxFzF/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-tgxFzF/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-tgxFzF/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-b1cMMT/proof -k /tmp/bb-NGMb5D/tmp-b1cMMT/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-QycaTh/proof -k /tmp/bb-NGMb5D/tmp-QycaTh/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-QycaTh/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-qQLoOH/proof -k /tmp/bb-NGMb5D/tmp-qQLoOH/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-HNBsk5/proof -k /tmp/bb-NGMb5D/tmp-HNBsk5/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-2eDSyN/proof -k /tmp/bb-NGMb5D/tmp-2eDSyN/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-1YsvLq -b /tmp/bb-NGMb5D/tmp-1YsvLq/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-1YsvLq/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-1YsvLq/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-1YsvLq/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-1YsvLq/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-1YsvLq/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-XqyZd4/proof -k /tmp/bb-NGMb5D/tmp-XqyZd4/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-jT72gz -b /tmp/bb-NGMb5D/tmp-jT72gz/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-jT72gz/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-jT72gz/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-jT72gz/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-jT72gz/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-jT72gz/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-NViIXQ/proof -k /tmp/bb-NGMb5D/tmp-NViIXQ/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-SX7S6L -b /tmp/bb-NGMb5D/tmp-SX7S6L/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-SX7S6L/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-SX7S6L/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-SX7S6L/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-SX7S6L/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-SX7S6L/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-qG5rfB/proof -k /tmp/bb-NGMb5D/tmp-qG5rfB/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-AqW8MR -b /tmp/bb-NGMb5D/tmp-AqW8MR/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-AqW8MR/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-AqW8MR/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-AqW8MR/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-AqW8MR/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-AqW8MR/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-D3PYLw/proof -k /tmp/bb-NGMb5D/tmp-D3PYLw/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-ZUisp6/proof -k /tmp/bb-NGMb5D/tmp-ZUisp6/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-ZUisp6/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + !tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getBaseRollupProof (../../bb-prover/src/prover/bb_prover.ts:289:13) + + console.log + Executing BB with: prove_tube -o /mnt/user-data/adam/.aztec/cache/3ce379fd16fdad02691c71e4c54360290cdd49348009636fc2d16108e33537ec -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_tube + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + num gates: 19560507 + generating proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + num gates: 19560507 + generating proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + verificaton key length in fields:103 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Native verification of the tube_proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Tube proof verification: 1 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-NYXFVH -b /tmp/bb-NGMb5D/tmp-NYXFVH/BaseRollupArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-NYXFVH/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-NYXFVH/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-NYXFVH/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk written to: /tmp/bb-NGMb5D/tmp-NYXFVH/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-NYXFVH/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-vzCABY/proof -k /tmp/bb-NGMb5D/tmp-vzCABY/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: avm_prove --avm-bytecode /tmp/bb-NGMb5D/tmp-1LxDRZ/avm_bytecode.bin --avm-calldata /tmp/bb-NGMb5D/tmp-1LxDRZ/avm_calldata.bin --avm-public-inputs /tmp/bb-NGMb5D/tmp-1LxDRZ/avm_public_inputs.bin --avm-hints /tmp/bb-NGMb5D/tmp-1LxDRZ/avm_hints.bin -o /tmp/bb-NGMb5D/tmp-1LxDRZ -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: avm_prove + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bytecode size: 31425 + calldata size: 7 + public_inputs size: 578 + hints.storage_value_hints size: 2 + hints.note_hash_exists_hints size: 0 + hints.nullifier_exists_hints size: 1 + hints.l1_to_l2_message_exists_hints size: 0 + hints.externalcall_hints size: 0 + hints.contract_instance_hints size: 0 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Deserialized 2541 instructions + ------- GENERATING TRACE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + verificaton key length in fields:103 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Native verification of the tube_proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Tube proof verification: 1 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + ------- PROVING DONE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof written to: "/tmp/bb-NGMb5D/tmp-1LxDRZ/proof" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk written to: "/tmp/bb-NGMb5D/tmp-1LxDRZ/vk" + vk as fields written to: "/tmp/bb-NGMb5D/tmp-1LxDRZ/vk_fields.json" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-tOTqeb -b /tmp/bb-NGMb5D/tmp-tOTqeb/RootParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-tOTqeb/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-Pvednj -b /tmp/bb-NGMb5D/tmp-Pvednj/BaseRollupArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-Pvednj/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-tOTqeb/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-tOTqeb/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-tOTqeb/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-tOTqeb/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-bznnik/proof -k /tmp/bb-NGMb5D/tmp-bznnik/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-cGfoKU/proof -k /tmp/bb-NGMb5D/tmp-cGfoKU/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-cGfoKU/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-AmeKtv/proof -k /tmp/bb-NGMb5D/tmp-AmeKtv/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-EYJj4Z/proof -k /tmp/bb-NGMb5D/tmp-EYJj4Z/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-J8ETwM/proof -k /tmp/bb-NGMb5D/tmp-J8ETwM/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-kFcB2N -b /tmp/bb-NGMb5D/tmp-kFcB2N/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-kFcB2N/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-kFcB2N/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-kFcB2N/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-kFcB2N/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-kFcB2N/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-hOfNB3/proof -k /tmp/bb-NGMb5D/tmp-hOfNB3/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-6VSlCo -b /tmp/bb-NGMb5D/tmp-6VSlCo/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-6VSlCo/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-6VSlCo/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-6VSlCo/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-6VSlCo/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-6VSlCo/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-wfsqID/proof -k /tmp/bb-NGMb5D/tmp-wfsqID/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-Pvednj/proof + proof as fields written to: /tmp/bb-NGMb5D/tmp-Pvednj/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-Pvednj/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-Pvednj/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-HkWqFV -b /tmp/bb-NGMb5D/tmp-HkWqFV/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-HkWqFV/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-HhwScr/proof -k /tmp/bb-NGMb5D/tmp-HhwScr/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-4OLVs9 -b /tmp/bb-NGMb5D/tmp-4OLVs9/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-4OLVs9/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-HkWqFV/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-HkWqFV/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-HkWqFV/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-HkWqFV/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-8bSXLL/proof -k /tmp/bb-NGMb5D/tmp-8bSXLL/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-BBjs6r/proof -k /tmp/bb-NGMb5D/tmp-BBjs6r/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-BBjs6r/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + !tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getBaseRollupProof (../../bb-prover/src/prover/bb_prover.ts:289:13) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-4OLVs9/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-4OLVs9/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-4OLVs9/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-4OLVs9/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-Ss3cRK/proof -k /tmp/bb-NGMb5D/tmp-Ss3cRK/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: avm_prove --avm-bytecode /tmp/bb-NGMb5D/tmp-VVflZ7/avm_bytecode.bin --avm-calldata /tmp/bb-NGMb5D/tmp-VVflZ7/avm_calldata.bin --avm-public-inputs /tmp/bb-NGMb5D/tmp-VVflZ7/avm_public_inputs.bin --avm-hints /tmp/bb-NGMb5D/tmp-VVflZ7/avm_hints.bin -o /tmp/bb-NGMb5D/tmp-VVflZ7 -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: avm_prove + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bytecode size: 31425 + calldata size: 7 + public_inputs size: 578 + hints.storage_value_hints size: 2 + hints.note_hash_exists_hints size: 0 + hints.nullifier_exists_hints size: 1 + hints.l1_to_l2_message_exists_hints size: 0 + hints.externalcall_hints size: 0 + hints.contract_instance_hints size: 0 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Deserialized 2541 instructions + ------- GENERATING TRACE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-zNS5i8 -b /tmp/bb-NGMb5D/tmp-zNS5i8/BaseRollupArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-zNS5i8/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-zNS5i8/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-zNS5i8/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk written to: /tmp/bb-NGMb5D/tmp-zNS5i8/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-zNS5i8/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-uwnojJ/proof -k /tmp/bb-NGMb5D/tmp-uwnojJ/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-9PoMDV -b /tmp/bb-NGMb5D/tmp-9PoMDV/RootParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-9PoMDV/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + ------- PROVING DONE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof written to: "/tmp/bb-NGMb5D/tmp-VVflZ7/proof" + vk written to: "/tmp/bb-NGMb5D/tmp-VVflZ7/vk" + vk as fields written to: "/tmp/bb-NGMb5D/tmp-VVflZ7/vk_fields.json" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-rujAwm/proof -k /tmp/bb-NGMb5D/tmp-rujAwm/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-rujAwm/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-6g98La/proof -k /tmp/bb-NGMb5D/tmp-6g98La/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-bP5LfS/proof -k /tmp/bb-NGMb5D/tmp-bP5LfS/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-X1tAJU/proof -k /tmp/bb-NGMb5D/tmp-X1tAJU/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-zesrJc -b /tmp/bb-NGMb5D/tmp-zesrJc/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-zesrJc/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-zesrJc/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-zesrJc/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-zesrJc/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-zesrJc/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-MsDEmn/proof -k /tmp/bb-NGMb5D/tmp-MsDEmn/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-qIMwDU -b /tmp/bb-NGMb5D/tmp-qIMwDU/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-qIMwDU/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-qIMwDU/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-qIMwDU/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-qIMwDU/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-qIMwDU/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-AizvzS/proof -k /tmp/bb-NGMb5D/tmp-AizvzS/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-QgPWgL -b /tmp/bb-NGMb5D/tmp-QgPWgL/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-QgPWgL/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-QgPWgL/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-QgPWgL/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-QgPWgL/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-QgPWgL/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-Mfc6sY/proof -k /tmp/bb-NGMb5D/tmp-Mfc6sY/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-tRUVOe -b /tmp/bb-NGMb5D/tmp-tRUVOe/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-tRUVOe/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-tRUVOe/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-tRUVOe/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-tRUVOe/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-tRUVOe/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-8INuHl/proof -k /tmp/bb-NGMb5D/tmp-8INuHl/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-4eJ7DZ/proof -k /tmp/bb-NGMb5D/tmp-4eJ7DZ/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-4eJ7DZ/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + !tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getBaseRollupProof (../../bb-prover/src/prover/bb_prover.ts:289:13) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-HENF1y -b /tmp/bb-NGMb5D/tmp-HENF1y/BaseRollupArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-HENF1y/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-9PoMDV/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-9PoMDV/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-9PoMDV/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-9PoMDV/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-hl2QWQ/proof -k /tmp/bb-NGMb5D/tmp-hl2QWQ/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: avm_prove --avm-bytecode /tmp/bb-NGMb5D/tmp-CaJvwW/avm_bytecode.bin --avm-calldata /tmp/bb-NGMb5D/tmp-CaJvwW/avm_calldata.bin --avm-public-inputs /tmp/bb-NGMb5D/tmp-CaJvwW/avm_public_inputs.bin --avm-hints /tmp/bb-NGMb5D/tmp-CaJvwW/avm_hints.bin -o /tmp/bb-NGMb5D/tmp-CaJvwW -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: avm_prove + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bytecode size: 31425 + calldata size: 7 + public_inputs size: 578 + hints.storage_value_hints size: 2 + hints.note_hash_exists_hints size: 0 + hints.nullifier_exists_hints size: 1 + hints.l1_to_l2_message_exists_hints size: 0 + hints.externalcall_hints size: 0 + hints.contract_instance_hints size: 0 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Deserialized 2541 instructions + ------- GENERATING TRACE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-HENF1y/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-HENF1y/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk written to: /tmp/bb-NGMb5D/tmp-HENF1y/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-HENF1y/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-vY5OD4/proof -k /tmp/bb-NGMb5D/tmp-vY5OD4/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-xRtUz6 -b /tmp/bb-NGMb5D/tmp-xRtUz6/RootParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-xRtUz6/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + ------- PROVING DONE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof written to: "/tmp/bb-NGMb5D/tmp-CaJvwW/proof" + vk written to: "/tmp/bb-NGMb5D/tmp-CaJvwW/vk" + vk as fields written to: "/tmp/bb-NGMb5D/tmp-CaJvwW/vk_fields.json" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-PbqCki/proof -k /tmp/bb-NGMb5D/tmp-PbqCki/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-PbqCki/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-DD4pNs/proof -k /tmp/bb-NGMb5D/tmp-DD4pNs/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-iP7hAL/proof -k /tmp/bb-NGMb5D/tmp-iP7hAL/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-xeZRC2/proof -k /tmp/bb-NGMb5D/tmp-xeZRC2/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-ZGapbO -b /tmp/bb-NGMb5D/tmp-ZGapbO/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-ZGapbO/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-ZGapbO/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-ZGapbO/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-ZGapbO/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-ZGapbO/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-htMtRq/proof -k /tmp/bb-NGMb5D/tmp-htMtRq/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-djV5T3 -b /tmp/bb-NGMb5D/tmp-djV5T3/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-djV5T3/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-djV5T3/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-djV5T3/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-djV5T3/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-djV5T3/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-CkJ8a6/proof -k /tmp/bb-NGMb5D/tmp-CkJ8a6/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-ve8hNc -b /tmp/bb-NGMb5D/tmp-ve8hNc/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-ve8hNc/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-ve8hNc/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-ve8hNc/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-ve8hNc/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-ve8hNc/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-1XEVV0/proof -k /tmp/bb-NGMb5D/tmp-1XEVV0/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-Q7oLih -b /tmp/bb-NGMb5D/tmp-Q7oLih/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-Q7oLih/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-Q7oLih/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-Q7oLih/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-Q7oLih/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-Q7oLih/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-ld4KNU/proof -k /tmp/bb-NGMb5D/tmp-ld4KNU/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-6w17mj/proof -k /tmp/bb-NGMb5D/tmp-6w17mj/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-6w17mj/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + !tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getBaseRollupProof (../../bb-prover/src/prover/bb_prover.ts:289:13) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-xRtUz6/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-xRtUz6/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-xRtUz6/vk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk as fields written to: /tmp/bb-NGMb5D/tmp-xRtUz6/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-wTF4e5/proof -k /tmp/bb-NGMb5D/tmp-wTF4e5/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: avm_prove --avm-bytecode /tmp/bb-NGMb5D/tmp-ihbU3x/avm_bytecode.bin --avm-calldata /tmp/bb-NGMb5D/tmp-ihbU3x/avm_calldata.bin --avm-public-inputs /tmp/bb-NGMb5D/tmp-ihbU3x/avm_public_inputs.bin --avm-hints /tmp/bb-NGMb5D/tmp-ihbU3x/avm_hints.bin -o /tmp/bb-NGMb5D/tmp-ihbU3x -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: avm_prove + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bytecode size: 31425 + calldata size: 7 + public_inputs size: 578 + hints.storage_value_hints size: 2 + hints.note_hash_exists_hints size: 0 + hints.nullifier_exists_hints size: 1 + hints.l1_to_l2_message_exists_hints size: 0 + hints.externalcall_hints size: 0 + hints.contract_instance_hints size: 0 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Deserialized 2541 instructions + ------- GENERATING TRACE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-o6zuE2 -b /tmp/bb-NGMb5D/tmp-o6zuE2/BaseRollupArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-o6zuE2/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-o6zuE2/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-o6zuE2/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-o6zuE2/vk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk as fields written to: /tmp/bb-NGMb5D/tmp-o6zuE2/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-NOhnDv/proof -k /tmp/bb-NGMb5D/tmp-NOhnDv/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-g9c6cL -b /tmp/bb-NGMb5D/tmp-g9c6cL/RootParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-g9c6cL/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + ------- PROVING DONE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof written to: "/tmp/bb-NGMb5D/tmp-ihbU3x/proof" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk written to: "/tmp/bb-NGMb5D/tmp-ihbU3x/vk" + vk as fields written to: "/tmp/bb-NGMb5D/tmp-ihbU3x/vk_fields.json" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-a6wviE/proof -k /tmp/bb-NGMb5D/tmp-a6wviE/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-a6wviE/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-hKXrtD/proof -k /tmp/bb-NGMb5D/tmp-hKXrtD/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-8ZSAwY/proof -k /tmp/bb-NGMb5D/tmp-8ZSAwY/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-54rBDq/proof -k /tmp/bb-NGMb5D/tmp-54rBDq/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-4WVVfy -b /tmp/bb-NGMb5D/tmp-4WVVfy/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-4WVVfy/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-4WVVfy/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-4WVVfy/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-4WVVfy/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-4WVVfy/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-3LNYb0/proof -k /tmp/bb-NGMb5D/tmp-3LNYb0/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-mGpHZZ -b /tmp/bb-NGMb5D/tmp-mGpHZZ/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-mGpHZZ/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-mGpHZZ/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-mGpHZZ/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-mGpHZZ/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-mGpHZZ/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-iELN7j/proof -k /tmp/bb-NGMb5D/tmp-iELN7j/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-Yo4EuP -b /tmp/bb-NGMb5D/tmp-Yo4EuP/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-Yo4EuP/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-Yo4EuP/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-Yo4EuP/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-Yo4EuP/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-Yo4EuP/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-oeraKV/proof -k /tmp/bb-NGMb5D/tmp-oeraKV/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-8fYpR4 -b /tmp/bb-NGMb5D/tmp-8fYpR4/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-8fYpR4/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-8fYpR4/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-8fYpR4/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-8fYpR4/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-8fYpR4/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-5fUOjh/proof -k /tmp/bb-NGMb5D/tmp-5fUOjh/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-iK9qyX/proof -k /tmp/bb-NGMb5D/tmp-iK9qyX/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-iK9qyX/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + !tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getBaseRollupProof (../../bb-prover/src/prover/bb_prover.ts:289:13) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-UTiKCw -b /tmp/bb-NGMb5D/tmp-UTiKCw/BaseRollupArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-UTiKCw/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-g9c6cL/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-g9c6cL/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-g9c6cL/vk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk as fields written to: /tmp/bb-NGMb5D/tmp-g9c6cL/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-AojVXT/proof -k /tmp/bb-NGMb5D/tmp-AojVXT/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: avm_prove --avm-bytecode /tmp/bb-NGMb5D/tmp-jbM0dL/avm_bytecode.bin --avm-calldata /tmp/bb-NGMb5D/tmp-jbM0dL/avm_calldata.bin --avm-public-inputs /tmp/bb-NGMb5D/tmp-jbM0dL/avm_public_inputs.bin --avm-hints /tmp/bb-NGMb5D/tmp-jbM0dL/avm_hints.bin -o /tmp/bb-NGMb5D/tmp-jbM0dL -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: avm_prove + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bytecode size: 31425 + calldata size: 7 + public_inputs size: 578 + hints.storage_value_hints size: 2 + hints.note_hash_exists_hints size: 0 + hints.nullifier_exists_hints size: 1 + hints.l1_to_l2_message_exists_hints size: 0 + hints.externalcall_hints size: 0 + hints.contract_instance_hints size: 0 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Deserialized 2541 instructions + ------- GENERATING TRACE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-UTiKCw/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-UTiKCw/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-UTiKCw/vk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk as fields written to: /tmp/bb-NGMb5D/tmp-UTiKCw/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-bVNs7e/proof -k /tmp/bb-NGMb5D/tmp-bVNs7e/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-WyW9fH -b /tmp/bb-NGMb5D/tmp-WyW9fH/RootParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-WyW9fH/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + ------- PROVING DONE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof written to: "/tmp/bb-NGMb5D/tmp-jbM0dL/proof" + vk written to: "/tmp/bb-NGMb5D/tmp-jbM0dL/vk" + vk as fields written to: "/tmp/bb-NGMb5D/tmp-jbM0dL/vk_fields.json" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-wrZhcF/proof -k /tmp/bb-NGMb5D/tmp-wrZhcF/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-wrZhcF/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-XIfJ8p/proof -k /tmp/bb-NGMb5D/tmp-XIfJ8p/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-9iKA4Q/proof -k /tmp/bb-NGMb5D/tmp-9iKA4Q/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-HS20Wb/proof -k /tmp/bb-NGMb5D/tmp-HS20Wb/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-5QQ6Cj -b /tmp/bb-NGMb5D/tmp-5QQ6Cj/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-5QQ6Cj/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-5QQ6Cj/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-5QQ6Cj/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-5QQ6Cj/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-5QQ6Cj/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-e4Yrm6/proof -k /tmp/bb-NGMb5D/tmp-e4Yrm6/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-aKnvha -b /tmp/bb-NGMb5D/tmp-aKnvha/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-aKnvha/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-aKnvha/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-aKnvha/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-aKnvha/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-aKnvha/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-w4u8VL/proof -k /tmp/bb-NGMb5D/tmp-w4u8VL/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-WYFq8a -b /tmp/bb-NGMb5D/tmp-WYFq8a/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-WYFq8a/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-WYFq8a/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-WYFq8a/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-WYFq8a/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-WYFq8a/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-yxII9E/proof -k /tmp/bb-NGMb5D/tmp-yxII9E/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-TCmCZi -b /tmp/bb-NGMb5D/tmp-TCmCZi/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-TCmCZi/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-TCmCZi/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-TCmCZi/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk written to: /tmp/bb-NGMb5D/tmp-TCmCZi/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-TCmCZi/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-CcseEY/proof -k /tmp/bb-NGMb5D/tmp-CcseEY/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-eXn9Ac/proof -k /tmp/bb-NGMb5D/tmp-eXn9Ac/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-eXn9Ac/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + !tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getBaseRollupProof (../../bb-prover/src/prover/bb_prover.ts:289:13) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-WyW9fH/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-WyW9fH/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-WyW9fH/vk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk as fields written to: /tmp/bb-NGMb5D/tmp-WyW9fH/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-ykMoRf/proof -k /tmp/bb-NGMb5D/tmp-ykMoRf/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: avm_prove --avm-bytecode /tmp/bb-NGMb5D/tmp-ptId6x/avm_bytecode.bin --avm-calldata /tmp/bb-NGMb5D/tmp-ptId6x/avm_calldata.bin --avm-public-inputs /tmp/bb-NGMb5D/tmp-ptId6x/avm_public_inputs.bin --avm-hints /tmp/bb-NGMb5D/tmp-ptId6x/avm_hints.bin -o /tmp/bb-NGMb5D/tmp-ptId6x -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: avm_prove + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bytecode size: 31425 + calldata size: 7 + public_inputs size: 578 + hints.storage_value_hints size: 2 + hints.note_hash_exists_hints size: 0 + hints.nullifier_exists_hints size: 1 + hints.l1_to_l2_message_exists_hints size: 0 + hints.externalcall_hints size: 0 + hints.contract_instance_hints size: 0 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Deserialized 2541 instructions + ------- GENERATING TRACE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-USsb8k -b /tmp/bb-NGMb5D/tmp-USsb8k/BaseRollupArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-USsb8k/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-USsb8k/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-USsb8k/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk written to: /tmp/bb-NGMb5D/tmp-USsb8k/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-USsb8k/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-OHlgge/proof -k /tmp/bb-NGMb5D/tmp-OHlgge/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-33KQQQ -b /tmp/bb-NGMb5D/tmp-33KQQQ/RootParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-33KQQQ/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + ------- PROVING DONE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof written to: "/tmp/bb-NGMb5D/tmp-ptId6x/proof" + vk written to: "/tmp/bb-NGMb5D/tmp-ptId6x/vk" + vk as fields written to: "/tmp/bb-NGMb5D/tmp-ptId6x/vk_fields.json" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-6BCp9A/proof -k /tmp/bb-NGMb5D/tmp-6BCp9A/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-6BCp9A/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-N2KqNl/proof -k /tmp/bb-NGMb5D/tmp-N2KqNl/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-rIa5yA/proof -k /tmp/bb-NGMb5D/tmp-rIa5yA/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-e07hIl/proof -k /tmp/bb-NGMb5D/tmp-e07hIl/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-mDBo1X -b /tmp/bb-NGMb5D/tmp-mDBo1X/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-mDBo1X/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-mDBo1X/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-mDBo1X/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-mDBo1X/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-mDBo1X/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-cK5jah/proof -k /tmp/bb-NGMb5D/tmp-cK5jah/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-HVhnCo -b /tmp/bb-NGMb5D/tmp-HVhnCo/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-HVhnCo/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-HVhnCo/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-HVhnCo/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-HVhnCo/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-HVhnCo/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-ROz0ze/proof -k /tmp/bb-NGMb5D/tmp-ROz0ze/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-AOYsqb -b /tmp/bb-NGMb5D/tmp-AOYsqb/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-AOYsqb/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-AOYsqb/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-AOYsqb/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-AOYsqb/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-AOYsqb/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-0pyUL6/proof -k /tmp/bb-NGMb5D/tmp-0pyUL6/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-KbIpGO -b /tmp/bb-NGMb5D/tmp-KbIpGO/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-KbIpGO/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-KbIpGO/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-KbIpGO/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-KbIpGO/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-KbIpGO/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-DNTYWY/proof -k /tmp/bb-NGMb5D/tmp-DNTYWY/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-wJwBF6/proof -k /tmp/bb-NGMb5D/tmp-wJwBF6/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-wJwBF6/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + !tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getBaseRollupProof (../../bb-prover/src/prover/bb_prover.ts:289:13) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-3kgZUS -b /tmp/bb-NGMb5D/tmp-3kgZUS/BaseRollupArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-3kgZUS/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-33KQQQ/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-33KQQQ/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-33KQQQ/vk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk as fields written to: /tmp/bb-NGMb5D/tmp-33KQQQ/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-590ooE/proof -k /tmp/bb-NGMb5D/tmp-590ooE/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: avm_prove --avm-bytecode /tmp/bb-NGMb5D/tmp-2veZvX/avm_bytecode.bin --avm-calldata /tmp/bb-NGMb5D/tmp-2veZvX/avm_calldata.bin --avm-public-inputs /tmp/bb-NGMb5D/tmp-2veZvX/avm_public_inputs.bin --avm-hints /tmp/bb-NGMb5D/tmp-2veZvX/avm_hints.bin -o /tmp/bb-NGMb5D/tmp-2veZvX -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: avm_prove + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bytecode size: 31425 + calldata size: 7 + public_inputs size: 578 + hints.storage_value_hints size: 2 + hints.note_hash_exists_hints size: 0 + hints.nullifier_exists_hints size: 1 + hints.l1_to_l2_message_exists_hints size: 0 + hints.externalcall_hints size: 0 + hints.contract_instance_hints size: 0 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Deserialized 2541 instructions + ------- GENERATING TRACE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-3kgZUS/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-3kgZUS/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk written to: /tmp/bb-NGMb5D/tmp-3kgZUS/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-3kgZUS/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-wgYE4z/proof -k /tmp/bb-NGMb5D/tmp-wgYE4z/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-on5zmb -b /tmp/bb-NGMb5D/tmp-on5zmb/RootParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-on5zmb/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + ------- PROVING DONE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof written to: "/tmp/bb-NGMb5D/tmp-2veZvX/proof" + vk written to: "/tmp/bb-NGMb5D/tmp-2veZvX/vk" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk as fields written to: "/tmp/bb-NGMb5D/tmp-2veZvX/vk_fields.json" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-uiu02r/proof -k /tmp/bb-NGMb5D/tmp-uiu02r/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-uiu02r/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-uiutyd/proof -k /tmp/bb-NGMb5D/tmp-uiutyd/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-1yH6p5/proof -k /tmp/bb-NGMb5D/tmp-1yH6p5/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-juIfIN/proof -k /tmp/bb-NGMb5D/tmp-juIfIN/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-3jPgz6 -b /tmp/bb-NGMb5D/tmp-3jPgz6/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-3jPgz6/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-3jPgz6/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-3jPgz6/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-3jPgz6/vk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk as fields written to: /tmp/bb-NGMb5D/tmp-3jPgz6/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-0r5KN8/proof -k /tmp/bb-NGMb5D/tmp-0r5KN8/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-7xl3cz -b /tmp/bb-NGMb5D/tmp-7xl3cz/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-7xl3cz/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-7xl3cz/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-7xl3cz/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-7xl3cz/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-7xl3cz/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-EV3aWF/proof -k /tmp/bb-NGMb5D/tmp-EV3aWF/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-pN4LoR -b /tmp/bb-NGMb5D/tmp-pN4LoR/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-pN4LoR/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-pN4LoR/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-pN4LoR/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-pN4LoR/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-pN4LoR/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-dbPkDz/proof -k /tmp/bb-NGMb5D/tmp-dbPkDz/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-tFPd6R -b /tmp/bb-NGMb5D/tmp-tFPd6R/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-tFPd6R/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-tFPd6R/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-tFPd6R/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-tFPd6R/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-tFPd6R/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-FeS5xo/proof -k /tmp/bb-NGMb5D/tmp-FeS5xo/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-Fhyyly/proof -k /tmp/bb-NGMb5D/tmp-Fhyyly/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-Fhyyly/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + !tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getBaseRollupProof (../../bb-prover/src/prover/bb_prover.ts:289:13) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-vpDqQV -b /tmp/bb-NGMb5D/tmp-vpDqQV/BaseRollupArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-vpDqQV/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-on5zmb/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-on5zmb/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-on5zmb/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-on5zmb/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-qMotTk/proof -k /tmp/bb-NGMb5D/tmp-qMotTk/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: avm_prove --avm-bytecode /tmp/bb-NGMb5D/tmp-2UNfnB/avm_bytecode.bin --avm-calldata /tmp/bb-NGMb5D/tmp-2UNfnB/avm_calldata.bin --avm-public-inputs /tmp/bb-NGMb5D/tmp-2UNfnB/avm_public_inputs.bin --avm-hints /tmp/bb-NGMb5D/tmp-2UNfnB/avm_hints.bin -o /tmp/bb-NGMb5D/tmp-2UNfnB -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: avm_prove + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bytecode size: 31425 + calldata size: 7 + public_inputs size: 578 + hints.storage_value_hints size: 2 + hints.note_hash_exists_hints size: 0 + hints.nullifier_exists_hints size: 1 + hints.l1_to_l2_message_exists_hints size: 0 + hints.externalcall_hints size: 0 + hints.contract_instance_hints size: 0 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Deserialized 2541 instructions + ------- GENERATING TRACE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-vpDqQV/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-vpDqQV/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-vpDqQV/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-vpDqQV/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-b2aAx2/proof -k /tmp/bb-NGMb5D/tmp-b2aAx2/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-sETn61 -b /tmp/bb-NGMb5D/tmp-sETn61/RootParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-sETn61/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + ------- PROVING DONE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof written to: "/tmp/bb-NGMb5D/tmp-2UNfnB/proof" + vk written to: "/tmp/bb-NGMb5D/tmp-2UNfnB/vk" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk as fields written to: "/tmp/bb-NGMb5D/tmp-2UNfnB/vk_fields.json" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-JfFFAq/proof -k /tmp/bb-NGMb5D/tmp-JfFFAq/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-JfFFAq/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-IKjf7b/proof -k /tmp/bb-NGMb5D/tmp-IKjf7b/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-Z1HR3e/proof -k /tmp/bb-NGMb5D/tmp-Z1HR3e/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-moXyMq/proof -k /tmp/bb-NGMb5D/tmp-moXyMq/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-iQFynk -b /tmp/bb-NGMb5D/tmp-iQFynk/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-iQFynk/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-iQFynk/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-iQFynk/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-iQFynk/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-iQFynk/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-3xGkNJ/proof -k /tmp/bb-NGMb5D/tmp-3xGkNJ/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-kfMu8c -b /tmp/bb-NGMb5D/tmp-kfMu8c/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-kfMu8c/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-kfMu8c/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-kfMu8c/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-kfMu8c/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-kfMu8c/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-d7npjK/proof -k /tmp/bb-NGMb5D/tmp-d7npjK/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-7Pqxx8 -b /tmp/bb-NGMb5D/tmp-7Pqxx8/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-7Pqxx8/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-7Pqxx8/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-7Pqxx8/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-7Pqxx8/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-7Pqxx8/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-VmDukr/proof -k /tmp/bb-NGMb5D/tmp-VmDukr/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-fPUiNt -b /tmp/bb-NGMb5D/tmp-fPUiNt/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-fPUiNt/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-fPUiNt/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-fPUiNt/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-fPUiNt/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-fPUiNt/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-fvQxxn/proof -k /tmp/bb-NGMb5D/tmp-fvQxxn/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-p5zfDP/proof -k /tmp/bb-NGMb5D/tmp-p5zfDP/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-p5zfDP/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + !tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getBaseRollupProof (../../bb-prover/src/prover/bb_prover.ts:289:13) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-efaR9Y -b /tmp/bb-NGMb5D/tmp-efaR9Y/BaseRollupArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-efaR9Y/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-sETn61/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-sETn61/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-sETn61/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-sETn61/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-i6MqLI/proof -k /tmp/bb-NGMb5D/tmp-i6MqLI/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: avm_prove --avm-bytecode /tmp/bb-NGMb5D/tmp-Nm2loW/avm_bytecode.bin --avm-calldata /tmp/bb-NGMb5D/tmp-Nm2loW/avm_calldata.bin --avm-public-inputs /tmp/bb-NGMb5D/tmp-Nm2loW/avm_public_inputs.bin --avm-hints /tmp/bb-NGMb5D/tmp-Nm2loW/avm_hints.bin -o /tmp/bb-NGMb5D/tmp-Nm2loW -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: avm_prove + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bytecode size: 31425 + calldata size: 7 + public_inputs size: 578 + hints.storage_value_hints size: 2 + hints.note_hash_exists_hints size: 0 + hints.nullifier_exists_hints size: 1 + hints.l1_to_l2_message_exists_hints size: 0 + hints.externalcall_hints size: 0 + hints.contract_instance_hints size: 0 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Deserialized 2541 instructions + ------- GENERATING TRACE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-efaR9Y/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-efaR9Y/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-efaR9Y/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-efaR9Y/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-n30msy/proof -k /tmp/bb-NGMb5D/tmp-n30msy/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-IsqAz4 -b /tmp/bb-NGMb5D/tmp-IsqAz4/RootParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-IsqAz4/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + ------- PROVING DONE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof written to: "/tmp/bb-NGMb5D/tmp-Nm2loW/proof" + vk written to: "/tmp/bb-NGMb5D/tmp-Nm2loW/vk" + vk as fields written to: "/tmp/bb-NGMb5D/tmp-Nm2loW/vk_fields.json" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-zhsMm8/proof -k /tmp/bb-NGMb5D/tmp-zhsMm8/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-zhsMm8/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-BDKImM/proof -k /tmp/bb-NGMb5D/tmp-BDKImM/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-UbhxmP/proof -k /tmp/bb-NGMb5D/tmp-UbhxmP/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-RwLA9P/proof -k /tmp/bb-NGMb5D/tmp-RwLA9P/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-ZzP1gK -b /tmp/bb-NGMb5D/tmp-ZzP1gK/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-ZzP1gK/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-ZzP1gK/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-ZzP1gK/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk written to: /tmp/bb-NGMb5D/tmp-ZzP1gK/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-ZzP1gK/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-W1kYQE/proof -k /tmp/bb-NGMb5D/tmp-W1kYQE/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-2xBZtJ -b /tmp/bb-NGMb5D/tmp-2xBZtJ/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-2xBZtJ/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-2xBZtJ/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-2xBZtJ/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-2xBZtJ/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-2xBZtJ/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-8jKFR7/proof -k /tmp/bb-NGMb5D/tmp-8jKFR7/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-dN11NO -b /tmp/bb-NGMb5D/tmp-dN11NO/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-dN11NO/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-dN11NO/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-dN11NO/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-dN11NO/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-dN11NO/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-quJ18v/proof -k /tmp/bb-NGMb5D/tmp-quJ18v/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-EiWlAy -b /tmp/bb-NGMb5D/tmp-EiWlAy/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-EiWlAy/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-EiWlAy/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-EiWlAy/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-EiWlAy/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-EiWlAy/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-6vjDhr/proof -k /tmp/bb-NGMb5D/tmp-6vjDhr/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-GdccQV/proof -k /tmp/bb-NGMb5D/tmp-GdccQV/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-GdccQV/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + !tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getBaseRollupProof (../../bb-prover/src/prover/bb_prover.ts:289:13) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-IsqAz4/proof + proof as fields written to: /tmp/bb-NGMb5D/tmp-IsqAz4/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-IsqAz4/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-IsqAz4/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-JZ4A6p/proof -k /tmp/bb-NGMb5D/tmp-JZ4A6p/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-LO6nFj -b /tmp/bb-NGMb5D/tmp-LO6nFj/BaseRollupArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-LO6nFj/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: avm_prove --avm-bytecode /tmp/bb-NGMb5D/tmp-QQlhQJ/avm_bytecode.bin --avm-calldata /tmp/bb-NGMb5D/tmp-QQlhQJ/avm_calldata.bin --avm-public-inputs /tmp/bb-NGMb5D/tmp-QQlhQJ/avm_public_inputs.bin --avm-hints /tmp/bb-NGMb5D/tmp-QQlhQJ/avm_hints.bin -o /tmp/bb-NGMb5D/tmp-QQlhQJ -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: avm_prove + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bytecode size: 31425 + calldata size: 7 + public_inputs size: 578 + hints.storage_value_hints size: 2 + hints.note_hash_exists_hints size: 0 + hints.nullifier_exists_hints size: 1 + hints.l1_to_l2_message_exists_hints size: 0 + hints.externalcall_hints size: 0 + hints.contract_instance_hints size: 0 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Deserialized 2541 instructions + ------- GENERATING TRACE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-LO6nFj/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-LO6nFj/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-LO6nFj/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-LO6nFj/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-1CKZji/proof -k /tmp/bb-NGMb5D/tmp-1CKZji/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-AmWnOW -b /tmp/bb-NGMb5D/tmp-AmWnOW/RootParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-AmWnOW/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + ------- PROVING DONE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof written to: "/tmp/bb-NGMb5D/tmp-QQlhQJ/proof" + vk written to: "/tmp/bb-NGMb5D/tmp-QQlhQJ/vk" + vk as fields written to: "/tmp/bb-NGMb5D/tmp-QQlhQJ/vk_fields.json" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-MGMqAZ/proof -k /tmp/bb-NGMb5D/tmp-MGMqAZ/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-MGMqAZ/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-ucI6Ly/proof -k /tmp/bb-NGMb5D/tmp-ucI6Ly/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-JqeSz9/proof -k /tmp/bb-NGMb5D/tmp-JqeSz9/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-Wtbr2B/proof -k /tmp/bb-NGMb5D/tmp-Wtbr2B/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-DL5xh1 -b /tmp/bb-NGMb5D/tmp-DL5xh1/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-DL5xh1/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + binary proof written to: /tmp/bb-NGMb5D/tmp-DL5xh1/proof + proof as fields written to: /tmp/bb-NGMb5D/tmp-DL5xh1/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-DL5xh1/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-DL5xh1/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-32uuMN/proof -k /tmp/bb-NGMb5D/tmp-32uuMN/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-2NetTx -b /tmp/bb-NGMb5D/tmp-2NetTx/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-2NetTx/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-2NetTx/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-2NetTx/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-2NetTx/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-2NetTx/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-ZcgpMx/proof -k /tmp/bb-NGMb5D/tmp-ZcgpMx/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-0FJ1qN -b /tmp/bb-NGMb5D/tmp-0FJ1qN/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-0FJ1qN/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-0FJ1qN/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-0FJ1qN/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-0FJ1qN/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-0FJ1qN/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-XTLbjG/proof -k /tmp/bb-NGMb5D/tmp-XTLbjG/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-TymAGe -b /tmp/bb-NGMb5D/tmp-TymAGe/BaseParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-TymAGe/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-TymAGe/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-TymAGe/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-TymAGe/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-TymAGe/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-bw9SD7/proof -k /tmp/bb-NGMb5D/tmp-bw9SD7/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-pBW1E6/proof -k /tmp/bb-NGMb5D/tmp-pBW1E6/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-pBW1E6/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + !tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getBaseRollupProof (../../bb-prover/src/prover/bb_prover.ts:289:13) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-exs03x -b /tmp/bb-NGMb5D/tmp-exs03x/BaseRollupArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-exs03x/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-AmWnOW/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-AmWnOW/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + vk written to: /tmp/bb-NGMb5D/tmp-AmWnOW/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-AmWnOW/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-sbnlda/proof -k /tmp/bb-NGMb5D/tmp-sbnlda/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: avm_prove --avm-bytecode /tmp/bb-NGMb5D/tmp-s0LFPQ/avm_bytecode.bin --avm-calldata /tmp/bb-NGMb5D/tmp-s0LFPQ/avm_calldata.bin --avm-public-inputs /tmp/bb-NGMb5D/tmp-s0LFPQ/avm_public_inputs.bin --avm-hints /tmp/bb-NGMb5D/tmp-s0LFPQ/avm_hints.bin -o /tmp/bb-NGMb5D/tmp-s0LFPQ -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: avm_prove + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bytecode size: 31425 + calldata size: 7 + public_inputs size: 578 + hints.storage_value_hints size: 2 + hints.note_hash_exists_hints size: 0 + hints.nullifier_exists_hints size: 1 + hints.l1_to_l2_message_exists_hints size: 0 + hints.externalcall_hints size: 0 + hints.contract_instance_hints size: 0 + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Deserialized 2541 instructions + ------- GENERATING TRACE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + binary proof written to: /tmp/bb-NGMb5D/tmp-exs03x/proof + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-exs03x/proof_fields.json + vk written to: /tmp/bb-NGMb5D/tmp-exs03x/vk + vk as fields written to: /tmp/bb-NGMb5D/tmp-exs03x/vk_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-6TfMjA/proof -k /tmp/bb-NGMb5D/tmp-6TfMjA/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck passed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: prove_ultra_honk_output_all -o /tmp/bb-NGMb5D/tmp-4rNVhj -b /tmp/bb-NGMb5D/tmp-4rNVhj/RootParityArtifact-bytecode -w /tmp/bb-NGMb5D/tmp-4rNVhj/partial-witness.gz -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: prove_ultra_honk_output_all + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + ------- PROVING DONE ------- + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof written to: "/tmp/bb-NGMb5D/tmp-s0LFPQ/proof" + vk written to: "/tmp/bb-NGMb5D/tmp-s0LFPQ/vk" + vk as fields written to: "/tmp/bb-NGMb5D/tmp-s0LFPQ/vk_fields.json" + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + Executing BB with: proof_as_fields_honk -p /tmp/bb-NGMb5D/tmp-DmO99D/proof -k /tmp/bb-NGMb5D/tmp-DmO99D/vk -v + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + in create_honk_recursion_constraints + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + bb COMMAND is: proof_as_fields_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + proof as fields written to: /tmp/bb-NGMb5D/tmp-DmO99D/proof_fields.json + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-9YzIDL/proof -k /tmp/bb-NGMb5D/tmp-9YzIDL/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-vP8Hl1/proof -k /tmp/bb-NGMb5D/tmp-vP8Hl1/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + PUBLIC KERNEL: tubeInput.clientIVCData.isEmpty(): true + + at BBNativeRollupProver.getPublicKernelProof (../../bb-prover/src/prover/bb_prover.ts:219:13) + + console.log + Executing BB with: verify_ultra_honk -p /tmp/bb-NGMb5D/tmp-MUgMv3/proof -k /tmp/bb-NGMb5D/tmp-MUgMv3/vk + + at Promise.catch.status (../../bb-prover/src/bb/execute.ts:70:13) + + console.log + bb COMMAND is: verify_ultra_honk + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) + + console.log + sumcheck failed + + at Socket. (../../bb-prover/src/bb/execute.ts:81:15) +