it have multi signature, supports inheritance, uses atomic execution. turing incomplete, and upgradeable?
RIDE support multisg, smart contract are upgradable unless locked by the dev and all executions are atomic. It is not turing complete and there is no class inheritance, it very different than solidity.
In what areas do you think RIDE is lacking in? Does it use formal verification?
It doesnt lack anything for me personally in my dapps use. Yes it use formal verification.
There are other smart contract languages in place now like Kadena's Pact, what advantage does RIDE have compared to other languages?
Обсуждают сегодня