News for hackers. Stuff that matters.
Re:Catala: A Programming Language for the Law by alpaca128 on Thursday May 06, 2021 @12:50PM (#27066008)
If I understand it correctly smart contracts are just another piece of software combined with some blockchain magic. If you can't prove a piece of code is correct, wrapping it in a trendy buzzword won't make the code more correct.

Maybe I'm wrong, but I don't know how decentralization would change anything other than adding safeties against manipulation if done right.

There are no comments on this comment yet.