Twitter | Search | |
Vitalik Non-giver of Ether
See Not giving away ETH. For inquiries about me advising your ICO, please email: noreply@buterin.com
12,022
Tweets
139
Following
877,382
Followers
Tweets
Vitalik Non-giver of Ether 9h
Replying to @PaulRBerg
That sounds more like a good name for a ZKP-focused VC firm than for the tech itself 🤣
Reply Retweet Like
Vitalik Non-giver of Ether 10h
DARK stands for "Diophantine Argument of Knowledge". There was a presentation in Tel Aviv; says the paper will be published soon.
Reply Retweet Like
Vitalik Non-giver of Ether 12h
Most public materials on ZKP, especially the ones that talk about walking into a cave 80 times, are terrible. So not your fault at all 😄
Reply Retweet Like
Vitalik Non-giver of Ether retweeted
Andrew Yang Sep 21
Pricing in externalities may be one of the most important things we can do. Markets work better if the true costs are included.
Reply Retweet Like
Vitalik Non-giver of Ether 14h
Replying to @JWestJest
Then I'll rename data availability proofs to "Low-degree Arithmetic Simple Extension Root Sampling" (LASERS).
Reply Retweet Like
Vitalik Non-giver of Ether 14h
Oh god I uninstalled that chat application years ago.
Reply Retweet Like
Vitalik Non-giver of Ether 14h
Replying to @EliBenSasson
Also there's the "is it pronounced skip or sip" confusion.
Reply Retweet Like
Vitalik Non-giver of Ether 14h
Replying to @EliBenSasson
Getting there! PCI is already quite a loaded acronym though:
Reply Retweet Like
Vitalik Non-giver of Ether 15h
Replying to @EliBenSasson
SCIP does a good job of that, though it has the flaw of sounding like a concept rather than a construction.
Reply Retweet Like
Vitalik Non-giver of Ether 15h
Example: you can make a ZKP that proves that if the old database hash was H and the new hash is H', then there was a legal set of transactions that caused the change. So eg. a bank can prove that it's not stealing money from anyone, all without revealing any private data.
Reply Retweet Like
Vitalik Non-giver of Ether 15h
If you haven't heard of ZKP you haven't heard the power of modern cryptography 😊 Prove that you know some x such that P(x) = y, where P is an arbitrary program. The proof can be verified very quickly even if P originally took a long time to run, and the proof does not reveal x.
Reply Retweet Like
Vitalik Non-giver of Ether 17h
Replying to @crypto_fruit
That also includes FHE, witness encryption, obfuscation.....
Reply Retweet Like
Vitalik Non-giver of Ether retweeted
Vitalik Non-giver of Ether 17h
How about ZKP, with the expansion being deliberately ambiguous between "Zero Knowledge Proofs" and "Zipped Knowledge Proofs"?
Reply Retweet Like
Vitalik Non-giver of Ether 17h
How about ZKP, with the expansion being deliberately ambiguous between "Zero Knowledge Proofs" and "Zipped Knowledge Proofs"?
Reply Retweet Like
Vitalik Non-giver of Ether 17h
But... > Whatever you use will end up on a euphemism treadmill "Cascading Recursive Argument for Conformance Knowledge with Low-degree Extension" (CRACKLE, new name for FRI) and "Proofs Of Polynomial-ness" (POP, new name for polynomial commitments)
Reply Retweet Like
Vitalik Non-giver of Ether 17h
I like it!
Reply Retweet Like
Vitalik Non-giver of Ether 18h
Replying to @lacker @2Brained
But surely just "zero knowledge proofs" could be confusing if they're being used in applications where the zero knowledge doesn't even matter and the succinctness does?
Reply Retweet Like
Vitalik Non-giver of Ether 18h
Replying to @2Brained
There's a long pre-2013 tradition of "zero knowledge proofs" that had no succinctness properties and were often very application-specific. Though I personally am ok throwing all that into the dustbin and teaching the next generation those protocols were just "prehistory".
Reply Retweet Like
Vitalik Non-giver of Ether 18h
Replying to @hudsonjameson
But they're also succinct and hence used also for applications that have nothing to do with privacy! Do we care about putting succinctness in the name somehow?
Reply Retweet Like
Vitalik Non-giver of Ether 18h
What's the best umbrella term for SNARKs, STARKs, DARKs, SHARKs, SONIC, PLONK, etc etc? General-purpose ZKP? Succinct ZKP? S*ARKs? Something else?
Reply Retweet Like