bringing scalability and privacy to
a blockchain near you
ZERO KNOWLEDGE
SCALABLE
Transparent
Argument of
Knowledge
Private inputs are shielded
Prover time scales quasi-linearly with respect to a native computation, while verifier time scales logarithmically
Verifier messages are public coins - no trusted setup
A proof can only be generated by a party knowing the private input
Private inputs are shielded
Prover time scales quasi-linearly with respect to a native computation, while verifier time scales logarithmically
Verifier messages are public coins - no trusted setup
A proof can only be generated by a party knowing the private input
StarkWare solves the inherent problems of blockchains – scalability and privacy.
We develop a full proof-stack, using STARK technology to generate and verify proofs of computational integrity.
StarkWare’s cryptographic proofs are zero-knowledge, succinct, transparent and post-quantum secure.
STARK is an asymmetric protocol: the verifier’s work is exponentially smaller than the prover’s.
By conducting the prover’s work off-chain and verifying it on-chain, we allow blockchains to massively scale without requiring any trust assumptions.
The zero knowledge component of STARK allows for the shielding of private inputs without compromising computational integrity. Private information can be kept off-chain while verified on-chain.
StarkDEX is a scalability engine for DEXes (non-custodial exchanges) that will allow them to handle over 10,000 trades per block.
Read more about why we chose DEXes as our first proof of concept
Read moreStarkPay is a payment scalability engine based on STARK technology that offers a scalable capital-efficient non-custodial payment solution, with no liveness requirements.
Learn more about StarkPay
Read moreMore applications coming soon.
want to become part of StarkWare's developers' community?
We’re looking for talented individuals to join our engineering ranks.
For further details about the required positions
Learn more
