STARK is a proof system. It uses cutting-edge cryptography to provide polylogarithmic verification resources and proof size, with minimal and post-quantum-secure assumptions.


    Zero-Knowledge Inputs used by the off-chain prover are not exposed on the blockchain, thus protecting user’s privacy.
    Scalable Moving a computation off-chain reduces blockchain verification costs exponentially, while the creation process of off-chain proof costs roughly the same as asking a single blockchain node to run the computation.
    Transparent The security of ZK-STARKs does not rely on elaborate setup ceremonies (ceremonies that involve hazardous cryptographic “toxic waste”).
    ARgument of Knowledge STARK proofs can only be generated by an off-chain prover that actually executed the computation, along with all needed auxiliary inputs required by it.

What is ZK-STARK?

ZK-STARKs, invented by StarkWare, enforce the integrity and privacy of computations on blockchains, using novel cryptographic proofs and modern algebra. ZK-STARKs allow blockchains to move computations to a single off-chain STARK prover and then verify the integrity of those computations using an on-chain STARK Verifier.

Want to know more about STARK?

STARK Math Short Primer Read More

Scientific Advisors

  • Avi Wigderson
  • Shafi Goldwasser
  • Noam Nisan
  • Madhu Sudan
  • Shubhangi Saraf
  • Swastik Kopparty