Day 1 is here, and these teams helped make it happen. Thank you to our Devcon 8 Supporters! 🙏
Flagship Supporters: @base
Core Supporters: @arkivnetwork, @gnosis_, @Kleros_io and @OpenZeppelin
Find them around the venue this week and say hi!
“If you take code that is very, very complex, inductive reasoning becomes difficult, and formal verification also becomes challenging, even in the age of AI.
In some sense, the beauty of formal verification is that we can also forget about it.
Mathematical induction is what
“Our hope is that by December 2028 we’ll be able to wrap up the full post-quantum and post-AI transition, which gives us 24 months to ship the three forks after Glassnode.” - @drakefjustin
📍 Devcon 8, Opening Ceremony
