Verifying Jolt zkVM Lookup Semantics.

Carl Kwan, Quang Dao, Justin Thaler

Browse the full FC paper archive.