Minisig is a ruthlessly simplified multisignature wallet written in raw evm bytecode via the huff assembler.
**None of the contracts in this repo are ready for production use**
- minisig-semantics is a formal specification of the high-level design of the contract using K.
- minisig.sol is a solidity reference implementation that maps as closely as possible to the huff implementation.
- minisig.vy is a vyper implementation with some significant compromises (such as a hardcoded number of signers).
- minisig.huff is the huff implementation.
- minisig.k is a (work in progress) bytecode-level specification of the huff implementation in K.
Inspired by SilentCicero's yul MultiSignatureWallet and Christian Lundkvist's simple-multisig.