StarkWare

StarkWare is an Israeli cryptography company that turned STARK proofs — a class of zero-knowledge proof systems — into production-grade infrastructure for scaling and validating computation on public blockchains. Headquartered in Netanya, it is the most institutionally significant Israeli company operating at the protocol layer of the global crypto stack.

The company was founded in 2018 by Eli Ben-Sasson, Uri Kolodny, Michael Riabzev, and Alessandro Chiesa, and grew directly out of academic research on transparent, scalable proof systems. Ben-Sasson, a long-tenured professor at the Technion, is the academic figure most identified with the STARK family and co-authored the foundational papers that gave the technology its name.

What a STARK actually is

STARK stands for Scalable Transparent ARgument of Knowledge. A zero-knowledge proof lets one party prove that a computation was carried out correctly without re-running it and, optionally, without revealing the inputs. STARKs carry two properties that set them apart within that field. They are transparent — they need no trusted setup ceremony, the step in many competing systems where a secret must be generated and then reliably destroyed. And they are scalable — proving time grows quasi-linearly with the size of the computation while verification stays cheap, so one small proof can attest to an enormous batch of transactions.

The trade-off is proof size. STARK proofs are larger than the SNARK proofs used by several competitors, which means more data posted on-chain. Because STARKs rely on hash functions rather than elliptic-curve pairings, they are also considered resistant to attack by future quantum computers — a property the SNARK families do not share. In practice the industry has settled into two principal cryptographic families for zero-knowledge rollups: the STARK family, which StarkWare pioneered, and the SNARK family used by several peers.

Products and positioning

StarkWare ships three things that matter.

StarkEx is a permissioned scalability engine — an application-specific scaling product that trading and gaming platforms plug into rather than a public network. It has been used by dYdX (historically), Sorare, Immutable, and others to batch large volumes of trades or mints off-chain and settle them on Ethereum with a single STARK proof.

Starknet is the public, permissionless, general-purpose Layer 2 network on Ethereum. Any developer can deploy a contract, and transactions settle to Ethereum under STARK validity proofs. Starknet is the company's bet on an open ecosystem rather than a set of bespoke integrations.

Cairo is the programming language StarkWare built for provable computation — the language in which Starknet contracts and StarkEx logic are written. Cairo is the connective tissue: it turns ordinary program logic into something a STARK can prove, and its adoption is a leading indicator of how much is being built natively on StarkWare's stack.

The competitive field

StarkWare competes in the Ethereum Layer 2 category alongside Polygon, zkSync (Matter Labs), Arbitrum, and Optimism. That field splits along a technical fault line. Optimistic rollups — Arbitrum and Optimism — assume transactions are valid and open a challenge window during which fraud can be proven. Validity, or zero-knowledge, rollups — StarkWare, zkSync, and Polygon's zk efforts — prove correctness up front with cryptography, removing the challenge delay at the cost of heavier proving. StarkWare's differentiation inside the validity camp is its commitment to the STARK family: transparent, post-quantum, and engineered for scale.

Funding and scale

StarkWare raised successive venture rounds from major crypto and technology investors over its first several years, reaching a widely reported valuation of roughly $8 billion at its 2022 peak — among the highest ever attached to an Israeli crypto-infrastructure company. In early 2024 the Starknet ecosystem introduced its STRK token to decentralize governance and incentivize participation across the network. The token turned Starknet from a StarkWare product into a community-governed public network, a structural step for any protocol-layer company.

Position in the Israeli crypto cohort

StarkWare is the most-cited Israeli company in the protocol layer of the global crypto stack and a primary reference point in any survey of Israel's footprint in zero-knowledge cryptography — a field where Israeli academic contributions, Ben-Sasson's among them, run unusually deep. Olam's deeper coverage of the company is published at StarkWare and the ZK Stack.

It sits within the broader Israeli digital-asset infrastructure cohort that includes Fireblocks in institutional custody, GK8 (acquired by Galaxy Digital), Curv (acquired by Coinbase), and Bancor in decentralized-exchange architecture. Where those companies built the rails for holding and moving assets, StarkWare built the mathematics for proving what happened to them.

Why it matters

Zero-knowledge proofs have moved from cryptographic curiosity to the leading candidate for scaling public blockchains — and, increasingly, for privacy-preserving computation well beyond crypto. StarkWare's significance is that a foundational branch of that technology, the transparent and scalable STARK, was developed into production infrastructure from Israel, by a team rooted in Israeli academic research. For any survey of the country's position in frontier computing, it is the anchor entry.