4 ms·
Can Etherium run contracts written in Dafny? This is cool, but it doesn’t guarantee that the Solidity matches the proof at all, does it?
by wilde 5y ago
Can Etherium run contracts written in Dafny? This is cool, but it doesn’t guarantee that the Solidity matches the proof at all, does it?
- schelling42 5y agoIt is spelled Ethereum.