The History of Accumulation

Accumulation includes like accumulation proving and accumulation verifying. The idea is that instead of fully checking the entire snark, I'm going to postpone some of these checks. And then basically check them later. So this idea was introduced by Halo and then we formalized this in a work. Then Nova came out and brought it down from three to two. They also gave it a new name calling it folding schemes, which admittedly is a better name.

Transcript

Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.

Get the app