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.
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.
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 for Decentralization, For Real Bitcoin and other cryptocurrencies / blockchain protocols were initially designed with the goal of decentralization. The core idea is to completely democratize blockchain verification. While initially the protocols achieved a good degree of decentralization, where anyone could download and verify the blockchain, as time has passed, the blockchains have become […]
“The entire Mina blockchain is about 22kb – the size of a couple of tweets.” To analyze the above statement, first, let us clarify what we mean by “blockchain” here: An unambiguous usable representation (ie. not merely hashes) of the parts of the state a typical user would care about — namely the current balance […]
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.
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.