Nouvel outil zk modulaire ! ⚡ Utilisez-le pour générer des zkps à partir d'attestations hors chaîne. Le flux : - Signer/utiliser une attestation hors chaîne - Générer des preuves avec SP1 - Vérifier avec WASM - Attester le résultat de la vérification sur chaîne (optionnel) Un grand merci à @shivansheth et @whoisgautxm (zkAttestify) pour leur contribution et à @SuccinctLabs pour leur soutien !

Voici le flux : 1) Signer/fournir une attestation offchain valide - Les attestations structurées sont créées à l'aide de l'EAS - Signées avec EIP712 - Les données restent offchain et privées. - La signature est vérifiable. 2) Générer une preuve ZK (SP1) - Utiliser SP1 zkvm pour analyser la structure EAS - Valide la correction de la signature et la logique (codée en dur pour la démo) - Le programme SP1 génère des preuves Groth16 ou Plonk - La sortie comprend le fichier de preuve + les entrées publiques Les programmes dob-program et dob-scripts du dépôt gèrent la logique. 3) Vérifier en WASM (Navigateur ou Node) - Charger le vérificateur compilé - Fournir la preuve + les entrées publiques - Le script JS exécute la vérification de la preuve et vérifie la logique 4) Optionnel : Attester le résultat de la vérification onchain - Soumettre la preuve zk à un contrat vérificateur solidity (vérificateur groth16) - En cas de succès, appeler l'EAS pour émettre une nouvelle attestation onchain - Le schéma et les données sont personnalisables (isOver18 = true) - Vous donne le contrôle sur l'expiration/révocation/composabilité - Pas de lien avec l'attestation offchain originale Remarques - ce flux suppose que vous faites confiance à l'attesteur de l'attestation offchain. - générer des preuves groth16/plonk est lent. Utilisez le Succinct Prover Network pour une efficacité améliorée.

Ce tutoriel/démonstration vous expliquera comment cela fonctionne en 15 minutes. Il utilise un exemple simple de preuve d'âge. L'outil est modulaire, donc avec quelques ajustements, vous pouvez le remplacer par vos propres schémas / logiques de circuit plus tard.

Visitez le Github

Vous voulez plutôt regarder une vidéo de l'équipe ZKAttestify ?

Vous souhaitez personnaliser le flux ? Voici ce qu'il faut ajuster : - Dans `dob-program/src/main.rs` – changez la logique (par exemple, `degree == "CS"`) - Dans `dob-script/input.json` – modifiez les données d'attestation et le schéma - Dans `WASM_verifier/` – vérifiez toute preuve avec la même structure

Ce projet est une implémentation de référence. Il est modulaire, open source et prêt à être forké. Aidez-nous à étendre le support pour plus de schémas, de vérificateurs et de cas d'utilisation. Nous recherchons activement des contributeurs et des bâtisseurs qui souhaitent amener ce dépôt au niveau supérieur. Contactez-nous ! 🫡