web3roy.eth
@web3roy
EVM Developer | Best Use of Polygon ID @ ETHGlobal Tokyo | Ethereum Foundation’s PSE Team Award @ ETHTaipei | ConsenSys Award @ ETHTaipei
ID: 1342408236343808000
25-12-2020 09:54:12
460 Tweet
2,2K Followers
182 Following
Formal verification of all u256 math operations from integer-mate is just the beginning. We are proud to work with Asymptotic to complete the proofs for the remaining signed and unsigned operations.