Skip to content

Instantly share code, notes, and snippets.

@mrain
Created September 10, 2024 15:35
Show Gist options
  • Save mrain/ff977829336214124ca79d777bd5af68 to your computer and use it in GitHub Desktop.
Save mrain/ff977829336214124ca79d777bd5af68 to your computer and use it in GitHub Desktop.
Rebuilding SP1 program ...
... done
Proving & Verifying SP1 program ...
2024-09-06T17:58:33.967491Z  INFO Requested degree 64 using next higher available degree 1024
2024-09-06T17:58:33.967662Z  INFO SRS file already exists.
Ns payload len for block 0: 146
Ns payload len for block 1: 280
Ns payload len for block 2: 845
Ns payload len for block 3: 196
Ns payload len for block 4: 172
Ns payload len for block 5: 1034
Ns payload len for block 6: 1731
Ns payload len for block 7: 1701
Ns payload length: 6105
2024-09-06T17:58:34.174629Z  INFO prove_core: clk = 0 pc = 0x271e8c
2024-09-06T17:58:34.174730Z  INFO prove_core: ┌╴input
2024-09-06T17:58:34.174766Z  INFO prove_core: │ ┌╴payload
2024-09-06T17:58:34.180827Z  INFO prove_core: │ └╴98,320 cycles
2024-09-06T17:58:34.180861Z  INFO prove_core: │ ┌╴vid_param
2024-09-06T17:58:34.212221Z  INFO prove_core: │ └╴346,236 cycles
2024-09-06T17:58:34.212554Z  INFO prove_core: │ ┌╴block derivation proof input
2024-09-06T17:58:34.409105Z  INFO prove_core: │ └╴2,964,294 cycles
2024-09-06T17:58:34.409159Z  INFO prove_core: └╴3,414,860 cycles
2024-09-06T17:58:34.409188Z  INFO prove_core: ┌╴rollup_commitment
2024-09-06T17:58:34.411649Z  INFO prove_core: └╴37,206 cycles
2024-09-06T17:58:34.411682Z  INFO prove_core: ┌╴derivation
2024-09-06T17:58:34.411713Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:34.411738Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:34.415331Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T17:58:34.417398Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:34.443979Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:34.444014Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:34.444444Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:34.444476Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:34.444502Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:34.444530Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:34.444555Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:34.444638Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 0
2024-09-06T17:58:34.479288Z  INFO prove_core: │ │ │ │ └╴505,847 cycles
2024-09-06T17:58:34.479368Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 0
2024-09-06T17:58:35.167135Z  INFO prove_core: │ │ │ │ └╴797,616 cycles
2024-09-06T17:58:35.167238Z  INFO prove_core: │ │ │ │ ┌╴check commit 0
2024-09-06T17:58:35.167330Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:35.167359Z  INFO prove_core: │ │ │ └╴1,308,874 cycles
2024-09-06T17:58:35.167390Z  INFO prove_core: │ │ └╴1,316,078 cycles
2024-09-06T17:58:35.167417Z  INFO prove_core: │ └╴1,879,329 cycles
2024-09-06T17:58:35.167446Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:35.167472Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:35.171222Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T17:58:35.173320Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:35.199882Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:35.199916Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:35.200660Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:35.200691Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:35.200717Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:35.200744Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:35.200769Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:35.200848Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 0
2024-09-06T17:58:35.236806Z  INFO prove_core: │ │ │ │ └╴529,474 cycles
2024-09-06T17:58:35.236885Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 0
2024-09-06T17:58:35.928950Z  INFO prove_core: │ │ │ │ └╴797,103 cycles
2024-09-06T17:58:35.929045Z  INFO prove_core: │ │ │ │ ┌╴check commit 0
2024-09-06T17:58:35.929135Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:35.929163Z  INFO prove_core: │ │ │ └╴1,331,988 cycles
2024-09-06T17:58:35.929193Z  INFO prove_core: │ │ └╴1,342,727 cycles
2024-09-06T17:58:35.929228Z  INFO prove_core: │ └╴1,905,978 cycles
2024-09-06T17:58:35.929257Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:35.929281Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:35.932979Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T17:58:35.935082Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:35.961665Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:35.961702Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:35.962749Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:35.962780Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:35.962806Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:35.962833Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:35.962857Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:35.962938Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 1
2024-09-06T17:58:36.003962Z  INFO prove_core: │ │ │ │ └╴608,923 cycles
2024-09-06T17:58:36.004043Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 1
2024-09-06T17:58:36.695573Z  INFO prove_core: │ │ │ │ └╴797,290 cycles
2024-09-06T17:58:36.695667Z  INFO prove_core: │ │ │ │ ┌╴check commit 1
2024-09-06T17:58:36.695755Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:36.695826Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 2
2024-09-06T17:58:36.727390Z  INFO prove_core: │ │ │ │ └╴465,027 cycles
2024-09-06T17:58:36.727469Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 2
2024-09-06T17:58:36.987591Z  INFO prove_core: clk = 10000000 pc = 0x26fb1c
2024-09-06T17:58:37.417641Z  INFO prove_core: │ │ │ │ └╴796,527 cycles
2024-09-06T17:58:37.417735Z  INFO prove_core: │ │ │ │ ┌╴check commit 2
2024-09-06T17:58:37.417824Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:37.417851Z  INFO prove_core: │ │ │ └╴2,678,050 cycles
2024-09-06T17:58:37.417882Z  INFO prove_core: │ │ └╴2,692,320 cycles
2024-09-06T17:58:37.417907Z  INFO prove_core: │ └╴3,255,571 cycles
2024-09-06T17:58:37.417934Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:37.417958Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:37.421704Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T17:58:37.423801Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:37.450372Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:37.450405Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:37.450843Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:37.450872Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:37.450898Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:37.450924Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:37.450949Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:37.451029Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 0
2024-09-06T17:58:37.486162Z  INFO prove_core: │ │ │ │ └╴515,832 cycles
2024-09-06T17:58:37.486251Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 0
2024-09-06T17:58:38.179344Z  INFO prove_core: │ │ │ │ └╴797,553 cycles
2024-09-06T17:58:38.179440Z  INFO prove_core: │ │ │ │ ┌╴check commit 0
2024-09-06T17:58:38.179530Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:38.179559Z  INFO prove_core: │ │ │ └╴1,318,796 cycles
2024-09-06T17:58:38.179589Z  INFO prove_core: │ │ └╴1,326,000 cycles
2024-09-06T17:58:38.179614Z  INFO prove_core: │ └╴1,889,251 cycles
2024-09-06T17:58:38.179641Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:38.179664Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:38.183378Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T17:58:38.185486Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:38.212110Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:38.212144Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:38.212589Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:38.212619Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:38.212645Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:38.212671Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:38.212706Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:38.212786Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 0
2024-09-06T17:58:38.247147Z  INFO prove_core: │ │ │ │ └╴503,096 cycles
2024-09-06T17:58:38.247234Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 0
2024-09-06T17:58:38.936786Z  INFO prove_core: │ │ │ │ └╴796,950 cycles
2024-09-06T17:58:38.936881Z  INFO prove_core: │ │ │ │ ┌╴check commit 0
2024-09-06T17:58:38.936972Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:38.936999Z  INFO prove_core: │ │ │ └╴1,305,457 cycles
2024-09-06T17:58:38.937028Z  INFO prove_core: │ │ └╴1,312,661 cycles
2024-09-06T17:58:38.937053Z  INFO prove_core: │ └╴1,875,912 cycles
2024-09-06T17:58:38.937079Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:38.937104Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:38.940840Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T17:58:38.942940Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:38.969524Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:38.969558Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:38.970605Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:38.970636Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:38.970662Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:38.970689Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:38.970714Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:38.970794Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 1
2024-09-06T17:58:39.013551Z  INFO prove_core: │ │ │ │ └╴635,422 cycles
2024-09-06T17:58:39.013637Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 1
2024-09-06T17:58:39.708062Z  INFO prove_core: │ │ │ │ └╴797,688 cycles
2024-09-06T17:58:39.708158Z  INFO prove_core: │ │ │ │ ┌╴check commit 1
2024-09-06T17:58:39.708258Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:39.708288Z  INFO prove_core: │ │ │ └╴1,438,521 cycles
2024-09-06T17:58:39.708319Z  INFO prove_core: │ │ └╴1,452,787 cycles
2024-09-06T17:58:39.708345Z  INFO prove_core: │ └╴2,016,038 cycles
2024-09-06T17:58:39.708373Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:39.708398Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:39.712118Z  INFO prove_core: │ │ └╴64,663 cycles
2024-09-06T17:58:39.714236Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:39.740832Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:39.740870Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:39.742768Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:39.742800Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:39.742837Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:39.742865Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:39.742890Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:39.742969Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 1
2024-09-06T17:58:39.792332Z  INFO prove_core: │ │ │ │ └╴735,929 cycles
2024-09-06T17:58:39.792413Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 1
2024-09-06T17:58:40.479729Z  INFO prove_core: │ │ │ │ └╴795,843 cycles
2024-09-06T17:58:40.479823Z  INFO prove_core: │ │ │ │ ┌╴check commit 1
2024-09-06T17:58:40.479913Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:40.479940Z  INFO prove_core: │ │ │ └╴1,537,183 cycles
2024-09-06T17:58:40.479970Z  INFO prove_core: │ │ └╴1,562,054 cycles
2024-09-06T17:58:40.479996Z  INFO prove_core: │ └╴2,125,226 cycles
2024-09-06T17:58:40.480023Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:40.480047Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:40.483794Z  INFO prove_core: │ │ └╴64,663 cycles
2024-09-06T17:58:40.485888Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:40.512461Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:40.512496Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:40.514391Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:40.514423Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:40.514449Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:40.514475Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:40.514501Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:40.514579Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 3
2024-09-06T17:58:40.563637Z  INFO prove_core: │ │ │ │ └╴731,164 cycles
2024-09-06T17:58:40.563719Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 3
2024-09-06T17:58:40.803380Z  INFO prove_core: clk = 20000000 pc = 0x26f5f4
2024-09-06T17:58:41.257440Z  INFO prove_core: │ │ │ │ └╴797,418 cycles
2024-09-06T17:58:41.257531Z  INFO prove_core: │ │ │ │ ┌╴check commit 3
2024-09-06T17:58:41.257619Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:41.257647Z  INFO prove_core: │ │ │ └╴1,533,993 cycles
2024-09-06T17:58:41.257677Z  INFO prove_core: │ │ └╴1,558,860 cycles
2024-09-06T17:58:41.257702Z  INFO prove_core: │ └╴2,122,032 cycles
2024-09-06T17:58:41.257728Z  INFO prove_core: └╴17,073,095 cycles
2024-09-06T17:58:41.257752Z  INFO prove_core: ┌╴vid_param_hash
2024-09-06T17:58:41.295598Z  INFO prove_core: └╴536,655 cycles
2024-09-06T17:58:41.342232Z  INFO prove_core: clk = 0 pc = 0x271e8c
2024-09-06T17:58:41.342402Z  INFO prove_core: ┌╴input
2024-09-06T17:58:41.342494Z  INFO prove_core: │ ┌╴payload
2024-09-06T17:58:41.384815Z  INFO prove_core: │ └╴98,320 cycles
2024-09-06T17:58:41.384981Z  INFO prove_core: │ ┌╴vid_param
2024-09-06T17:58:41.524535Z  INFO prove_core: │ └╴346,236 cycles
2024-09-06T17:58:41.526194Z  INFO prove_core: │ ┌╴block derivation proof input
2024-09-06T17:58:42.576101Z  INFO prove_core: │ └╴2,964,294 cycles
2024-09-06T17:58:42.576282Z  INFO prove_core: └╴3,414,860 cycles
2024-09-06T17:58:42.576419Z  INFO prove_core: ┌╴rollup_commitment
2024-09-06T17:58:42.589157Z  INFO prove_core: └╴37,206 cycles
2024-09-06T17:58:42.589317Z  INFO prove_core: ┌╴derivation
2024-09-06T17:58:42.589471Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:42.589604Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:42.610692Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T17:58:42.622974Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:42.800447Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:42.800607Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:42.802587Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:42.802735Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:42.802867Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:42.803004Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:42.803134Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:42.803578Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 0
2024-09-06T17:58:43.019043Z  INFO prove_core: │ │ │ │ └╴505,847 cycles
2024-09-06T17:58:43.019447Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 0
2024-09-06T17:58:43.965672Z  INFO prove_core: │ │ │ │ └╴797,616 cycles
2024-09-06T17:58:43.966115Z  INFO prove_core: │ │ │ │ ┌╴check commit 0
2024-09-06T17:58:43.966643Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:43.966782Z  INFO prove_core: │ │ │ └╴1,308,874 cycles
2024-09-06T17:58:43.966926Z  INFO prove_core: │ │ └╴1,316,078 cycles
2024-09-06T17:58:43.967058Z  INFO prove_core: │ └╴1,879,329 cycles
2024-09-06T17:58:43.967193Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:43.967333Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:43.988617Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T17:58:44.000875Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:44.174773Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:44.174942Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:44.178296Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:44.178444Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:44.178579Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:44.178728Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:44.178859Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:44.179296Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 0
2024-09-06T17:58:44.390326Z  INFO prove_core: │ │ │ │ └╴529,474 cycles
2024-09-06T17:58:44.390812Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 0
2024-09-06T17:58:45.327271Z  INFO prove_core: │ │ │ │ └╴797,103 cycles
2024-09-06T17:58:45.327663Z  INFO prove_core: │ │ │ │ ┌╴check commit 0
2024-09-06T17:58:45.328178Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:45.328329Z  INFO prove_core: │ │ │ └╴1,331,988 cycles
2024-09-06T17:58:45.328472Z  INFO prove_core: │ │ └╴1,342,727 cycles
2024-09-06T17:58:45.328601Z  INFO prove_core: │ └╴1,905,978 cycles
2024-09-06T17:58:45.328738Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:45.328867Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:45.350473Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T17:58:45.362772Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:45.528544Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:45.528708Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:45.533515Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:45.533664Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:45.533797Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:45.533931Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:45.534062Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:45.534514Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 1
2024-09-06T17:58:45.775644Z  INFO prove_core: │ │ │ │ └╴608,923 cycles
2024-09-06T17:58:45.775874Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 1
2024-09-06T17:58:46.724356Z  INFO prove_core: │ │ │ │ └╴797,290 cycles
2024-09-06T17:58:46.724753Z  INFO prove_core: │ │ │ │ ┌╴check commit 1
2024-09-06T17:58:46.725280Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:46.725670Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 2
2024-09-06T17:58:46.912909Z  INFO prove_core: │ │ │ │ └╴465,027 cycles
2024-09-06T17:58:46.913354Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 2
2024-09-06T17:58:47.274238Z  INFO prove_core: clk = 10000000 pc = 0x26fb1c
2024-09-06T17:58:47.863862Z  INFO prove_core: │ │ │ │ └╴796,527 cycles
2024-09-06T17:58:47.864271Z  INFO prove_core: │ │ │ │ ┌╴check commit 2
2024-09-06T17:58:47.864791Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:47.864928Z  INFO prove_core: │ │ │ └╴2,678,050 cycles
2024-09-06T17:58:47.865073Z  INFO prove_core: │ │ └╴2,692,320 cycles
2024-09-06T17:58:47.865225Z  INFO prove_core: │ └╴3,255,571 cycles
2024-09-06T17:58:47.865366Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:47.865494Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:47.886768Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T17:58:47.899075Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:48.062685Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:48.062849Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:48.064775Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:48.064922Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:48.065052Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:48.065189Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:48.065331Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:48.065814Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 0
2024-09-06T17:58:48.265835Z  INFO prove_core: │ │ │ │ └╴515,832 cycles
2024-09-06T17:58:48.266260Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 0
2024-09-06T17:58:49.202794Z  INFO prove_core: │ │ │ │ └╴797,553 cycles
2024-09-06T17:58:49.203189Z  INFO prove_core: │ │ │ │ ┌╴check commit 0
2024-09-06T17:58:49.203719Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:49.203864Z  INFO prove_core: │ │ │ └╴1,318,796 cycles
2024-09-06T17:58:49.204006Z  INFO prove_core: │ │ └╴1,326,000 cycles
2024-09-06T17:58:49.204136Z  INFO prove_core: │ └╴1,889,251 cycles
2024-09-06T17:58:49.204284Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:49.204416Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:49.225918Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T17:58:49.238284Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:49.419610Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:49.419773Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:49.421732Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:49.421880Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:49.422015Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:49.422160Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:49.422306Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:49.422735Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 0
2024-09-06T17:58:49.633099Z  INFO prove_core: │ │ │ │ └╴503,096 cycles
2024-09-06T17:58:49.633508Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 0
2024-09-06T17:58:50.561534Z  INFO prove_core: │ │ │ │ └╴796,950 cycles
2024-09-06T17:58:50.561927Z  INFO prove_core: │ │ │ │ ┌╴check commit 0
2024-09-06T17:58:50.564066Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:50.564221Z  INFO prove_core: │ │ │ └╴1,305,457 cycles
2024-09-06T17:58:50.564366Z  INFO prove_core: │ │ └╴1,312,661 cycles
2024-09-06T17:58:50.564495Z  INFO prove_core: │ └╴1,875,912 cycles
2024-09-06T17:58:50.564631Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:50.564761Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:50.585594Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T17:58:50.597748Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:50.773486Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:50.773651Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:50.778334Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:50.778480Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:50.778615Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:50.778750Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:50.778882Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:50.779324Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 1
2024-09-06T17:58:51.031121Z  INFO prove_core: │ │ │ │ └╴635,422 cycles
2024-09-06T17:58:51.031526Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 1
2024-09-06T17:58:51.970807Z  INFO prove_core: │ │ │ │ └╴797,688 cycles
2024-09-06T17:58:51.971210Z  INFO prove_core: │ │ │ │ ┌╴check commit 1
2024-09-06T17:58:51.971729Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:51.971867Z  INFO prove_core: │ │ │ └╴1,438,521 cycles
2024-09-06T17:58:51.972013Z  INFO prove_core: │ │ └╴1,452,787 cycles
2024-09-06T17:58:51.972143Z  INFO prove_core: │ └╴2,016,038 cycles
2024-09-06T17:58:51.972293Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:51.972427Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:51.993751Z  INFO prove_core: │ │ └╴64,663 cycles
2024-09-06T17:58:52.006113Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:52.188276Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:52.188593Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:52.196722Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:52.196866Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:52.196992Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:52.197120Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:52.197256Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:52.197663Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 1
2024-09-06T17:58:52.499467Z  INFO prove_core: │ │ │ │ └╴735,929 cycles
2024-09-06T17:58:52.499865Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 1
2024-09-06T17:58:53.431788Z  INFO prove_core: │ │ │ │ └╴795,843 cycles
2024-09-06T17:58:53.432231Z  INFO prove_core: │ │ │ │ ┌╴check commit 1
2024-09-06T17:58:53.432747Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:53.432881Z  INFO prove_core: │ │ │ └╴1,537,183 cycles
2024-09-06T17:58:53.433025Z  INFO prove_core: │ │ └╴1,562,054 cycles
2024-09-06T17:58:53.433156Z  INFO prove_core: │ └╴2,125,226 cycles
2024-09-06T17:58:53.433301Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T17:58:53.433432Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T17:58:53.454614Z  INFO prove_core: │ │ └╴64,663 cycles
2024-09-06T17:58:53.466729Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T17:58:53.641532Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T17:58:53.641698Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T17:58:53.650665Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T17:58:53.650819Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T17:58:53.650952Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T17:58:53.651086Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T17:58:53.651237Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T17:58:53.651666Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 3
2024-09-06T17:58:53.932079Z  INFO prove_core: │ │ │ │ └╴731,164 cycles
2024-09-06T17:58:53.932493Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 3
2024-09-06T17:58:54.256167Z  INFO prove_core: clk = 20000000 pc = 0x26f5f4
2024-09-06T17:58:54.873325Z  INFO prove_core: │ │ │ │ └╴797,418 cycles
2024-09-06T17:58:54.873726Z  INFO prove_core: │ │ │ │ ┌╴check commit 3
2024-09-06T17:58:54.874269Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T17:58:54.874411Z  INFO prove_core: │ │ │ └╴1,533,993 cycles
2024-09-06T17:58:54.874555Z  INFO prove_core: │ │ └╴1,558,860 cycles
2024-09-06T17:58:54.874687Z  INFO prove_core: │ └╴2,122,032 cycles
2024-09-06T17:58:54.874824Z  INFO prove_core: └╴17,073,095 cycles
2024-09-06T17:58:54.874959Z  INFO prove_core: ┌╴vid_param_hash
2024-09-06T17:58:55.085919Z  INFO prove_core: └╴536,655 cycles
2024-09-06T18:00:19.533987Z  INFO prove_core: clk = 0 pc = 0x271e8c
2024-09-06T18:00:19.534187Z  INFO prove_core: ┌╴input
2024-09-06T18:00:19.534283Z  INFO prove_core: │ ┌╴payload
2024-09-06T18:00:19.580298Z  INFO prove_core: │ └╴98,320 cycles
2024-09-06T18:00:19.580468Z  INFO prove_core: │ ┌╴vid_param
2024-09-06T18:00:19.728436Z  INFO prove_core: │ └╴346,236 cycles
2024-09-06T18:00:19.730167Z  INFO prove_core: │ ┌╴block derivation proof input
2024-09-06T18:00:20.826380Z  INFO prove_core: │ └╴2,964,294 cycles
2024-09-06T18:00:20.826553Z  INFO prove_core: └╴3,414,860 cycles
2024-09-06T18:00:20.826700Z  INFO prove_core: ┌╴rollup_commitment
2024-09-06T18:00:20.839708Z  INFO prove_core: └╴37,206 cycles
2024-09-06T18:00:20.839861Z  INFO prove_core: ┌╴derivation
2024-09-06T18:00:20.840016Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T18:00:20.840152Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T18:00:20.861909Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T18:00:20.874548Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T18:00:21.057024Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T18:00:21.057189Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T18:00:21.059225Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T18:00:21.059373Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T18:00:21.059506Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T18:00:21.059644Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T18:00:21.059778Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T18:00:21.060230Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 0
2024-09-06T18:00:21.282216Z  INFO prove_core: │ │ │ │ └╴505,847 cycles
2024-09-06T18:00:21.282627Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 0
2024-09-06T18:00:22.232852Z  INFO prove_core: │ │ │ │ └╴797,616 cycles
2024-09-06T18:00:22.233263Z  INFO prove_core: │ │ │ │ ┌╴check commit 0
2024-09-06T18:00:22.233788Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T18:00:22.233927Z  INFO prove_core: │ │ │ └╴1,308,874 cycles
2024-09-06T18:00:22.234075Z  INFO prove_core: │ │ └╴1,316,078 cycles
2024-09-06T18:00:22.234230Z  INFO prove_core: │ └╴1,879,329 cycles
2024-09-06T18:00:22.234370Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T18:00:22.234500Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T18:00:22.256127Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T18:00:22.268677Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T18:00:22.446110Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T18:00:22.446290Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T18:00:22.449701Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T18:00:22.449851Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T18:00:22.449986Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T18:00:22.450139Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T18:00:22.450284Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T18:00:22.450781Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 0
2024-09-06T18:00:22.666695Z  INFO prove_core: │ │ │ │ └╴529,474 cycles
2024-09-06T18:00:22.667104Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 0
2024-09-06T18:00:23.604866Z  INFO prove_core: │ │ │ │ └╴797,103 cycles
2024-09-06T18:00:23.605286Z  INFO prove_core: │ │ │ │ ┌╴check commit 0
2024-09-06T18:00:23.605810Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T18:00:23.605952Z  INFO prove_core: │ │ │ └╴1,331,988 cycles
2024-09-06T18:00:23.606102Z  INFO prove_core: │ │ └╴1,342,727 cycles
2024-09-06T18:00:23.606314Z  INFO prove_core: │ └╴1,905,978 cycles
2024-09-06T18:00:23.606456Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T18:00:23.606585Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T18:00:23.628504Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T18:00:23.641018Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T18:00:23.809169Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T18:00:23.809364Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T18:00:23.814145Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T18:00:23.814319Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T18:00:23.814457Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T18:00:23.814594Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T18:00:23.814727Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T18:00:23.815229Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 1
2024-09-06T18:00:24.060388Z  INFO prove_core: │ │ │ │ └╴608,923 cycles
2024-09-06T18:00:24.060620Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 1
2024-09-06T18:00:25.010424Z  INFO prove_core: │ │ │ │ └╴797,290 cycles
2024-09-06T18:00:25.010826Z  INFO prove_core: │ │ │ │ ┌╴check commit 1
2024-09-06T18:00:25.011356Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T18:00:25.011753Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 2
2024-09-06T18:00:25.201315Z  INFO prove_core: │ │ │ │ └╴465,027 cycles
2024-09-06T18:00:25.201722Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 2
2024-09-06T18:00:25.562352Z  INFO prove_core: clk = 10000000 pc = 0x26fb1c
2024-09-06T18:00:26.150643Z  INFO prove_core: │ │ │ │ └╴796,527 cycles
2024-09-06T18:00:26.151040Z  INFO prove_core: │ │ │ │ ┌╴check commit 2
2024-09-06T18:00:26.151577Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T18:00:26.151718Z  INFO prove_core: │ │ │ └╴2,678,050 cycles
2024-09-06T18:00:26.151889Z  INFO prove_core: │ │ └╴2,692,320 cycles
2024-09-06T18:00:26.152022Z  INFO prove_core: │ └╴3,255,571 cycles
2024-09-06T18:00:26.152168Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T18:00:26.152310Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T18:00:26.173732Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T18:00:26.186093Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T18:00:26.351399Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T18:00:26.351572Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T18:00:26.353581Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T18:00:26.353728Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T18:00:26.353860Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T18:00:26.353999Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T18:00:26.354136Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T18:00:26.354589Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 0
2024-09-06T18:00:26.556818Z  INFO prove_core: │ │ │ │ └╴515,832 cycles
2024-09-06T18:00:26.557236Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 0
2024-09-06T18:00:27.493774Z  INFO prove_core: │ │ │ │ └╴797,553 cycles
2024-09-06T18:00:27.494184Z  INFO prove_core: │ │ │ │ ┌╴check commit 0
2024-09-06T18:00:27.494720Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T18:00:27.494866Z  INFO prove_core: │ │ │ └╴1,318,796 cycles
2024-09-06T18:00:27.495008Z  INFO prove_core: │ │ └╴1,326,000 cycles
2024-09-06T18:00:27.495141Z  INFO prove_core: │ └╴1,889,251 cycles
2024-09-06T18:00:27.495288Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T18:00:27.495422Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T18:00:27.517117Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T18:00:27.529569Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T18:00:27.713214Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T18:00:27.713377Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T18:00:27.715389Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T18:00:27.715537Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T18:00:27.715671Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T18:00:27.715804Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T18:00:27.715938Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T18:00:27.716381Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 0
2024-09-06T18:00:27.929503Z  INFO prove_core: │ │ │ │ └╴503,096 cycles
2024-09-06T18:00:27.929904Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 0
2024-09-06T18:00:28.859081Z  INFO prove_core: │ │ │ │ └╴796,950 cycles
2024-09-06T18:00:28.859483Z  INFO prove_core: │ │ │ │ ┌╴check commit 0
2024-09-06T18:00:28.860002Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T18:00:28.860140Z  INFO prove_core: │ │ │ └╴1,305,457 cycles
2024-09-06T18:00:28.860296Z  INFO prove_core: │ │ └╴1,312,661 cycles
2024-09-06T18:00:28.860428Z  INFO prove_core: │ └╴1,875,912 cycles
2024-09-06T18:00:28.860565Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T18:00:28.860771Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T18:00:28.881812Z  INFO prove_core: │ │ └╴64,742 cycles
2024-09-06T18:00:28.894130Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T18:00:29.072194Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T18:00:29.072374Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T18:00:29.077121Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T18:00:29.077279Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T18:00:29.077415Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T18:00:29.077552Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T18:00:29.077684Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T18:00:29.078131Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 1
2024-09-06T18:00:29.332625Z  INFO prove_core: │ │ │ │ └╴635,422 cycles
2024-09-06T18:00:29.333030Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 1
2024-09-06T18:00:30.271869Z  INFO prove_core: │ │ │ │ └╴797,688 cycles
2024-09-06T18:00:30.272285Z  INFO prove_core: │ │ │ │ ┌╴check commit 1
2024-09-06T18:00:30.272812Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T18:00:30.272951Z  INFO prove_core: │ │ │ └╴1,438,521 cycles
2024-09-06T18:00:30.273096Z  INFO prove_core: │ │ └╴1,452,787 cycles
2024-09-06T18:00:30.273241Z  INFO prove_core: │ └╴2,016,038 cycles
2024-09-06T18:00:30.273383Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T18:00:30.273517Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T18:00:30.295037Z  INFO prove_core: │ │ └╴64,663 cycles
2024-09-06T18:00:30.307479Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T18:00:30.492346Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T18:00:30.492708Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T18:00:30.500850Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T18:00:30.501000Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T18:00:30.501130Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T18:00:30.501270Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T18:00:30.501399Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T18:00:30.501809Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 1
2024-09-06T18:00:30.806829Z  INFO prove_core: │ │ │ │ └╴735,929 cycles
2024-09-06T18:00:30.807240Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 1
2024-09-06T18:00:31.740427Z  INFO prove_core: │ │ │ │ └╴795,843 cycles
2024-09-06T18:00:31.740821Z  INFO prove_core: │ │ │ │ ┌╴check commit 1
2024-09-06T18:00:31.741406Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T18:00:31.741546Z  INFO prove_core: │ │ │ └╴1,537,183 cycles
2024-09-06T18:00:31.741692Z  INFO prove_core: │ │ └╴1,562,054 cycles
2024-09-06T18:00:31.741826Z  INFO prove_core: │ └╴2,125,226 cycles
2024-09-06T18:00:31.741974Z  INFO prove_core: │ ┌╴verify_block_derivation_proof
2024-09-06T18:00:31.742114Z  INFO prove_core: │ │ ┌╴bmt membership proof
2024-09-06T18:00:31.763503Z  INFO prove_core: │ │ └╴64,663 cycles
2024-09-06T18:00:31.775837Z  INFO prove_core: │ │ ┌╴construct vid
2024-09-06T18:00:31.953548Z  INFO prove_core: │ │ └╴458,828 cycles
2024-09-06T18:00:31.953714Z  INFO prove_core: │ │ ┌╴payload_verify
2024-09-06T18:00:31.962772Z  INFO prove_core: │ │ │ ┌╴range_byte_to_poly
2024-09-06T18:00:31.962923Z  INFO prove_core: │ │ │ └╴422 cycles
2024-09-06T18:00:31.963057Z  INFO prove_core: │ │ │ ┌╴rebuild polynomials
2024-09-06T18:00:31.963193Z  INFO prove_core: │ │ │ └╴411 cycles
2024-09-06T18:00:31.963343Z  INFO prove_core: │ │ │ ┌╴rebuild commits
2024-09-06T18:00:31.963778Z  INFO prove_core: │ │ │ │ ┌╴construct polynomial 3
2024-09-06T18:00:32.247877Z  INFO prove_core: │ │ │ │ └╴731,164 cycles
2024-09-06T18:00:32.248292Z  INFO prove_core: │ │ │ │ ┌╴commit polynomial 3
2024-09-06T18:00:32.572305Z  INFO prove_core: clk = 20000000 pc = 0x26f5f4
2024-09-06T18:00:33.191433Z  INFO prove_core: │ │ │ │ └╴797,418 cycles
2024-09-06T18:00:33.191840Z  INFO prove_core: │ │ │ │ ┌╴check commit 3
2024-09-06T18:00:33.192373Z  INFO prove_core: │ │ │ │ └╴1,559 cycles
2024-09-06T18:00:33.192516Z  INFO prove_core: │ │ │ └╴1,533,993 cycles
2024-09-06T18:00:33.192659Z  INFO prove_core: │ │ └╴1,558,860 cycles
2024-09-06T18:00:33.192793Z  INFO prove_core: │ └╴2,122,032 cycles
2024-09-06T18:00:33.192931Z  INFO prove_core: └╴17,073,095 cycles
2024-09-06T18:00:33.193065Z  INFO prove_core: ┌╴vid_param_hash
2024-09-06T18:00:33.406602Z  INFO prove_core: └╴536,655 cycles
2024-09-06T18:03:40.805852Z  INFO prove_core: execution report (totals): total_cycles=21110205, total_syscall_cycles=220758
2024-09-06T18:03:40.805909Z  INFO prove_core: execution report (opcode counts):
2024-09-06T18:03:40.805950Z  INFO prove_core: 6839962 add
2024-09-06T18:03:40.805954Z  INFO prove_core: 2252061 lw
2024-09-06T18:03:40.805957Z  INFO prove_core: 2033254 sltu
2024-09-06T18:03:40.805960Z  INFO prove_core: 1837532 sw
2024-09-06T18:03:40.805962Z  INFO prove_core: 1268626 beq
2024-09-06T18:03:40.805965Z  INFO prove_core: 729740 and
2024-09-06T18:03:40.805968Z  INFO prove_core: 654432 mulhu
2024-09-06T18:03:40.805971Z  INFO prove_core: 645784 mul
2024-09-06T18:03:40.805974Z  INFO prove_core: 618813 jalr
2024-09-06T18:03:40.805977Z  INFO prove_core: 529274 sub
2024-09-06T18:03:40.805980Z  INFO prove_core: 483824 srl
2024-09-06T18:03:40.805983Z  INFO prove_core: 459595 sll
2024-09-06T18:03:40.805986Z  INFO prove_core: 450591 lbu
2024-09-06T18:03:40.805989Z  INFO prove_core: 412651 or
2024-09-06T18:03:40.805992Z  INFO prove_core: 384469 bne
2024-09-06T18:03:40.806008Z  INFO prove_core: 325564 sb
2024-09-06T18:03:40.806010Z  INFO prove_core: 317077 auipc
2024-09-06T18:03:40.806012Z  INFO prove_core: 220758 ecall
2024-09-06T18:03:40.806014Z  INFO prove_core: 170086 jal
2024-09-06T18:03:40.806016Z  INFO prove_core: 147004 bge
2024-09-06T18:03:40.806017Z  INFO prove_core: 132440 xor
2024-09-06T18:03:40.806019Z  INFO prove_core: 119157 bltu
2024-09-06T18:03:40.806021Z  INFO prove_core: 35270 bgeu
2024-09-06T18:03:40.806023Z  INFO prove_core: 26764 lb
2024-09-06T18:03:40.806025Z  INFO prove_core: 12098 blt
2024-09-06T18:03:40.806027Z  INFO prove_core: 2134 sh
2024-09-06T18:03:40.806028Z  INFO prove_core: 691 divu
2024-09-06T18:03:40.806030Z  INFO prove_core: 313 lh
2024-09-06T18:03:40.806032Z  INFO prove_core: 124 lhu
2024-09-06T18:03:40.806034Z  INFO prove_core: 117 sra
2024-09-06T18:03:40.806036Z  INFO prove_core: execution report (syscall counts):
2024-09-06T18:03:40.806047Z  INFO prove_core: 146880 bn254_double
2024-09-06T18:03:40.806049Z  INFO prove_core: 72843 bn254_add
2024-09-06T18:03:40.806051Z  INFO prove_core: 336 keccak_permute
2024-09-06T18:03:40.806053Z  INFO prove_core: 262 write
2024-09-06T18:03:40.806054Z  INFO prove_core: 205 sha_compress
2024-09-06T18:03:40.806056Z  INFO prove_core: 205 sha_extend
2024-09-06T18:03:40.806058Z  INFO prove_core: 8 commit
2024-09-06T18:03:40.806060Z  INFO prove_core: 8 commit_deferred_proofs
2024-09-06T18:03:40.806062Z  INFO prove_core: 5 hint_len
2024-09-06T18:03:40.806064Z  INFO prove_core: 5 hint_read
2024-09-06T18:03:40.806066Z  INFO prove_core: 1 halt
2024-09-06T18:03:40.815148Z  INFO prove_core: summary: cycles=21110205, e2e=306.639438202s, khz=68.84, proofSize=23825074
2024-09-06T18:03:40.831215Z  INFO prove_core: close time.busy=307s time.idle=17.4ms
2024-09-06T18:09:59.560714Z  INFO shrink:prove_shards: close time.busy=42.6s time.idle=3.12µs
2024-09-06T18:09:59.569443Z  INFO shrink: close time.busy=62.7s time.idle=2.55µs
2024-09-06T18:12:23.877323Z  INFO wrap_bn254:prove_shards: close time.busy=88.5s time.idle=3.59µs
2024-09-06T18:12:24.047980Z  INFO wrap_bn254:verify: close time.busy=171ms time.idle=1.35µs
2024-09-06T18:12:24.048018Z  INFO wrap_bn254: Proof verified successfully
2024-09-06T18:12:24.048023Z  INFO wrap_bn254: Wrapping successful
2024-09-06T18:12:24.048502Z  INFO wrap_bn254: close time.busy=144s time.idle=1.49µs
[sp1] plonk bn254 artifacts already seem to exist at /home/chengyu/.sp1/circuits/plonk_bn254/v1.1.0. if you want to re-download them, delete the directory
2024-09-06T18:12:24.726615Z  INFO wrap_plonk_bn254: Running prove-plonk in docker
18:13:10 DBG constraint system solver done nbConstraints=33331520 took=6702.033227
18:14:20 DBG prover done backend=plonk curve=bn254 nbConstraints=33331520 took=86707.30369
18:14:20 DBG verifier done backend=plonk curve=bn254 took=1.564686
2024-09-06T18:14:23.993312Z  INFO wrap_plonk_bn254: Running verify-plonk in docker
ignoring uninitialized slice: Vars []frontend.Variable
ignoring uninitialized slice: Vars []frontend.Variable
ignoring uninitialized slice: Vars []frontend.Variable
18:14:24 DBG verifier done backend=plonk curve=bn254 took=1.738548
2024-09-06T18:14:24.342398Z  INFO wrap_plonk_bn254: close time.busy=120s time.idle=1.43µs
Verification Key: 0x00aac2e87fbbc030a4e2b163fd77c70cf014aeae3c32398c73bd4835026ce340
Public Values: 0x420000000000000030783262373663363535373634663139343736663030656461363635336235393461643761636633623333386561316336303035653732613666393961663462303342000000000000003078663035653962636339343033343432643866373731653839376563336336393265616261616262663839633034363634633464636534643430613133636432359bf49a6a4c000000000000000b000000000000004d45524b4c455f434f4d4d300000000000000054b3cab298d1746593722f5433d637ac72da6db4565d585780aed335d1a425f720000000000000000800000000000000f0
Proof Bytes: 0xc430ff7f224cbe2eebe6ddd2648d8be1649fa641390b3d30beb25ba6cdaef1f576b2659716062c4a81f5668fb22129cbe77645375fa46d9a101564cb66fa9095e433b816301c3a8b797aa27547e84dabcd2365feb0ab92e5687a04f0f943785933f5955f253098583a51319647c65d7322329740817e0f731f9605a566a19059963fcfa316ddeca723d717bd70b4d437c6f7e0465f78a50f002989c9b5efbd13f8517c181ea35da2f1b1ee2e4f795cca835e7b553bf00b211febf617326c35c0d6794f0b1c4597ea241e4305a74957357a4af510e62454a02aa09b771c4c41dfbf5157f908c17f22e0849ffeecaf8ffa9a520e81b5f3af5e6050007521e9a82846fb973e0a2b1ccd78389e94d98a0e3dbbc851eaaffec58376bd642460df8f26753b33fd237c352513e885736dc49b85dfb16163d50d67bef3ae85178917ce0a4eb060fa194fd0a3efe4a1847940e3a98ad8ef0d9f0cd16f8a8dad3867c81406acb5046019a95d50a7ac7caebb3e0e7493f2376eb9cc64162685d76417c5aea180d77fc7165dfb52b83c5e42fb8708f55699c8b606e7393672ac07f9b6397e1eba6a70591deb0cd597852a69b32bd5fb8ff1e0f608612cdf96a8dd12ebc2326fd3f1709e112e8fbc3b3c1ead9a9dccaa2235aefe1b3866e369c7fb6dd1cb3e23d2d5427f1370d62f6df3b588e7b765ad8931d97f2a9951eb09e7f604f99c2247d5893899116cdabefa8f35df2b59bc6151b7df1bed2aa406b5724ad7a81286379221387e17f7c21b08fa5b05df3135ef24ae9258a7806f1d916911a3c60d3bcf5c767c4800b22b337602a454a3c989e8334bcd3a68e1640dde71328284eb98a8fb947c6f054fe4a45afff4fb4a1c125a1cdab834daa3463faa31b1557e6180c8397bcb6a2a5437a87af4bb2bce3c3d955a08f7f39945a3c95d3073a040a7b3ea970328c40dcfc18a8600e6e7365230bc9b46c206522635db5567b1237f7ed846d7275ce302b488d67f9e2dcbc3d1cb273d251649cada949762c89bbeaf5c34be5378be1907fed661cd09702f39567b8ecb60d39af1cae8b4558dfc35d8d87d937bd18a1a1f842ea67f47ee58eca95977948efa8613efecc5ed8331bec42cb40c3071c4c1259705b47868d71e3c0a04a4b0c9aedfcf6b9109df38159788c4aefd8891392929405d92d08551195aa6ae3d04053ffee440606146b4d303dbab0453a0a71f84
... done
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment