From EF to Argot: Solidity’s New Home
summary
Solidity moves out of the Ethereum Foundation into Argot, an independent nonprofit that now houses six tightly linked teams and secures three to four years of initial funding. Work splits into core solidity (new type system, revamp) and classic Solidity, with a shared backend planned and fee v2 nearing ship; tools include ACT for formal verification, HVM for symbolic execution and fuzzing (already uncovering edge-case bugs), and Sourcifi for source verification. Solidity already underpins over $200 billion in DeFi.
AI-written summary · about
related talks
37mExperimental Solidity
37mSolidity in 2022: Recent and Planned Features
41mBattle of the Languages
20mSlang Building Solidity Compiler APIs from a Declarative Language Specification
15mWhat would Solidity look like if it was built today?
12mPlank: The New Best Way to Develop Smart Contracts
01h 05mAll the Languages Together
22mThe Promise of Smart Economy