StarkWare
StarkWare is the developer of STARK-based solutions for the blockchain industry. StarkWare develops and democratizes the use of global-scale, real-world blockchain applications by solving the inherent problems of blockchains – scalability and privacy. StarkWare develops StarkEx, a standalone permissioned Validity-Rollup, and Starknet, a permissionless decentralized ZK-Rollup. Their products facilitate secure, trustless, and scalable blockchain applications.
STARK
STARK is a proof system that uses cutting-edge cryptography to provide polylogarithmic verification resources and proof size, with minimal and post-quantum-secure assumptions.
ZK-STARKs, invented by StarkWare, enforce the integrity and privacy of computations on blockchains, using novel cryptographic proofs and modern algebra.
ZK-STARKs 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.
STARKNET
Starknet provides developers and users with massive scaling, fast transactions, and low costs.
Developers can harness Starknet's power to implement their business logic of choice in a permissionless manner.
Starknet Appchains allow to benefit Starknet's scaling power and tools, while adjusting the network's configuration, and implementing unique features.
STARKEX
StarkEx provides top-notch scaling solutions, providing high throughput, low gas fees, Ethereum-level security, and fast integration.
The secret to StarkEx’s massive scaling capabilities lies in the uneven division of computation between its off-chain Prover and the on-chain Verifier.
It powers self-custodial dApps, and employs innovative anti-censorship mechanisms to ensure that users’ funds always remain in their custody.