Open eyusufatik opened 1 week ago
The thing is we do proof sampling this way: prover works once a day, we send the proof to da.
It works. But the problem is we need to test da and proving system that we can actually works.
Instead we can run every seqcom on l1 block in execute mode (no proving but producing fake receipts).
So we have to implement producing fake proof for all batch proofs but with sampling to produce a real proof once a day.
The thing is we do proof sampling this way: prover works once a day, we send the proof to da.
It works. But the problem is we need to test da and proving system that we can actually works.
Instead we can run every seqcom on l1 block in execute mode (no proving but producing fake receipts).
So we have to implement producing fake proof for all batch proofs but with sampling to produce a real proof once a day.