Creating a multisig wallet in an "unsafe" language

Duration: NaN:NaN:NaN

Speaker: Alex Beregszaszi

Type: Talk

Expertise: Some familiarity with the topic

Event: Devcon

Date: Nov 2026

This will have in-depth explainer of decisions made on the new wallet (what makes it different / better / distinct) and how that could be achieved in the new language. What implications that can be have on the ecosystem (EIP-712 extensions, wallet improvements). Lastly also touching on how we can formally verify it (powdr/yul-compiler). Here's a longer explainer I wrote earlier this month: https://hackmd.io/@axic/Sy46YeCrze TLDR: 1) Core Solidity introduces support for ADTs, which simplify the implementation and increases transparency from the signing side greatly 2) The compiler infrastructure (the different passes) are way smaller and there's active effort to formally verify it end-to-end using Lean 4 I picked 25 minute slot, but would be happy to do it in a lightning talk as well.