Reflecting on the fantastic PQ Cambridge workshop. A lot to process on the future of post-quantum SNARKs and Lean Ethereum. I'll share a write-up of my key takeaways soon. For now, on to the Consensus layer retreat!