StarkNet Alpha 2
New Phase: ComposabilityRead More
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
Sign up to receive news and updates