Tuesday, November 7, 2017

Simplicity - a smart contracting language

This is the first proposal I have seen for a smart contracting language carefully designed for certain useful proveability characteristics. When designing a smart contract, it does seem important to know in advance how much computational load it will require!

There seems to be some excellent research coming out of Blockstream.

https://blockstream.com/simplicity.pdf

No comments:

Post a Comment

Where legacy meets cryptocurrency, there is danger

As presently formulated, ICE's Bitcoin futures market sounds like a bad idea. They are not even creating a separate clearing house. This...