3 ms·
+1. I built a smart contract decompiler (eveem.org), and got deep into formal verification / code analysis path during that time. There was a ton more I could
by kolinko 3y ago
+1.
I built a smart contract decompiler (eveem.org), and got deep into formal verification / code analysis path during that time.
There was a ton more I could do back then if I had access to gpt-4. Some analysis methods were extremely slow using solvers, and it was a pita to write code for dedicated code pattern recognition. Gpt4 improves that, and it's easy to verify if it's guesses are correct using formal methods.
- ryanjshaw 3y agoNice, I've used your decompiler! The smart contract decompilation/binary lifting space is pretty active and I'm not sure how much low hanging fruit is left there. But there are now active bug bounty/audit contests in this space, so my focus is on projects where I already have the source. I'm exploring some unconventional domain-specific ideas that leverage ASTs and (eventually) LLMs. That being said, I recently read a paper whose authors made use of traditional statistical analysis to find unusual implementation patterns in an IR decompilation of smart contracts. I wonder if custom LLMs can be used to perform that analysis.