News for hackers. Stuff that matters.

A comment on Hard Problems in Cryptocurrency: Five Years Later. Parent comment

Re:Hard Problems in Cryptocurrency: Five Years Later by yodsanklai on Sunday November 24, 2019 @12:00PM (#21621642)
> the stakes are too high to want to trust your assets to arbitrary turing-complete code.

Does it matter whether the language is turing-complete or not? you're trusting a contract, not the PL used to write the contract, and the contract can be very simple (and formally verified, if the PL has a formal semantics).

[ Parent | on HN ]
Re:Hard Problems in Cryptocurrency: Five Years Later by ddrdrck_ on Sunday November 24, 2019 @02:36PM (#21622736)
I think the point is that it is easier to formally verify a non-Turing-complete PL
[ Parent | on HN ]