Proofs for Deep Thought: Accumulation for large memories and deterministic computations

ePrint Report: Proofs for Deep Thought: Accumulation for large memories and deterministic computations

Benedikt Bünz, Jessica Chen

We construct two new accumulation schemes. The first one is for checking that $\ell$ read and write operations were performed correctly from a memory of size $T$. Unlike all prior work, the prover time is entirely independent of $T$ and only depends on $\ell$. The second one is for deterministic computations. It does not require committing to the intermediate wires of the computation …

chen eprint report large memory operations report size thought work