2 ms·
How accurate is Manticores EVM implementation? Does it pass the EVM state tests [1]? How does it’s accuracy compare to KEVM? [2]? [1]: https://github.com/ether
by xwvvvvwx 7y ago
How accurate is Manticores EVM implementation? Does it pass the EVM state tests [1]? How does it’s accuracy compare to KEVM? [2]?
[1]: https://github.com/ethereum/tests https://github.com/ethereum/tests
[2]: https://jellopaper.org/ https://jellopaper.org/
- dguido 7y agoManticore is tested extensively against real contracts from our clients, a database of purposefully challenging code samples and mutants we've developed, and the Ethereum VMTests, a version of the state tests you linked. It has found many real bugs in our client's code.