3 ms·
We will soon have ScAfee but for Dapps! Is it not true that program synthesis will work, as long as a "contract" isn't too large or designed adversarially? Bec
by retr0yrus 8y ago
We will soon have ScAfee but for Dapps!
Is it not true that program synthesis will work, as long as a "contract" isn't too large or designed adversarially? Because if that weren't true you'd have a debugger for all circuits and programs (suitably restricted in computing power).
- saurabh20n 8y agoI'm guessing you meant McAfee for Dapps? Yes. It should work. There's a good amount of work to be done though. :) I don't follow what you mean by a "debugger" in this case.