MIP-0003

Kimchi is Mina's Plonk-based proof system and the successor to its original Plonk variant, adding lookup tables (Plookup) and custom gates for range checks and non-native arithmetic. It is realized over the Pallas/Vesta (Pasta) curve cycle, which is what makes Mina's proof recursion (Pickles) possible, and it uses the Poseidon hash over the Pasta base fields for its Fiat-Shamir sponge and in-circuit hashing. Mina instantiates Poseidon over the Pasta fields, the same hash family other ecosystems expose over their own fields rather than one shared function.