Coram

NOTE: unfortunately I had no time to fully finish the frontend, the contract implementation can be clearly tracked at https://github.com/argotorg/solcore/pull/480, and the frontend/backend at https://github.com/axic/multisig

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.

This is a highly technical project. I marked "continuity", but I think it would fit the from scratch category too. The original contract part I have written by hand while contributing to the solcore compiler, and then contributed all the language features needed to the compiler (with a combination of handwritten and Claude-written code).

During the hackathon the focus was on finishing the multisig features, implementing the backend/frontend and the design system.

For the contract itself, given solcore (~ solidity 2.0) is work in progress, I had to add a lot of stdlib changes and improvements to the compiler, while about ten features were needed, three of them were done during the hackathon:

• https://github.com/argotorg/solcore/pull/526
• https://github.com/argotorg/solcore/pull/529
• https://github.com/argotorg/solcore/pull/531

The original version of the multisig contract lives here: https://github.com/argotorg/solcore/pull/480