3 ms·
> Its a functional language which allows formal verification. Imperative languages can also be formally verified. See the K framework for formal modeling and v
by mratsim 5y ago
> Its a functional language which allows formal verification.
Imperative languages can also be formally verified. See the K framework for formal modeling and verification of EVM smart contracts.
Detailed list: https://github.com/leonardoalt/ethereum_formal_verification_overview https://github.com/leonardoalt/ethereum_formal_verification_...
> Gas price is extremely low.
Beware, the gas price might be low because there is no volume. Binance Smart Chain had a lot of difficulty the past 2 days because they underpriced gas cost and basically DOS-ed themselves:
- https://mobile.twitter.com/PancakeSwap/status/1384509972394872832 https://mobile.twitter.com/PancakeSwap/status/13845099723948...
- https://mobile.twitter.com/peter_szilagyi/status/1384823880183861248 https://mobile.twitter.com/peter_szilagyi/status/13848238801...
You missed a very nice example of Tezos adoption, which was the French military police using it to pay sources
https://journalducoin.com/blockchain/actualites-blockchain/une-premiere-la-gendarmerie-nationale-utilise-tezos/ https://journalducoin.com/blockchain/actualites-blockchain/u...
- ddeyar 5y ago> Imperative languages can also be formally verified. See the K framework for formal modeling and verification of EVM smart contracts. Good to see that eth has the possibility too. It's a must have in my opinion. > Beware, the gas price might be low because there is no volume. Binance Smart Chain had a lot of difficulty the past 2 days because they underpriced gas cost and basically DOS-ed themselves: I don't know how tezos would react when DOS-ed. The next upgrade brings some further optimizations with it. Gas will then be calculated using saturated arithmetic.