Compact memory representation for streaming checkpoints

Formal Verification: Front-end API for Sumchecks

Error while running the recursion example.

Slice-Length Operation causes `not implemented` error in mles_product_sum

Rust's `write_volatile` and `read_volatile` trigger index out of bounds

[Bug] Sigma Protocol 2 Verification Failure

Add a modexp example guest program + benchmark

Jolt's output differs after changes to unexecuted code

Sumcheck Verification Failure for Guest with `rem` Instruction

Documentation translation offer