News for hackers. Stuff that matters.

A comment on Verifying smart contracts in Libra’s Move language.

Re:Verifying smart contracts in Libra’s Move language by compilers on Thursday September 12, 2019 @12:17PM (#20953247)
Very nice! Is the synthesis post ready?
[ Parent | on HN ]
Re:Verifying smart contracts in Libra’s Move language by saurabh20n on Thursday September 12, 2019 @12:25PM (#20953359)
Yes. We did all the work together. Was going to talk about that one later, but since you asked:

Synthesizing smart contracts from test cases. https://synthetic-minds.com/pages/blog/blog-2019-09-12.html

[ Parent | on HN ]
Re:Verifying smart contracts in Libra’s Move language by RichardHeart on Thursday September 12, 2019 @10:43PM (#20958698)
Would love to hear back from you guys, richardheartauthor at gmail, emailed you in oct '18, and jun '19, and now.
[ Parent | on HN ]
Re:Verifying smart contracts in Libra’s Move language by saurabh20n on Thursday September 12, 2019 @11:27PM (#20958929)
Thanks for the ping. Looking forward to running your contracts through our system.
[ Parent | on HN ]
Re:Verifying smart contracts in Libra’s Move language by compilers on Thursday September 12, 2019 @12:58PM (#20953738)
Cool! I do not have much experience in this area but this certainly seems like interesting work. I wish you good luck!
[ Parent | on HN ]