StarkWare

StarkWare develops STARK (Scalable Transparent ARgument of Knowledge) technology, a breakthrough cryptographic approach enabling computationally efficient verification of arbitrary computation without revealing the underlying data. Founded in 2018 and based in Netanya, Israel, StarkWare has created a complete ecosystem around STARKs, including Cairo (a Rust-inspired programming language for provable computation), STARK provers, and two commercial products: Starknet (a permissionless Layer 2 validity rollup) and StarkEx (a standalone SaaS rollup). As of May 2026, the company has achieved substantial production traction with 290 million cumulative transactions processed, $598 million in total value locked across Starknet, 58,000 daily active users, and peak throughput exceeding 992 transactions per second.

StarkWare's core technology advantage rests on the mathematical foundations of transparent cryptography. STARK proofs eliminate the need for a "trusted setup" that plagues alternative zero-knowledge systems (like SNARKs), reducing deployment risk and enabling transparent auditability. The company invented the STARK framework and has continuously advanced it through innovations including the Circle STARK protocol (developed in collaboration with Polygon labs) and the Stwo prover, which promises superior scalability and computational efficiency. StarkWare's engineering maturity is evidenced by production deployments through StarkEx, which has settled over 400 million transactions and $1 trillion in traded value on Ethereum Mainnet since launch. Notable production users include decentralized exchanges (dYdX, Perpetual Protocol), NFT platforms (Immutable, Sorare), and other high-throughput applications requiring cryptographic integrity guarantees.

The competitive landscape for zero-knowledge scaling includes zkSync (Matter Labs), Polygon's zkEVM, Scroll, and Aztec Network—all pursuing various ZK proof systems and tradeoff profiles. StarkWare's differentiation rests on three pillars: (1) foundational intellectual property in STARK cryptography, (2) transparent cryptography eliminating trusted setup, and (3) broad applicability via Cairo as a general-purpose provable computation language rather than domain-specific languages. The company's two-product strategy—StarkEx for applications requiring customization and Starknet for permissionless general-purpose computation—provides multiple commercialization vectors.

Dual-use potential is substantive and credible. Zero-knowledge proofs fundamentally solve a problem critical to military and intelligence operations: verifying computational integrity and data authenticity without revealing sources, methods, or intermediate data. Applications include: (a) secure inter-allied communications where parties must verify message authenticity and non-tampering without revealing encryption keys or protocols; (b) classified logistics verification where defense supply chains require tamper-evident tracking without revealing specific routes, quantities, or asset types; (c) intelligence data correlation where multiple agencies must verify consistency of datasets without exposing sensitive sources or analytical conclusions; and (d) treaty verification where arms control agreements or military demarcations require automated verification without revealing underlying surveillance capabilities. The transparency property of STARKs is particularly valuable in defense contexts because verification requires no special knowledge or trust relationships, making it suitable for verification between allies with different security protocols.

The Israeli technology ecosystem provides strong context: Israel has historical deep competence in cryptography and signal intelligence applications, a dense network of venture capital focused on deep tech, and close strategic relationships with Western defense establishments. StarkWare's leadership includes world-class cryptographers and former Israeli intelligence technologists, lending credibility to dual-use capability assessments.