Paradigm releases Solidus, formally verified Yul compiler optimizing for gas
Paradigm publishes a formally verified Yul compiler that optimizes Ethereum smart contract bytecode for gas costs.
This permalink is the canonical link for this story. It updates as new coverage joins the cluster. Know a post that belongs here? Suggest a link.