Glossary
Starknet
A ZK rollup using STARK proofs and the Cairo language, developed by StarkWare. Not EVM-compatible — it runs its own account-abstracted VM.
Starknet is a ZK rollup built by StarkWare. Unlike zkSync, it is not EVM-compatible: contracts are written in Cairo, a Turing-complete language designed around STARK-friendly arithmetization.
The chain has native account abstraction (every account is a contract, no EOAs) and uses STARK proofs that scale to very large computations without trusted setup. The trade-off is that the ecosystem is smaller and tooling has to be learned from scratch.