STARK
A STARK is a transparent, hash-based proof system for verifying computations without a trusted setup ceremony.
Namefi TeamAuthorSeptember 19, 2026- glossary
A STARK, short for Scalable Transparent Argument of Knowledge, is a proof system that uses public randomness rather than a secret setup trapdoor. Its assumptions rely largely on hash functions. STARK proofs are generally larger than pairing-based proofs such as Groth16, but they avoid a trusted setup ceremony and can verify large computations efficiently.
Related keywords
- STARK
- transparent proof
- scalable transparent argument
- what is STARK
- STARK meaning
- STARK definition