4 ms·

It is surprising that people would entrust large amounts of money to Turing complete C-like programming languages in an environment where mistakes are irreversi

It is surprising that people would entrust large amounts of money to Turing complete C-like programming languages in an environment where mistakes are irreversible. Surely you would want to use a language that makes it harder to accidentally introduce common vulnerabilities? For example, considering contracts are likely to be state machines (and the error in this case is a state machine issue), maybe an explicitly state machine-oriented language design would be good? I'm not familiar with academic research in this area but I have used a real-world one before, Linden Scripting Language, which incidentally is also used for what you could call “smart contracts” involving money, albeit not in a cryptocurrency environment.

Paradigma11 5y ago
There is: https://archetype-lang.org/ https://archetype-lang.org/ with an explicit https://docs.archetype-lang.org/archetype-language/state-machine https://docs.archetype-lang.org/archetype-language/state-mac... feature.
- 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 ago
    I 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...

Paradigma11 5y ago

There is: https://archetype-lang.org/ https://archetype-lang.org/ with an explicit https://docs.archetype-lang.org/archetype-language/state-machine https://docs.archetype-lang.org/archetype-language/state-mac... feature.

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 ago
  I 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...