KIMCHI
Kimchi is industry-leading proving system that powers and secures the Mina Protocol. It's a PLONKish proof system, requiring no trusted setup with full recursion capabilities.
HOW IT'SUSED
Mina Protocol
Kimchi is the underlying proof system that generates proofs in the browser and verifies them on the Mina Protocol.
zkVM
Kimchi can also prove execution traces of code using the o1Labs zkVM. For verifiable computing without TEEs, get in touch.
Recursion
With full recursion support using the Pickles recursion layer, Kimchi proofs and incorporate many proofs into a single one, for efficient verification.
Peer-to-Peer
Kimchi proofs don't have to settle on-chain, they can also be verified peer-to-peer, enabling applications such as P2P games.
Kimchi + Pickles
Kimchi overcomes the trusted setup limitation of PLONK by using a bulletproof-style polynomial commitment inside of the protocol. Forget setup ceremonies per circuit, just get building.