Thread by @ZK_Daily

1/17. The world’s lightest blockchain @MinaProtocol

2/17. Mina Overview
3-4/17. #zkSNARKs
5/17. #zkSNARKs recursive
6-7/17. Node
8/17. In-EVM
9-10/17. zkApps
11/17. zkOracles
12/17. zkrollup
13/17. Token $MINA
14/17. Roadmap
15/17. Team
16/17. Backers
17/17. Audit

2/17. Mina Overview
@MinaProtocol is the world’s lightest blockchain (just 22 kB constant size), powered by participants. Using zero knowledge technology. Mina is building the privacy and security layer for web3.

3/17. #SNARK is succinct cryptographic proof that checks blocks for validity.
#S: succinct proofs can be verified within a few milliseconds
#N: non-Interactive means that the prover only needs to send a single message to the verifier, instead of back-and-forth communication

4/17. #SNARKs use collision resistant elliptic curves to secure the randomness required for a proof (so it is very hard to find two separate inputs that produce the same output)

5/17. #Recursive SNARK is the process of creating a SNARK from multiple SNARKs. It is similar to recursive snapshots of proofs. As such, the end SNARK can prove the entire transaction history of the blockchain through valid proofs, while remaining constant in size (22 KB).

6/17. Node:
Mina Protocol is a Proof of Stake blockchain that is #22KB in size. Thanks to this, Mina Protocol provides fast synchronization of nodes. And any participant can easily validate transactions as a full node.

7/17.
Block producers are those who produce blocks in the network and create SNARK proofs of the blockchain alongside any blocks they create;
SNARK-workers create zk-SNARK proofs of transactions to compress the transactions so they can be folded into the tiny blockchain proof

8/17. In-EVM
=nil; Foundation is working on In-EVM Mina State Verification, otherwise known as the Mina-Ethereum bridge. Mina Protocol's state proof can be proved on Ethereum directly, in a completely trustless way.

9/17. zkApps (zero-knowledge apps) are Mina Protocol’s smart contracts powered by zk proofs, specifically using zk-SNARKs.
zkApps use an off-chain execution and mostly off-chain state model. This allows for private computation and state that can be either private or public.

10/17. #zkApps can perform arbitrarily-complex computations off chain while incurring only a flat fee to send the resulting zero-knowledge proof to the chain for verification of this computation.
zkApps are written using #SnarkyJS, which is a Typescript-based library.

11/17. zkOracles:
Mina’s zkOracles allows you to instantly access and bring data on the internet on-chain, through HTTPs. No need for trusted oracles or custom website integrations. So you can leverage verified, real world data from any website to build dapps.

12/17. zkrollup on Mina
With the introduction of SnarkyJS, rollups become possible on Mina. Given their immense value to increase transaction throughput, Mina sees this as an emerging priority.

13/17. Token $MINA
Token use cases:
- Transaction
- Staking
- Incentive and Payment: MINA token is used to secure the Mina network. The MINA token is used as part of the Proof-of-Stake consensus mechanism.

$MINA is listed on most major CEX: @binance @coinbase @HuobiGlobal ...

14/17. Roadmap
- zkApps Builders Program: Q2 2022 – Completed | Q3 2022 – Cohort 2 applications now open
- zkBridge: Q3 2022
- ZK Oracles: Q4 2022
- ZK Rollup on Mina: TBD
minaprotocol.com/blog/ecosystem…

15/17. Team
CEO @evanashapiro graduated Carnegie Mellon with a BS in computer science. He then obtained his research MS while working in the CMU Personal Robotics Lab, where he did research for the HERB robotics platform.
COO @khem, former COO at Diem & Senior Director at PayPal.

16/17. Backers
@MinaProtocol raised $136.4M from many big investors: @FTX_Official @coinbase @paradigm @polychaincap @PanteraCapital @Accomplices @HashKey_Capital @circlepay @blockchain @DekryptCapital @dragonfly_cap @BixinVentures @naval +++

17/17. Audit
Mina Protocol concluded a security audit conducted by NCC Group, one of the world's leading cyber security service providers, to ensure the security and strength of their protocol.
research.nccgroup.com/2020/05/13/pub…