devcon wrap up:
- CROPS winning; it’s a fresh, unique perspective that many outsiders can relate to
- privacy will become the default; from obscure niche to mainstage
- formal verification huge for security
- ETH is money
- issuance debate still spicy
- hard focus shift to PQ