back to glossary

STARK (Scalable Transparent Argument of Knowledge)

A type of zero-knowledge proof that requires no trusted setup and scales efficiently to large computations, used in ZK-rollups like StarkNet for high-throughput verification.