Le domaine des ZK (Zero Knowledge) et de la vérifiabilité de Solana est peut-être encore peu connu, mais c'est absolument un cheval noir. Cet article vous permettra de découvrir rapidement les projets de ZK, de vérifiabilité et de confidentialité sur Solana.
En général, l'infrastructure de Solana contribue à :
Performance réseau
-- Économiser des milliers de coûts pour les développeurs d'applications
-- Exécution asynchrone
-- Solutions de croissance de l'état
Sécurité
-- La confidentialité et la confidentialité des applications sur la chaîne
-- Vérifiabilité
-- Réseau de preuve décentralisé
Même à Solana, il y a un ZK-rollup !
Voyons cela un par un :
-- Vie privée et vérifiabilité
-- Anonymat
-- Extensions basées sur ZK et ZKVMs
-- Pile d'extension de réseau ZK
-- Plan ZK
Veuillez noter : Pour faciliter la compréhension, le texte suivant sera reclassé et il pourrait y avoir des chevauchements.
1. Confidentialité et vérifiabilité
Arcium aide à fournir la confidentialité pour les applications en chaîne en offrant un cadre efficace et vérifiable sans confiance pour exécuter des calculs cryptographiques. Par exemple : les modèles d'intelligence artificielle peuvent être entraînés avec des données cryptées, tandis que la DeFi peut les utiliser pour des transactions confidentielles.
Bonsol, lancé par ANAGRAM, est un système de calcul vérifiable natif de Solana, permettant aux développeurs de créer :
Un fichier exécutable de données privées ou publiques entièrement vérifiable → garantissant mathématiquement sa validité → intégrant les résultats dans un contrat intelligent Solana pour une vérification sur la chaîne.
2、anonymat
Darklake a créé un AMM de swap axé sur la confidentialité, visant à devenir le premier échange décentralisé de Solana offrant une exécution d'ordres en temps réel et résistante au MEV. Dark Protocol a développé un protocole anonyme géré par le marché, soutenu par des ZK-snarks.
3. Extension basée sur ZKP
ZK Compression est un nouveau primitif Solana lancé conjointement par Light Protocol et Helius, qui intègre des preuves ZK et une compression d'état, permettant de réduire les coûts de loyer des développeurs d'applications Solana de mille fois.
L'équipe a déjà développé des compressions ZK dans les domaines suivants :
-- Portefeuille (comme Backpack) : les utilisateurs détiennent des jetons sans avoir à payer de loyer.
-- Applications socialfi pour consommateurs (comme Tribe.run) : Les créateurs peuvent envoyer des tokens à moindre coût.
-- Outils d'airdrop (comme Helius Airship)
4、ZKVMs
RISC Zero et Succinct peuvent aider à prouver tout calcul en chaîne, sans être limités par le calcul de la chaîne. Cela peut soutenir :
-- Client léger Solana basé sur ZK
-- Réseau DePIN simplifié
-- Connexion ZK sécurisée et sans couture
5、Solana réseau d'extension de pile
zkSVM est en cours d'application à :
-- Solforge : Ce réseau extensible utilise la méthode ZKP et la compression ZK du Light Protocol pour soutenir l'extension des preuves de flux de mise à jour d'état et l'optimisation de la génération de preuves avec LightSVM.
-- Termina : une plateforme de déploiement de réseau SVM pour des cas d'utilisation spécifiques, permettant de réduire la latence, d'améliorer la confidentialité et de diminuer les coûts de calcul.
-- Sonic SVM : une pile SVM destinée aux jeux et aux applications, en cours d'extension ZK via Hypergrid.
-- bulletxyz : un rollup à très faible latence développé par ZetaMarkets, s'étendant vers une très haute capacité de traitement, toutes les transformations d'état étant prouvables. De plus, des équipes comme Aerius Labs effectuent des expérimentations liées aux preuves ZK.
6、ZK计划
D'autres programmes, tels que le programme de preuve de jetons ZK d'Anza, soutiennent les transferts confidentiels - le solde et le montant des transactions des jetons SPL cryptés, afin de protéger la confidentialité des cas d'utilisation tels que les comptes à payer.
Avec la récente publication de la compression ZK et les divers appels système à venir, Solana devient un puissant moteur ZK. Cet article est juste un bref résumé pour aider chacun à comprendre les développements initiaux de ZK et de la vérifiabilité sur Solana.
Le contenu est fourni à titre de référence uniquement, il ne s'agit pas d'une sollicitation ou d'une offre. Aucun conseil en investissement, fiscalité ou juridique n'est fourni. Consultez l'Avertissement pour plus de détails sur les risques.
Aperçu rapide des projets ZK et de vérifiabilité sur Solana
Source : Solana ; Traduction : Jinse Caijingxiaozou
Le domaine des ZK (Zero Knowledge) et de la vérifiabilité de Solana est peut-être encore peu connu, mais c'est absolument un cheval noir. Cet article vous permettra de découvrir rapidement les projets de ZK, de vérifiabilité et de confidentialité sur Solana.
En général, l'infrastructure de Solana contribue à :
-- Économiser des milliers de coûts pour les développeurs d'applications
-- Exécution asynchrone
-- Solutions de croissance de l'état
-- La confidentialité et la confidentialité des applications sur la chaîne
-- Vérifiabilité
-- Réseau de preuve décentralisé
Même à Solana, il y a un ZK-rollup !
Voyons cela un par un :
-- Vie privée et vérifiabilité
-- Anonymat
-- Extensions basées sur ZK et ZKVMs
-- Pile d'extension de réseau ZK
-- Plan ZK
Veuillez noter : Pour faciliter la compréhension, le texte suivant sera reclassé et il pourrait y avoir des chevauchements.
1. Confidentialité et vérifiabilité
Arcium aide à fournir la confidentialité pour les applications en chaîne en offrant un cadre efficace et vérifiable sans confiance pour exécuter des calculs cryptographiques. Par exemple : les modèles d'intelligence artificielle peuvent être entraînés avec des données cryptées, tandis que la DeFi peut les utiliser pour des transactions confidentielles.
Bonsol, lancé par ANAGRAM, est un système de calcul vérifiable natif de Solana, permettant aux développeurs de créer :
Un fichier exécutable de données privées ou publiques entièrement vérifiable → garantissant mathématiquement sa validité → intégrant les résultats dans un contrat intelligent Solana pour une vérification sur la chaîne.
2、anonymat
Darklake a créé un AMM de swap axé sur la confidentialité, visant à devenir le premier échange décentralisé de Solana offrant une exécution d'ordres en temps réel et résistante au MEV. Dark Protocol a développé un protocole anonyme géré par le marché, soutenu par des ZK-snarks.
3. Extension basée sur ZKP
ZK Compression est un nouveau primitif Solana lancé conjointement par Light Protocol et Helius, qui intègre des preuves ZK et une compression d'état, permettant de réduire les coûts de loyer des développeurs d'applications Solana de mille fois.
L'équipe a déjà développé des compressions ZK dans les domaines suivants :
-- Portefeuille (comme Backpack) : les utilisateurs détiennent des jetons sans avoir à payer de loyer.
-- Applications socialfi pour consommateurs (comme Tribe.run) : Les créateurs peuvent envoyer des tokens à moindre coût.
-- Outils d'airdrop (comme Helius Airship)
4、ZKVMs
RISC Zero et Succinct peuvent aider à prouver tout calcul en chaîne, sans être limités par le calcul de la chaîne. Cela peut soutenir :
-- Client léger Solana basé sur ZK
-- Réseau DePIN simplifié
-- Connexion ZK sécurisée et sans couture
5、Solana réseau d'extension de pile
zkSVM est en cours d'application à :
-- Solforge : Ce réseau extensible utilise la méthode ZKP et la compression ZK du Light Protocol pour soutenir l'extension des preuves de flux de mise à jour d'état et l'optimisation de la génération de preuves avec LightSVM.
-- Termina : une plateforme de déploiement de réseau SVM pour des cas d'utilisation spécifiques, permettant de réduire la latence, d'améliorer la confidentialité et de diminuer les coûts de calcul.
-- Sonic SVM : une pile SVM destinée aux jeux et aux applications, en cours d'extension ZK via Hypergrid.
-- bulletxyz : un rollup à très faible latence développé par ZetaMarkets, s'étendant vers une très haute capacité de traitement, toutes les transformations d'état étant prouvables. De plus, des équipes comme Aerius Labs effectuent des expérimentations liées aux preuves ZK.
6、ZK计划
D'autres programmes, tels que le programme de preuve de jetons ZK d'Anza, soutiennent les transferts confidentiels - le solde et le montant des transactions des jetons SPL cryptés, afin de protéger la confidentialité des cas d'utilisation tels que les comptes à payer.
Avec la récente publication de la compression ZK et les divers appels système à venir, Solana devient un puissant moteur ZK. Cet article est juste un bref résumé pour aider chacun à comprendre les développements initiaux de ZK et de la vérifiabilité sur Solana.