3 ms·
Kimchi: The latest update to Mina's zero-knowledge proof system
- mavu 4y agoHow anyone can read that text and not see that they are being burried under piles of bullshit, is beyond me.
- mhluongo 4y agoPLONK and friends are interesting cryptography. What makes you call this bullshit, exactly?
- Arathorn 4y agoDavid knows his stuff; this isn't BS. Having a way to program arbitrary zero knowledge proofs sounds v. useful.
- ffhhj 4y agotl;dr: they optimized their libraries, and they want you to believe it without actual proof, which wraps the concept of zero proof on itself. > Pickles now uses an upgraded proof system: Kimchi. Kimchi brings several optimizations and quality-of-life improvements to circuit builders. This should allow for faster provers, larger circuits, and potentially shorter proof sizes!
- deleted 4y ago[deleted]
- roenxi 4y agoAlthough I think this comment is a little too negative, it is quite difficult to tell that this article isn't some sort of joke until about half way through. The entire introduction is boxes-in-boxes labelled with condiments that could easily be a hilarious parody. I was trying to figure out if I was being hoaxed until around the arithmetic circuits - where at least the notation gets interesting. I'm still not sure.
- armchairhacker 4y agoDiscussed ~3 months ago: https://news.ycombinator.com/item?id=30303903 https://news.ycombinator.com/item?id=30303903
- m00dy 4y agoGenerally speaking, this is one of the underrated technologies in the market. I can't really imagine what social implication would this have. Just imagine a society where zk implementations are heavily used.
- gwern 4y agoFWIW, Hannu's _The Quantum Thief_'s The Oubliette society is the closest I've ever seen to imagining a society built on ZKPs & similar crypto.
- sanity31415 4y agoIf there is actually substance here then they should hire a competent technical writer, the way this is written seems designed to irritate and/or obfuscate. ZK stuff is complicated enough without superfluous nonsense.