Argot Collective @argot.org · May 15 Sourcify keeps smart contract verification open, public, and decentralized →qf.giveth.io/project/sou...
0 likes 1 replies
?
Replies
act ensures smart contract safety by providing a formal specification language and verification framework for Ethereum smart contracts. →qf.giveth.io/project/act...