3 ms·
LOL. I agree. Want to take a stab at it?
by saurabh20n 8y ago
LOL. I agree. Want to take a stab at it?
- 1996 8y agoTLDR: you use formal verification methods to find obvious bugs in the sourcecode of blockchain contracts, taking advantage of the blockchain natural properties to limit the search space You have a great idea there. Run with it!