Formal AST-based specifications of all 21 sumchecks in Jolt's proving pipeline.
Spartan
Virtualization & RAM
Shift & Instruction Input
Registers & RAM Val
Instruction Read RAF & Reductions
Booleanity, Bytecode & Virtualization
Hamming Weight Claim Reduction