How do you keep GAS/CALL(g) working when EIP-7999 turns gas into a vector?

Another zkEVM explainer, this one walks through Vitalik's taxonomy and why proving EVM bytecode is the annoying part.

Ashlar builds an AO hash from chained field squarings, trying to out-Poseidon Poseidon and begging for attacks.

Repo for an EVM chain with proof-of-humanity, streaming UBI, and Groth16/BN254 passport checks, because apparently money needed a captcha.