the 22-kilobyte blockchain: every block carries a recursive SNARK that proves the entire history, so verifying the chain costs the same on day one and year ten. full nodes fit in a browser; zkApps extend the trick to applications
the lesson: recursion compresses history — a constant-size proof can stand for unbounded work. the property soft3 wants for a pocket-sized prover: honeycrisp hardware doing zheng folds, a chain you can carry