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 use

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!