4 ms·
Why is this only on tezos? Is there some technical reason why tezos can use it but others can’t. I know tezos was basically born from theDao fallout, but, seems
by jl2718 5y ago
Why is this only on tezos? Is there some technical reason why tezos can use it but others can’t. I know tezos was basically born from theDao fallout, but, seems like maybe eth should think about standardization and verification too.
- Paradigma11 5y agoI dont know how hard it would be to port it to other platforms. Different Virtual machine. Tezos uses a human readable stack based language as a low level represenation that is suited for formal proofs: https://tezos.gitlab.io/008/michelson.html https://tezos.gitlab.io/008/michelson.html If archetype depends on that then its going to be hard to port but i dont think it does. Another interesting project in development is https://juvix.org/ https://juvix.org/ which targets more backends beside michelson like llvm and wasm. Might run on eth2/Ewasm. There are also blockchain specific features like: https://medium.com/tqtezos/tickets-on-tezos-part-1-a7cad8cc71cd https://medium.com/tqtezos/tickets-on-tezos-part-1-a7cad8cc7...