StarkNet uses STARKs to provide scalability with strong cryptographic security guarantees.

StarkNet's Cairo programming language is purpose-built for ZK provability, differing significantly from Solidity.