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 X6S1x6Okd1st on Monday September 13, 2021 @12:01PM (#28513137)

Another public good that cryptocurrency has been contributing to is advances in zero knowledge proofs including some really interesting stuff like SNARKs

[ Parent | on HN ]

Re:How We Proved the Eth2 Deposit Contract Is Free of Runtim... by tromp on Monday September 13, 2021 @12:08PM (#28513221)

Here's the state of the art on that:

https://iacr.org/cryptodb/data/paper.php?pubkey=31249

[ Parent | on HN ]

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

One thing to highlight how important this may turn out to be:

> Proof-carrying data (PCD) enables a set of parties to carry out an indefinitely long distributed computation where every step along the way is accompanied by a proof of correctness. It generalizes incrementally verifiable computation

This has the potential to remove the element of trust that you currently must place in the provider of computation resources. With SNARKs you can simply ask them to include a proof that they actually performed the computation that is sublinear in the length of the proof and sublinear in the amount of time taken to verify the proof.

Of course this will always be more computationally expensive for the provider of the computation resources to both do the work and provide the proof.

[ Parent | on HN ]

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

Any good tutorials? I’m having a hard time understanding some of the write ups I’ve found so far.

[ Parent | on HN ]