Home > Tags > post-quantum

Post-Quantum

Description

Tags proof systems and primitives believed to be secure against quantum adversaries — typically hash-based (STARKs) or lattice-based constructions.

Entries tagged

• Aurora: Transparent Succinct Arguments for R1CS (Ben-Sasson et al. 2019)
• Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI)
• FRI
• Ligero++
• RISC Zero
• zk-STARKs