3 ms·
Are you using rosette? I had an idea of using program synthesis for creating new smart contracts based on a language that would create them from unit tests. Are
by zitterbewegung 8y ago
Are you using rosette? I had an idea of using program synthesis for creating new smart contracts based on a language that would create them from unit tests. Are you going to open source your system?
What I had so far is at https://github.com/zitterbewegung/Belmod https://github.com/zitterbewegung/Belmod
- saurabh20n 8y agoI am not using Rosette, although I love the work Emina and Ras are doing to make synthesis accessible. [ Edit: Your idea is fantastic, btw. If you can find use cases where the size of contracts is small, it'll be amazing to have synthesis from test cases. ps: Do borrow some ideas from the way Sumit solves Flashfill. ] My system is closed source, partially because it is computationally heavy and I'll spin up a server fleet for analyses, and also because I don't want it to be used for attacks, i.e., limit use to mostly the original developers of projects. Connect with the email on the website. I'll look at your code a little later.
- zitterbewegung 8y agoThanks for the advise! I haven't been working on it because I didn't really know where to start and I had to learn solidity.