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.
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.
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…
• • •
Missing some Tweet in this thread? You can try to
force a refresh
1. Why am I bullish on #StarkNet? A non-EVM blockchain? 🚀🚀🚀
2. The EVM compatible blockchain like the satellite city adjacent to Ethereum capital without any barrier. So Devs can easily build a new home or move to a satellite city that is as familiar as Ethereum capital.
3. #StarkNet is not EVM-compatible, like a satellite city, separated from Ethereum capital by a river.
So how will the city like StarkNet develop? Is the non-EVM river a big obstacle?
2/22. zkSync Overview @zksync is a zkRollup Layer 2 scaling solution on Ethereum developed by @the_matter_labs. It offers low gas and fast transactions, without compromising on security.
3/22. Features
- Ultra-low tx fees
- 2k TPS (20k TPS w/ zkPorter)
- Based on Eth security
- Users control of their funds
- No requirement for operational activity to keep the funds safe
- Withdrawals to mainnet in ~10 minutes
- Multisig support
- Permissionless smart contracts
3/12. #StarkEx is the first product, and it is a permissioned #scaling#engine that runs over Ethereum. Just #special#purpose use cases. Ex payment, trade, swap, perp, minting NFT... that are very specific functionalities. You can see @deversifi, @dYdX, @Immutable, @Sorare
1/11. #StarkWare is one of the strongest internal force projects.
#Part 1⃣: Power of StarkWare
👉2/11 Team
👉3/11 Advisors
👉4/11 Backers
👉5-6/11 #zkSTARKs
👉7/11 What is #Cairo?
👉8/11 What is #SHARP?
👉9/11 Summary
👉10/11 Dev tools
👉11/11 Audit
2/11. #StarkWare Team
Co-founders are the top-notch Professor/Ph.D in computer science, math & zk technology. In addition, Starkware has 70 talented people who have profound backgrounds in technology 💪💪💪