Evolving nullifiers and recursive proofs

Sean explains evolving nullifiers, remote recursive proof workers, and how validators can avoid unbounded nullifier sets.