Skip to main content

STARKs

Definition

STARKs, or Scalable Transparent ARguments of Knowledge, are a type of zero-knowledge proof system. These cryptographic proofs allow one party to verify computations performed by another party without revealing the underlying data or requiring extensive computational resources for verification. Unlike some other zero-knowledge systems, STARKs offer quantum resistance and do not require a trusted setup, enhancing their security properties. They are designed for scalability, making them suitable for verifying large batches of transactions efficiently on a blockchain.