[dsfjksdf]

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.

[DennisP]

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.

[dsfjksdf]

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!