Home > Tags > stark

STARK

Description

Scalable Transparent ARguments of Knowledge. Tags proof systems based on FRI and hash-based commitments — transparent (no trusted setup) and post-quantum candidate.

Canonical entry

→ ProofSystems/zk-STARKs

Entries tagged

• AIR — Algebraic Intermediate Representation
• Comparative Analysis of SP1 and RISC Zero Zero-Knowledge Virtual Machines
• Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI)
• OpenVM
• OpenVM Documentation
• Pico
• RISC Zero
• RISC Zero Documentation
• SP1
• SP1 Documentation (Succinct Labs)
• STARK 101 — AIR Tutorial (StarkWare)
• zk-STARKs