Checks fillSlots(), which the two proofs above never run (they replay recorded samples).
The page built from generated values is re-compiled against the recorded one and must come
out the same shape; a generator emitting wrong bytes moves a constant and is refused.
Checks
fillSlots(), which the two proofs above never run (they replay recorded samples).The page built from generated values is re-compiled against the recorded one and must come out the same shape; a generator emitting wrong bytes moves a constant and is refused.