SNARK
Un SNARK (Succinct Non-Interactive Argument of Knowledge) est une ZKP courte et vérifiable rapidement. Variantes : Groth16, PLONK, Halo. Utilisée par Citrea, ZeroSync.
La definition detaillee de ce terme est en cours de redaction.
Termes lies
- ZKP (Zero-Knowledge Proof)Une ZKP permet de prouver une affirmation sans révéler la donnée sous-jacente. SNARK et STARK en sont les variantes. Utilisée par Citrea, ZeroSync, Bullets, etc. Future bricklayer de Bitcoin.
- STARKUn STARK est une ZKP transparente (sans setup de confiance). Plus grand qu'un SNARK mais sans assumption cryptographique exotique. Utilisée par RISC Zero.
- Groth16Groth16 est l'un des SNARKs les plus utilisés (2016, Jens Groth). Vérification très rapide mais setup de confiance requis. Standard de Zcash et plusieurs ZK-rollups.
- CitreaCitrea est un Layer-2 ZK-rollup pour Bitcoin par Chainway Labs. Apporte les EVM smart contracts via zk-proofs ancrées dans Bitcoin. En testnet, pre-mainnet. Représente la nouvelle vague de rollups Bitcoin.
← Retour au glossaire complet
Glossaire inspire du dictionnaire de Loic Morel sur Pandul.fr.