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