67 citations · 68 across the 4 of their papers we have counts for
1 paper · 1 filter
Aard Vark, Yan X Zhang
In the context of interactive proofs, a "folding scheme" (popularized by Nova) is a way to combine multiple instances of a constraint system into a single instance, so the validity…