Solidus
Named by 2 kept items in this workspace.
Search every workspace for Solidus. It matches the name as written, so it can find other things that share it.
The items that name it 2
Collaborative automated-research project building a formally verified Solidity-to-EVM compiler in Lean; backend (Yul to EVM) already built and formally verified
Paradigm's pre-alpha Lean project for a formally verified Solidity-to-EVM compiler. Its Yul-to-EVM backend is built and proven; the Solidity-to-Yul frontend does not exist yet. The backend emits almost 3x as much bytecode as solc on Paradigm's test suite.
All technologies in this workspace.