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

Eltoo

This https://blockstream.com/eltoo.pdf