Despite S.E.C. Warning, Wave of Initial Coin Offerings Grows

Re:Despite S.E.C. Warning, Wave of Initial Coin Offerings Grows by dsfjksdf on Wednesday August 09, 2017 @06:41AM (#14967259)

It's Ethereum with the claim of having a better language for the contracts (enabling automatic verification).

I don't think it makes that much sense, after all, you could also create another language that compiles to Solidity, and that is verifiable.

I mean it is OK, just not as much of an improvement as they make it sound.

[ Parent | on HN ]

Re:Despite S.E.C. Warning, Wave of Initial Coin Offerings Grows by DennisP on Wednesday August 09, 2017 @08:15AM (#14967792)

Or create another language that compiles to the Ethereum virtual machine. There are several already, and at least two in development designed to be better for formal verification.

[ Parent | on HN ]

Re:Despite S.E.C. Warning, Wave of Initial Coin Offerings Grows by dsfjksdf on Wednesday August 09, 2017 @08:34AM (#14967951)

Yes that is what I meant - I don't know Ethereum as well, so I assumed Solidity is the already the level of the VM (the "assembly"). Thanks for clarifying!

[ Parent | on HN ]