Hacker News new | ask | show | jobs
by pavel_lishin 3340 days ago
I don't see that anywhere, although I only googled very briefly. The closest I saw was this:

> Updates to the protocol can be required to carry formal proofs indicating that they respect agreed core principles agreed upon by the stakeholders.

Which doesn't really make sense; how do you write a formal proof that something align with someone's core principles?