4 ms·
Not as of yet, but I'd definitely be interested in exploring the possibility. If you know of any good resources or primers on those, please do send them my way
by nahollander 9y ago
Not as of yet, but I'd definitely be interested in exploring the possibility. If you know of any good resources or primers on those, please do send them my way.
- sigstoat 9y agoshrug, the reference books for all those things are the standard resources. i think they've shown up on hacker news a couple times each. if i were aware of any material on formalizing solidity or the EVM, honestly i'd keep it to myself and use it to identity vulnerabilities in your contracts. in that hypothetical world, my question was a means to check and see if you were a good target. good luck. :)