2 ms·
Another public good that cryptocurrency has been contributing to is advances in zero knowledge proofs including some really interesting stuff like SNARKs
by X6S1x6Okd1st 5y ago
Another public good that cryptocurrency has been contributing to is advances in zero knowledge proofs including some really interesting stuff like SNARKs
- tromp 5y agoHere's the state of the art on that: https://iacr.org/cryptodb/data/paper.php?pubkey=31249 https://iacr.org/cryptodb/data/paper.php?pubkey=31249
- X6S1x6Okd1st 5y agoOne 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.
- miketery 5y agoAny good tutorials? I’m having a hard time understanding some of the write ups I’ve found so far.