zkApps of Mina

 zkApps of Mina

zkApps are Ethereum smart contract equivalence for Mina using zk-proof technology.

Some zkApps:

1. zkApps for mina: Website, news "metamask" of mina, zk rollup for mina
• MinaSnap: a metamask-like wallet for Mina
• MinaFT
• zk-Rollup
• SnarkyNet
• Minataur 
• Dali: integrate Mina smart contracts with off-chain storage on FileCoin,
2. Mina proofs are small and easy to verify; this means that any Turing complete blockchain (like Ethereum). =nil; Foundation is working on this topic by using bridge contract. (cited from Mina docs)
• Mina-Ethereum bridge: We can put the entire Mina block chain onto Ethereum, so that "It will be possible to bring everything that happens inside of the Mina chain to Ethereum, including financial applications, provable computations, and much more."
• Wrapped Mina on Ethereum WMINA (a simple bridge contract)
3. Implementation of MINA in Rust: ChainSafe github 
4. Mina community for technology
1. Mina black list
5. Snarky:
1. What is a zkApp: docs, video, video learning SnarkyJS
2. How to write a zkApp, SnarkyJS github
3. Python package for snarkjs (rely on trusted third party, since 5/8/2018) is now available: python-snarks
6. Ledger (cold wallet) will support Mina, but still in audit process. see mina docs
7. Mina Forum 
8. Threat from quantum computer: Theoretically, a prover with enough computational power could create fake proofs, and this is one of the reasons quantum computers are considered by many as a threat to zk-SNARKs
9. zk-STARK: zk-STARKs do not require an initial trusted setup (hence, the “T” for transparent). 
10. Road map 2022: Q2/2022:
    - Testnet for zkApps
    - zkApps Software Development Kit (SDK)
     
    Q3/2022:
    - zkBridge
    - Non-Native Token Support
    - zkApps Mainnet
    
    Q4/2022:
    - zkOracles
11. Mina tech:
1. KimChi
2. Mina book
3. Video: what is PLONK

A comparison with Ethereum smart contract