StarkEx is a Layer 2 scalability engine. It is in production on Mainnet, scaling multiple exchanges and platforms, for a wide range of use cases.
Cairo is our production-grade Turing-complete language for scaling dApps using STARKs. It powers both StarkNet and StarkEx.
We allow blockchains to massively scale by relying on cryptographic proofs produced by an off-chain prover running in the cloud, and then verified by an on-chain smart-contract.
ZK-STARK proofs reveal no information regarding private inputs, and have no trusted setup. Combined with other cryptographic tools, ZK-STARK can be used to completely and provably protect user data.
We’re looking for talented individuals to join our ranks
How does StarkNet work? How does one write StarkNet smart contracts? What are the next steps on our roadmap? What are the scaling barriers we're foreseeing and researching?
WatchSign up to receive news and updates