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 πͺπͺπͺ
5/11. #zkSTARKs are novel cryptographic proofs invented by StarkWare. #zk: protecting userβs privacy. #Scalable: proof generation & verification and post-quantum secure. #Transparent: public randomness, no trusted setup. #ARK: off-chain prover calculates & generates Stark proofs
6/11.
Instead of computing proofs on Ethereum blockchain, #zkSTARKs allow blockchains to move computations to a single off-chain STARK prover and then verify the integrity of those computations using an on-chain STARK Verifier.
7/11. What is #Cairo?
Cairo is a language for scaling dApps using STARKs. A Turing-complete language making it possible for all blockchain developers to harness the power of STARKs.
8/11. SHARP :
SHARP (shared prover) technology allows separate applications to combine their batches of transactions into a single proof, to share the gas cost of verifying the proof on L1.
9/11. Summary:
txs is executed by Dapps -> send to a computational service -> batches txs -> sends the batch to SHARP (generate a proof) -> sends the STARK proof to the Verifier -> The service then sends an on-chain state update tx to the Contract.