[peter_l_downs]

I continue to be in awe of people like Vitalik and all of the other protocol developers who can understand all the different pieces (math, social incentives, engineering) to make blockchain technologies work. Great writeup, I really appreciated the tradeoffs tables in particular.

If you're interested in other uses of zk-SNARK, Celo (an Ethereum fork) is making it possible to run an "ultralight" node on your phone -- not mainnet yet I don't think but some details here https://docs.celo.org/celo-codebase/protocol/plumo and whitepaper here https://docs.zkproof.org/pages/standards/accepted-workshop3/...