Coram
A soon formally-verified modern multisig implementation with clear signing
Demo
About
Coram is a new multisignature wallet written in "Core Solidity" (the work in progress Solidity 2.0 from Argot), which enables it to: 1. use novel features (most notably algebraic datatypes (ADTs)) previously unavailable in the language, making it less error prone, 2. be subject to "automatic" formal verification (the entire compiler is not yet covered, but it is work in progress). Furthermore, certain technical decisions were made to reduce the security surface area and better end-user readability during signing. The best example is since ADTs are used, batching can be easily implemented, which removes the need for "multicall" wrappers, which ruin signing clarity quite a bit.
How it's made
This is a highly technical project. It is continuity from EthGlobal Lisbon this year. Since Lisbon all the work needed in the compiler has been finished and merged upstream. An initial version of formal verification was reviewed, but work is to be continued on that. During this week most of the focus was on improving the UX. All the basic features are working as planned.