Argot Collective @argot.org · Dec 22 As the year wraps up, we’re taking a moment to look back and highlight some of the work coming out of the Argot Collective - starting with Act ✨↓
1 likes 1 replies
?
Replies
Act is a formal specification language for Ethereum smart contracts. It bridges human-readable specs & EVM bytecode, by proving equivalence using the hevm tool. It is source-language agnostic, currently supporting Solidity and Vyper without tying correctness to a single frontend or compiler.