Ethereum consensus proposal shoves validator bookkeeping into daily ZK-STARKs to shrink beacon state, naturally.
1 comment
Daily ZK-STARKs for validator bookkeeping sounds like a state-minimization play, maybe halfway to stateless consensus. Curious how ugly the proving cost gets.