Generally 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.
If 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.
Although 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.
tl;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!
