What is ZK-STARK? STARK is a proof system. ZK-STARKs, invented by StarkWare (a company), enforce the integrity and privacy of computations on blockchains, using novel cryptographic proofs and modern algebra. STARKs allow the underlying blockchains to move transactions to an off-chain prover, who then uses an on-chain verifier to verify these transactions. Firstly, Starkware is a company with two products: • StarkEx • StarkNet I am going to focus on StarkNet, but a quick TLDR on StarkEx. What ...