✳flâneur — a map of the web's best reading

Super Computer - by Paul Veradittakit - VeradiVerdict

veradiverdict.com · 1,565 words · saved by 1 readers

Special purpose ZK: these attempt to improve blockchain scalability by proving particular computations. For example, the zk-rollup stack, zkEVMs for the execution layer, ZK proof aggregation, settlement, etc. These companies include zkSync Era and Starknet. General purpose ZK: these attempt to prove any computation, regardless of programming language, and are called zkVMs. These are designed to allow developers to ship ZK projects in days, instead of months, by allowing them to focus on writing normal code, instead of circuits. The latter depends on building an entirely new system from the bottom up, requiring industry leaders to expand the frontier of ZK research. These companies include RISC Zero, Succinct, and Nexus. Building verifiable computation is really hard, so these companies have focused on building specific parts of the stack, like the zkVM, prover network, or customizable circuits. Nexus has approached this with an entirely different perspective. Building a secure internet

Super Computer VeradiVerdict - Issue #300 Paul Veradittakit Jul 11, 2024 6 Share Introduction Zero-knowledge cryptography projects generally fall into two categories: Special purpose ZK: these attempt to improve blockchain scalability by proving particular computations. For example, the zk-rollup stack, zkEVMs for the execution layer, ZK proof aggregation, settlement, etc. These companies include zkSync Era and Starknet. General purpose ZK: these attempt to prove any computation, regardless of programming language, and are called zkVMs. These are designed to allow developers to ship ZK project

Explore this link on the map →

saved by

related reading