devconnect arg / the state of source code verification closed painful and ready for change kaan uzdogan
- YouTube
- Details
The State of Source Code Verification Closed, Painful, and Ready for Change - Kaan Uzdogan
Duration: 00:25:00
Speaker:
Type: Talk
Expertise:
Event: Devcon
Date: Feb 2026
Kaan Uzdogan from Sourcify | Argot Collective presented his talk "The State of Source-Code Verification: Closed, Painful, and Ready for Change" where he walked us through the problems in the verification ecosystem and demonstrate how Sourcify and the Verifier Alliance are trying to improve the status quo.
- Related
Devconnect
Talk
18:13
All the things I wish (native) Solidity would let me do - Hadrien Croubois
"The solidity language is sometimes restrictive, and we have to fallback to assembly to do some things." Hadrien Croubois from OpenZeppelin joined us at Solidity Summit once again to describe things that he wishes were natively supported in the language, through his talk.
Devconnect
Talk
14:07
ethdebug format overview (2025) - gnidan
gnidan from ethdebug | Argot Collective introduced ethdebug - a debugging data format for Ethereum at Solidity Summit 2023. Since then, work has advanced on ethdebug's specification as well as its implementation by multiple debuggers and solc itself. This year, gnidan was back on stage to share how this format is being designed, what the current status is, and what you can expect next.
Devconnect
Talk
11:21
Formally Verifying YUL Level Static Analyses and Optimization with Coq
Complutense University of Madrid
Devconnect
Talk
14:33
From Classic to Core Solidity - Kamil Sliwak
Classic Solidity has to go. Core Solidity is the future. Will users follow? Can Solidity avoid repeating the infamous decade-long migration that Python 3 experienced? Kamil Sliwak from Solidity | Argot Collective shared just how 'breaking' the changes will really be and what can be done in the compiler to give users a smooth, gradual transition.
Devconnect
Talk
09:56
From EF to Argot: Solidity’s New Home - Lea Schmitt
Solidity has entered a new chapter. Over the past months, the Solidity team transitioned out of the Ethereum Foundation and into Argot, an independent organization designed to support the language and its ecosystem in a more open, community-driven way. Lea Schmitt from Argot Collective talked about what Argot is, why this change happened, and how it shapes the future of Solidity.
Devconnect
Talk
26:39
Hardhat 3 is here: what's new and why you should use it - John Kane
Hardhat 3 is ready for production. Through his talk, John Kane from Nomic Foundation showcased new and upcoming features like Solidity Tests, L2 simulation and Ecmascript Module support among many more.
Devconnect
Talk
29:48
How to solve stack too deep errors: a Yul to EVM pipeline - Alejandro Cerezo
Alejandro Cerezo from Project GreY, Complutense University of Madrid walked us through a framework that builds upon the SSA-CFG representation to generate efficient EVM code while addressing the stack-too-deep problem.
Devconnect
Talk
23:22
How Type-Driven Development Can Turbocharge your Contract's Security - philogy
We welcomed philogy from Spearbit to talk about Type-Driven Development at Solidity Summit 2025. The talk will delved into: - What it is, how it can be applied to smart contract development - How to do it in Solidity - What language features "Sensei", an experimental language, adds to make it easier to employ
Devconnect
Talk
37:42
Introducing Core Solidity - Rodrigo Ribeiro
The Solidity language research group has been making progress with Core Solidity. Rodrigo Ribeiro from Solidity | Argot Collective introduced Core Solidity, our design philosophy for it, and the progress made so far by the team.
Devconnect
Talk
15:40
Preventing Hacks with Security Rules Written in Solidity - odysseas
odysseas from Phylax Systems talked about how the Phylax Credible Layer enables security rules that prevent hacks from being written in Solidity. The talk first went into how these rules work, then how to implement them, and finally showcased real-world examples.