How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors

Re:How We Proved the Eth2 Deposit Contract Is Free of Runtim... by lottin on Monday September 13, 2021 @03:14PM (#28515511)

This is because banks rely on property rights, which are enforced by courts, whereas cryptocurrencies operate on a "fait accompli" basis (i.e. whoever happens to control the coins, owns them). This means, in the cryptocurrency world, mistakes are irreversible. In conventional finance, this is not usually the case.

[ Parent | on HN ]

Re:How We Proved the Eth2 Deposit Contract Is Free of Runtim... by tombert on Thursday September 16, 2021 @01:44PM (#28554761)

Sorry for replying to an old thread, but I wanted to respond to this.

I totally understand why blockchain isn't the standard for everything right now; my statement was in regards to formal methods to ensure correctness. For example, "reversing" a transaction could totally be modeled in TLA+ (and probably other systems, I'm just most familiar with TLA+ than most other systems), which would provide model checking (and possibly even proofs) that you would not otherwise have.

[ Parent | on HN ]

Re:How We Proved the Eth2 Deposit Contract Is Free of Runtim... by robocat on Monday September 13, 2021 @05:17PM (#28516995)

Fiat accompli?

[ Parent | on HN ]

Re:How We Proved the Eth2 Deposit Contract Is Free of Runtim... by lottin on Monday September 13, 2021 @05:36PM (#28517186)

"Fait accompli"

https://www.merriam-webster.com/dictionary/fait%20accompli

There's probably a better term but English isn't my first language.

[ Parent | on HN ]

Re:How We Proved the Eth2 Deposit Contract Is Free of Runtim... by robocat on Monday September 13, 2021 @06:10PM (#28517547)

Your English is excellent - as a native speaker I wouldn’t have guessed you had a different mother tongue. ‘Fait accompli’ is used in English with the same meaning. I was trying to make a stupid joke referring to fiat currency… HN is a tough audience, and I’m more of a droll engineer type.

[ Parent | on HN ]