kunxian-xia
commented
2 weeks ago All the errors that we have are
riscv_opcode/AUIPC/state_in at row 0 (pc=201208,ts=8) not found in GlobalState writes
--------------------
riscv_opcode/ADD/state_in at row 5 (pc=200828,ts=472) not found in GlobalState writes
riscv_opcode/ADD/state_in at row 8 (pc=200828,ts=516) not found in GlobalState writes
riscv_opcode/ADD/state_in at row 11 (pc=200828,ts=560) not found in GlobalState writes
riscv_opcode/ADD/state_in at row 14 (pc=200828,ts=604) not found in GlobalState writes
riscv_opcode/ADD/state_in at row 17 (pc=200828,ts=648) not found in GlobalState writes
riscv_opcode/ADD/state_in at row 20 (pc=200828,ts=692) not found in GlobalState writes
riscv_opcode/ADD/state_in at row 23 (pc=200828,ts=736) not found in GlobalState writes
riscv_opcode/ADD/state_in at row 26 (pc=200828,ts=780) not found in GlobalState writes
riscv_opcode/ADD/state_in at row 29 (pc=200828,ts=824) not found in GlobalState writes
riscv_opcode/ADD/state_in at row 32 (pc=200828,ts=868) not found in GlobalState writes
2024-11-06T13:19:25.091416Z ERROR ceno_zkvm::scheme::mock_prover: .... 1048566 more missing (num_instances = 3146338)
--------------------
riscv_opcode/OR/state_in at row 0 (pc=200e08,ts=46137936) not found in GlobalState writes
--------------------
riscv_opcode/ADDI/state_in at row 2097340 (pc=200bec,ts=46155440) not found in GlobalState writes
riscv_opcode/ADDI/state_in at row 2097343 (pc=200bfc,ts=46155456) not found in GlobalState writes
riscv_opcode/ADDI/state_in at row 2097346 (pc=200c0c,ts=46155472) not found in GlobalState writes
riscv_opcode/ADDI/state_in at row 2097349 (pc=200c1c,ts=46155488) not found in GlobalState writes
riscv_opcode/ADDI/state_in at row 2097352 (pc=200c2c,ts=46155504) not found in GlobalState writes
riscv_opcode/ADDI/state_in at row 2097355 (pc=200c3c,ts=46155520) not found in GlobalState writes
riscv_opcode/ADDI/state_in at row 2097358 (pc=200c4c,ts=46155536) not found in GlobalState writes
riscv_opcode/ADDI/state_in at row 2097361 (pc=200c5c,ts=46155552) not found in GlobalState writes
riscv_opcode/ADDI/state_in at row 2097364 (pc=200c6c,ts=46155568) not found in GlobalState writes
riscv_opcode/ADDI/state_in at row 2097367 (pc=200c7c,ts=46155584) not found in GlobalState writes
2024-11-06T13:19:26.599126Z ERROR ceno_zkvm::scheme::mock_prover: .... 6 more missing (num_instances = 2097387)
--------------------
riscv_opcode/ANDI/state_out at row 4 (pc=200dfc,ts=46137924) not found in GlobalState reads
--------------------
riscv_opcode/ADD/state_out at row 4 (pc=200820,ts=464) not found in GlobalState reads
riscv_opcode/ADD/state_out at row 7 (pc=200820,ts=508) not found in GlobalState reads
riscv_opcode/ADD/state_out at row 10 (pc=200820,ts=552) not found in GlobalState reads
riscv_opcode/ADD/state_out at row 13 (pc=200820,ts=596) not found in GlobalState reads
riscv_opcode/ADD/state_out at row 16 (pc=200820,ts=640) not found in GlobalState reads
riscv_opcode/ADD/state_out at row 19 (pc=200820,ts=684) not found in GlobalState reads
riscv_opcode/ADD/state_out at row 22 (pc=200820,ts=728) not found in GlobalState reads
riscv_opcode/ADD/state_out at row 25 (pc=200820,ts=772) not found in GlobalState reads
riscv_opcode/ADD/state_out at row 28 (pc=200820,ts=816) not found in GlobalState reads
riscv_opcode/ADD/state_out at row 31 (pc=200820,ts=860) not found in GlobalState reads
2024-11-06T13:19:28.221831Z ERROR ceno_zkvm::scheme::mock_prover: .... 1048566 more missing (num_instances = 3146338)
--------------------
riscv_opcode/ECALL_HALT/state_out at row 0 (pc=0,ts=46155688) not found in GlobalState reads
--------------------
riscv_opcode/ADDI/state_out at row 2097339 (pc=200be4,ts=46155432) not found in GlobalState reads
riscv_opcode/ADDI/state_out at row 2097342 (pc=200bf4,ts=46155448) not found in GlobalState reads
riscv_opcode/ADDI/state_out at row 2097345 (pc=200c04,ts=46155464) not found in GlobalState reads
riscv_opcode/ADDI/state_out at row 2097348 (pc=200c14,ts=46155480) not found in GlobalState reads
riscv_opcode/ADDI/state_out at row 2097351 (pc=200c24,ts=46155496) not found in GlobalState reads
riscv_opcode/ADDI/state_out at row 2097354 (pc=200c34,ts=46155512) not found in GlobalState reads
riscv_opcode/ADDI/state_out at row 2097357 (pc=200c44,ts=46155528) not found in GlobalState reads
riscv_opcode/ADDI/state_out at row 2097360 (pc=200c54,ts=46155544) not found in GlobalState reads
riscv_opcode/ADDI/state_out at row 2097363 (pc=200c64,ts=46155560) not found in GlobalState reads
riscv_opcode/ADDI/state_out at row 2097366 (pc=200c74,ts=46155576) not found in GlobalState reads
2024-11-06T13:19:28.830270Z ERROR ceno_zkvm::scheme::mock_prover: .... 6 more missing (num_instances = 2097387)
--------------------
riscv_opcode/OR/read_rs1/read_record at row 0 (pc=200e08,ts=46137936) not found in Register writes
--------------------
riscv_opcode/ADD/read_rs1/read_record at row 5 (pc=200828,ts=472) not found in Register writes
riscv_opcode/ADD/read_rs1/read_record at row 8 (pc=200828,ts=516) not found in Register writes
riscv_opcode/ADD/read_rs1/read_record at row 11 (pc=200828,ts=560) not found in Register writes
riscv_opcode/ADD/read_rs1/read_record at row 14 (pc=200828,ts=604) not found in Register writes
riscv_opcode/ADD/read_rs1/read_record at row 17 (pc=200828,ts=648) not found in Register writes
riscv_opcode/ADD/read_rs1/read_record at row 20 (pc=200828,ts=692) not found in Register writes
riscv_opcode/ADD/read_rs1/read_record at row 23 (pc=200828,ts=736) not found in Register writes
riscv_opcode/ADD/read_rs1/read_record at row 26 (pc=200828,ts=780) not found in Register writes
riscv_opcode/ADD/read_rs1/read_record at row 29 (pc=200828,ts=824) not found in Register writes
riscv_opcode/ADD/read_rs1/read_record at row 32 (pc=200828,ts=868) not found in Register writes
2024-11-06T13:19:52.880000Z ERROR ceno_zkvm::scheme::mock_prover: .... 1048566 more missing (num_instances = 3146338)
--------------------
riscv_opcode/OR/read_rs2/read_record at row 0 (pc=200e08,ts=46137936) not found in Register writes
--------------------
riscv_opcode/OR/write_rd/read_record at row 11 (pc=2018bc,ts=46139744) not found in Register writes
riscv_opcode/OR/write_rd/read_record at row 14 (pc=201908,ts=46139820) not found in Register writes
riscv_opcode/OR/write_rd/read_record at row 20 (pc=2019dc,ts=46140032) not found in Register writes
--------------------
riscv_opcode/ADD/write_rd/read_record at row 0 (pc=200d0c,ts=188) not found in Register writes
--------------------
riscv_opcode/BLTU/read_rs1/read_record at row 7 (pc=200f18,ts=46137964) not found in Register writes
--------------------
riscv_opcode/AUIPC/write_rd/read_record at row 0 (pc=201208,ts=8) not found in Register writes
riscv_opcode/AUIPC/write_rd/read_record at row 1 (pc=201210,ts=16) not found in Register writes
riscv_opcode/AUIPC/write_rd/read_record at row 2 (pc=20121c,ts=28) not found in Register writes
--------------------
riscv_opcode/JALR/write_rd/read_record at row 2 (pc=2014a8,ts=424) not found in Register writes
--------------------
riscv_opcode/ADD/read_rs2/read_record at row 5 (pc=200828,ts=472) not found in Register writes
riscv_opcode/ADD/read_rs2/read_record at row 8 (pc=200828,ts=516) not found in Register writes
riscv_opcode/ADD/read_rs2/read_record at row 11 (pc=200828,ts=560) not found in Register writes
riscv_opcode/ADD/read_rs2/read_record at row 14 (pc=200828,ts=604) not found in Register writes
riscv_opcode/ADD/read_rs2/read_record at row 17 (pc=200828,ts=648) not found in Register writes
riscv_opcode/ADD/read_rs2/read_record at row 20 (pc=200828,ts=692) not found in Register writes
riscv_opcode/ADD/read_rs2/read_record at row 23 (pc=200828,ts=736) not found in Register writes
riscv_opcode/ADD/read_rs2/read_record at row 26 (pc=200828,ts=780) not found in Register writes
riscv_opcode/ADD/read_rs2/read_record at row 29 (pc=200828,ts=824) not found in Register writes
riscv_opcode/ADD/read_rs2/read_record at row 32 (pc=200828,ts=868) not found in Register writes
2024-11-06T13:19:57.534543Z ERROR ceno_zkvm::scheme::mock_prover: .... 1048566 more missing (num_instances = 3146338)
--------------------
riscv_opcode/SW/read_rs2/read_record at row 1 (pc=201428,ts=48) not found in Register writes
riscv_opcode/SW/read_rs2/read_record at row 35 (pc=200904,ts=46137848) not found in Register writes
riscv_opcode/SW/read_rs2/read_record at row 36 (pc=200908,ts=46137852) not found in Register writes
riscv_opcode/SW/read_rs2/read_record at row 37 (pc=20090c,ts=46137856) not found in Register writes
riscv_opcode/SW/read_rs2/read_record at row 38 (pc=200910,ts=46137860) not found in Register writes
riscv_opcode/SW/read_rs2/read_record at row 39 (pc=200914,ts=46137864) not found in Register writes
riscv_opcode/SW/read_rs2/read_record at row 40 (pc=200918,ts=46137868) not found in Register writes
riscv_opcode/SW/read_rs2/read_record at row 41 (pc=20091c,ts=46137872) not found in Register writes
riscv_opcode/SW/read_rs2/read_record at row 104 (pc=201524,ts=46138828) not found in Register writes
riscv_opcode/SW/read_rs2/read_record at row 105 (pc=201528,ts=46138832) not found in Register writes
2024-11-06T13:19:57.534719Z ERROR ceno_zkvm::scheme::mock_prover: .... 3 more missing (num_instances = 263)
--------------------
riscv_opcode/LW/write_rd/read_record at row 4 (pc=200f28,ts=46137980) not found in Register writes
riscv_opcode/LW/write_rd/read_record at row 5 (pc=200f2c,ts=46137984) not found in Register writes
riscv_opcode/LW/write_rd/read_record at row 32 (pc=201538,ts=46138848) not found in Register writes
riscv_opcode/LW/write_rd/read_record at row 34 (pc=201540,ts=46138856) not found in Register writes
riscv_opcode/LW/write_rd/read_record at row 36 (pc=201548,ts=46138864) not found in Register writes
--------------------
riscv_opcode/LUI/write_rd/read_record at row 0 (pc=201424,ts=44) not found in Register writes
riscv_opcode/LUI/write_rd/read_record at row 13 (pc=200920,ts=46137876) not found in Register writes
--------------------
riscv_opcode/ADDI/write_rd/read_record at row 3 (pc=20142c,ts=52) not found in Register writes
riscv_opcode/ADDI/write_rd/read_record at row 14 (pc=20149c,ts=164) not found in Register writes
riscv_opcode/ADDI/write_rd/read_record at row 16 (pc=200d10,ts=192) not found in Register writes
riscv_opcode/ADDI/write_rd/read_record at row 18 (pc=200d38,ts=232) not found in Register writes
riscv_opcode/ADDI/write_rd/read_record at row 21 (pc=200db8,ts=360) not found in Register writes
riscv_opcode/ADDI/write_rd/read_record at row 2097340 (pc=200bec,ts=46155440) not found in Register writes
riscv_opcode/ADDI/write_rd/read_record at row 2097343 (pc=200bfc,ts=46155456) not found in Register writes
riscv_opcode/ADDI/write_rd/read_record at row 2097346 (pc=200c0c,ts=46155472) not found in Register writes
riscv_opcode/ADDI/write_rd/read_record at row 2097349 (pc=200c1c,ts=46155488) not found in Register writes
riscv_opcode/ADDI/write_rd/read_record at row 2097352 (pc=200c2c,ts=46155504) not found in Register writes
2024-11-06T13:19:58.265851Z ERROR ceno_zkvm::scheme::mock_prover: .... 11 more missing (num_instances = 2097387)
--------------------
riscv_opcode/JALR/write_rd/write_record at row 11 (pc=200a94,ts=46155096) not found in Register reads
--------------------
riscv_opcode/OR/read_rs1/write_record at row 655 (pc=200bd8,ts=46155420) not found in Register reads
--------------------
riscv_opcode/SW/read_rs2/write_record at row 33 (pc=200850,ts=46137812) not found in Register reads
riscv_opcode/SW/read_rs2/write_record at row 255 (pc=205460,ts=46155008) not found in Register reads
riscv_opcode/SW/read_rs2/write_record at row 259 (pc=205470,ts=46155024) not found in Register reads
--------------------
riscv_opcode/LW/write_rd/write_record at row 280 (pc=205488,ts=46155048) not found in Register reads
riscv_opcode/LW/write_rd/write_record at row 281 (pc=20548c,ts=46155052) not found in Register reads
riscv_opcode/LW/write_rd/write_record at row 282 (pc=205490,ts=46155056) not found in Register reads
riscv_opcode/LW/write_rd/write_record at row 283 (pc=205494,ts=46155060) not found in Register reads
riscv_opcode/LW/write_rd/write_record at row 284 (pc=205498,ts=46155064) not found in Register reads
riscv_opcode/LW/write_rd/write_record at row 285 (pc=20549c,ts=46155068) not found in Register reads
riscv_opcode/LW/write_rd/write_record at row 286 (pc=2054a0,ts=46155072) not found in Register reads
riscv_opcode/LW/write_rd/write_record at row 287 (pc=2054a4,ts=46155076) not found in Register reads
riscv_opcode/LW/write_rd/write_record at row 288 (pc=2054a8,ts=46155080) not found in Register reads
riscv_opcode/LW/write_rd/write_record at row 289 (pc=2054ac,ts=46155084) not found in Register reads
2024-11-06T13:19:59.245766Z ERROR ceno_zkvm::scheme::mock_prover: .... 1 more missing (num_instances = 299)
--------------------
riscv_opcode/ADDI/write_rd/write_record at row 0 (pc=20120c,ts=12) not found in Register reads
riscv_opcode/ADDI/write_rd/write_record at row 27 (pc=200814,ts=452) not found in Register reads
riscv_opcode/ADDI/write_rd/write_record at row 2097190 (pc=200954,ts=46137912) not found in Register reads
riscv_opcode/ADDI/write_rd/write_record at row 2097338 (pc=200be0,ts=46155428) not found in Register reads
riscv_opcode/ADDI/write_rd/write_record at row 2097340 (pc=200bec,ts=46155440) not found in Register reads
riscv_opcode/ADDI/write_rd/write_record at row 2097343 (pc=200bfc,ts=46155456) not found in Register reads
riscv_opcode/ADDI/write_rd/write_record at row 2097346 (pc=200c0c,ts=46155472) not found in Register reads
riscv_opcode/ADDI/write_rd/write_record at row 2097349 (pc=200c1c,ts=46155488) not found in Register reads
riscv_opcode/ADDI/write_rd/write_record at row 2097352 (pc=200c2c,ts=46155504) not found in Register reads
riscv_opcode/ADDI/write_rd/write_record at row 2097355 (pc=200c3c,ts=46155520) not found in Register reads
2024-11-06T13:20:00.741595Z ERROR ceno_zkvm::scheme::mock_prover: .... 10 more missing (num_instances = 2097387)
--------------------
riscv_opcode/ADD/read_rs1/write_record at row 3146313 (pc=2052f8,ts=46154652) not found in Register reads
--------------------
riscv_opcode/ADDI/read_rs1/write_record at row 2097342 (pc=200bf4,ts=46155448) not found in Register reads
riscv_opcode/ADDI/read_rs1/write_record at row 2097345 (pc=200c04,ts=46155464) not found in Register reads
riscv_opcode/ADDI/read_rs1/write_record at row 2097348 (pc=200c14,ts=46155480) not found in Register reads
riscv_opcode/ADDI/read_rs1/write_record at row 2097351 (pc=200c24,ts=46155496) not found in Register reads
riscv_opcode/ADDI/read_rs1/write_record at row 2097354 (pc=200c34,ts=46155512) not found in Register reads
riscv_opcode/ADDI/read_rs1/write_record at row 2097357 (pc=200c44,ts=46155528) not found in Register reads
riscv_opcode/ADDI/read_rs1/write_record at row 2097360 (pc=200c54,ts=46155544) not found in Register reads
riscv_opcode/ADDI/read_rs1/write_record at row 2097385 (pc=200cdc,ts=46155680) not found in Register reads
riscv_opcode/ADDI/read_rs1/write_record at row 2097386 (pc=200ce0,ts=46155684) not found in Register reads
--------------------
riscv_opcode/ECALL_HALT/write x5/write_record at row 0 (pc=0,ts=46155688) not found in Register reads
--------------------
riscv_opcode/ADD/write_rd/write_record at row 4 (pc=200820,ts=464) not found in Register reads
riscv_opcode/ADD/write_rd/write_record at row 7 (pc=200820,ts=508) not found in Register reads
riscv_opcode/ADD/write_rd/write_record at row 10 (pc=200820,ts=552) not found in Register reads
riscv_opcode/ADD/write_rd/write_record at row 13 (pc=200820,ts=596) not found in Register reads
riscv_opcode/ADD/write_rd/write_record at row 16 (pc=200820,ts=640) not found in Register reads
riscv_opcode/ADD/write_rd/write_record at row 19 (pc=200820,ts=684) not found in Register reads
riscv_opcode/ADD/write_rd/write_record at row 22 (pc=200820,ts=728) not found in Register reads
riscv_opcode/ADD/write_rd/write_record at row 25 (pc=200820,ts=772) not found in Register reads
riscv_opcode/ADD/write_rd/write_record at row 28 (pc=200820,ts=816) not found in Register reads
riscv_opcode/ADD/write_rd/write_record at row 31 (pc=200820,ts=860) not found in Register reads
2024-11-06T13:20:05.647810Z ERROR ceno_zkvm::scheme::mock_prover: .... 1048566 more missing (num_instances = 3146338)
--------------------
riscv_opcode/ADD/read_rs2/write_record at row 4 (pc=200820,ts=464) not found in Register reads
riscv_opcode/ADD/read_rs2/write_record at row 7 (pc=200820,ts=508) not found in Register reads
riscv_opcode/ADD/read_rs2/write_record at row 10 (pc=200820,ts=552) not found in Register reads
riscv_opcode/ADD/read_rs2/write_record at row 13 (pc=200820,ts=596) not found in Register reads
riscv_opcode/ADD/read_rs2/write_record at row 16 (pc=200820,ts=640) not found in Register reads
riscv_opcode/ADD/read_rs2/write_record at row 19 (pc=200820,ts=684) not found in Register reads
riscv_opcode/ADD/read_rs2/write_record at row 22 (pc=200820,ts=728) not found in Register reads
riscv_opcode/ADD/read_rs2/write_record at row 25 (pc=200820,ts=772) not found in Register reads
riscv_opcode/ADD/read_rs2/write_record at row 28 (pc=200820,ts=816) not found in Register reads
riscv_opcode/ADD/read_rs2/write_record at row 31 (pc=200820,ts=860) not found in Register reads
2024-11-06T13:20:06.494862Z ERROR ceno_zkvm::scheme::mock_prover: .... 1048567 more missing (num_instances = 3146338)
--------------------
riscv_opcode/ANDI/write_rd/write_record at row 4 (pc=200dfc,ts=46137924) not found in Register reads
--------------------
riscv_opcode/JALR/read_rs1/write_record at row 11 (pc=200a94,ts=46155096) not found in Register reads
--------------------
riscv_opcode/ECALL_HALT/read x10/write_record at row 0 (pc=0,ts=46155688) not found in Register reads
--------------------
riscv_opcode/LW/read_rs1/write_record at row 298 (pc=200bac,ts=46155376) not found in Register reads
--------------------
riscv_opcode/LW/read_memory/read_record at row 0 (pc=201218,ts=24) not found in Memory writes
riscv_opcode/LW/read_memory/read_record at row 29 (pc=200f2c,ts=46138272) not found in Memory writes
--------------------
riscv_opcode/SB/write_memory/read_record at row 0 (pc=200d08,ts=184) not found in Memory writes
riscv_opcode/SB/write_memory/read_record at row 1 (pc=200d14,ts=196) not found in Memory writes
riscv_opcode/SB/write_memory/read_record at row 4 (pc=200d24,ts=212) not found in Memory writes
--------------------
riscv_opcode/SW/write_memory/read_record at row 0 (pc=201420,ts=40) not found in Memory writes
riscv_opcode/SW/write_memory/read_record at row 1 (pc=201428,ts=48) not found in Memory writes
riscv_opcode/SW/write_memory/read_record at row 2 (pc=201430,ts=56) not found in Memory writes
riscv_opcode/SW/write_memory/read_record at row 3 (pc=201440,ts=72) not found in Memory writes
riscv_opcode/SW/write_memory/read_record at row 4 (pc=20144c,ts=84) not found in Memory writes
riscv_opcode/SW/write_memory/read_record at row 5 (pc=201458,ts=96) not found in Memory writes
riscv_opcode/SW/write_memory/read_record at row 6 (pc=201464,ts=108) not found in Memory writes
riscv_opcode/SW/write_memory/read_record at row 7 (pc=201470,ts=120) not found in Memory writes
riscv_opcode/SW/write_memory/read_record at row 8 (pc=20147c,ts=132) not found in Memory writes
riscv_opcode/SW/write_memory/read_record at row 9 (pc=201488,ts=144) not found in Memory writes
2024-11-06T13:20:06.937454Z ERROR ceno_zkvm::scheme::mock_prover: .... 183 more missing (num_instances = 263)
--------------------
riscv_opcode/LBU/read_memory/write_record at row 0 (pc=20096c,ts=46138356) not found in Memory reads
riscv_opcode/LBU/read_memory/write_record at row 4 (pc=2018a4,ts=46139720) not found in Memory reads
riscv_opcode/LBU/read_memory/write_record at row 8 (pc=2018e4,ts=46139784) not found in Memory reads
riscv_opcode/LBU/read_memory/write_record at row 38 (pc=201c24,ts=46140616) not found in Memory reads
riscv_opcode/LBU/read_memory/write_record at row 40 (pc=201ce8,ts=46140812) not found in Memory reads
riscv_opcode/LBU/read_memory/write_record at row 42 (pc=201da0,ts=46140996) not found in Memory reads
riscv_opcode/LBU/read_memory/write_record at row 44 (pc=201e58,ts=46141180) not found in Memory reads
riscv_opcode/LBU/read_memory/write_record at row 46 (pc=201f10,ts=46141364) not found in Memory reads
riscv_opcode/LBU/read_memory/write_record at row 48 (pc=201fc8,ts=46141548) not found in Memory reads
riscv_opcode/LBU/read_memory/write_record at row 50 (pc=202080,ts=46141732) not found in Memory reads
2024-11-06T13:20:06.937564Z ERROR ceno_zkvm::scheme::mock_prover: .... 7 more missing (num_instances = 65)
--------------------
riscv_opcode/LW/read_memory/write_record at row 0 (pc=201218,ts=24) not found in Memory reads
riscv_opcode/LW/read_memory/write_record at row 2 (pc=200f20,ts=46137972) not found in Memory reads
riscv_opcode/LW/read_memory/write_record at row 3 (pc=200f24,ts=46137976) not found in Memory reads
riscv_opcode/LW/read_memory/write_record at row 4 (pc=200f28,ts=46137980) not found in Memory reads
riscv_opcode/LW/read_memory/write_record at row 5 (pc=200f2c,ts=46137984) not found in Memory reads
riscv_opcode/LW/read_memory/write_record at row 6 (pc=200f20,ts=46138020) not found in Memory reads
riscv_opcode/LW/read_memory/write_record at row 7 (pc=200f24,ts=46138024) not found in Memory reads
riscv_opcode/LW/read_memory/write_record at row 8 (pc=200f28,ts=46138028) not found in Memory reads
riscv_opcode/LW/read_memory/write_record at row 9 (pc=200f2c,ts=46138032) not found in Memory reads
riscv_opcode/LW/read_memory/write_record at row 10 (pc=200f20,ts=46138068) not found in Memory reads
2024-11-06T13:20:06.937673Z ERROR ceno_zkvm::scheme::mock_prover: .... 159 more missing (num_instances = 299)
--------------------
riscv_opcode/SW/write_memory/write_record at row 0 (pc=201420,ts=40) not found in Memory reads
riscv_opcode/SW/write_memory/write_record at row 34 (pc=200900,ts=46137844) not found in Memory reads
riscv_opcode/SW/write_memory/write_record at row 35 (pc=200904,ts=46137848) not found in Memory reads
riscv_opcode/SW/write_memory/write_record at row 36 (pc=200908,ts=46137852) not found in Memory reads
riscv_opcode/SW/write_memory/write_record at row 37 (pc=20090c,ts=46137856) not found in Memory reads
riscv_opcode/SW/write_memory/write_record at row 38 (pc=200910,ts=46137860) not found in Memory reads
riscv_opcode/SW/write_memory/write_record at row 39 (pc=200914,ts=46137864) not found in Memory reads
riscv_opcode/SW/write_memory/write_record at row 40 (pc=200918,ts=46137868) not found in Memory reads
riscv_opcode/SW/write_memory/write_record at row 41 (pc=20091c,ts=46137872) not found in Memory reads
riscv_opcode/SW/write_memory/write_record at row 42 (pc=200928,ts=46137884) not found in Memory reads
2024-11-06T13:20:06.937780Z ERROR ceno_zkvm::scheme::mock_prover: .... 2 more missing (num_instances = 263)
--------------------
This PR aims to improve current mock prover to find out constraint errors in the zkvm setting.