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.
La definition detaillee de ce terme est en cours de redaction.
Termes lies
- SNARKUn SNARK (Succinct Non-Interactive Argument of Knowledge) est une ZKP courte et vérifiable rapidement. Variantes : Groth16, PLONK, Halo. Utilisée par Citrea, ZeroSync.
- 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.
- ZeroSyncZeroSync est un projet visant à permettre la synchronisation d'un nœud Bitcoin via une ZK proof, sans télécharger toute la chaîne. Game-changer potentiel pour la mobilité. Encore expérimental.
← Retour au glossaire complet
Glossaire inspire du dictionnaire de Loic Morel sur Pandul.fr.