Kimchi: The latest update to Mina’s proof system
We recently released an update to our proof system for Mina called Kimchi. In this post, we’ll go through what Kimchi is and what’s different about it.
Discover the latest about Mina-catch up with what's new about the tech and community, participate in conversations we're having, and read what others have to say.
We recently released an update to our proof system for Mina called Kimchi. In this post, we’ll go through what Kimchi is and what’s different about it.
Mina builds on Ouroboros to create Ouroboros Samisika, a provably secure PoS protocol that combines the best features of each iteration of Ouroboros to deliver a PoS mechanism that can resolve long-range forks without requiring history or risking centralization by relying on trusted third parties to provide fork information.
Mina's zk-SNARKs solve a large scalability problem — the ever-growing blockchain, enabling anyone to run a node using commodity hardware, keeping the network inclusive and decentralized. However, creating those zk-SNARKs (aka proofs) is expensive but Mina’s Snarketplace fixes that.
Cryptocurrency’s scalability and privacy is one of the most pressing issues across any blockchain ecosystem — whether that’s Bitcoin, Ethereum, or a DeFi token. In this article we go over how zkApps solve the industry’s greatest challenges.
Proof-of-Work (PoW) and Proof-of-Stake (PoS) are the two most common types of consensus mechanisms found in cryptocurrency protocols. Learn more about each and Mina's specific type of PoS consensus, called Ouroboros Samasika.
Legacy blockchains, such as Bitcoin or Dogecoin, face the problem of long waits to verify the entire chain due to their ever-growing size. However, with Mina, participants will be able to fully verify the network and transactions from their ordinary devices using recursive zero knowledge proofs, or zk-SNARKs.
Mina Protocol leverages Ouroboros Samasika, a succinct proof-of-stake consensus mechanism, to achieve strong decentralization properties.
The entire Mina blockchain is about 22kb - the size of a couple of tweets.
In PLONK (considered as an interactive oracle proof), the prover sends the verifier several polynomials. They are evaluated at some k points during the course of the protocol. Of course, if we want zero-knowledge, we would require that those evaluations do not reveal anything about the proof's underlying witness.
Pickles is a new proof system and associated toolkit that is the first deployed SNARK capable of recursive composition with no trusted setup.
An explanation of how Mina Protocol uses recursive zk-SNARKs to enable a succinct blockchain and solve legacy blockchain issues of decentralization and scalability.
In a one-of-a-kind opportunity for community members, Coda Protocol’s Genesis token program will prepare participants to become the first block producers upon mainnet launch.
Mina uses advanced cryptography and recursive zk-SNARKs to deliver true decentralization at scale.
Mina makes it simple to run a node, build and join the community.