Schémas à connaissance nulle sur Noir

Je développe des schémas et des preuves industrielles à connaissance nulle sur Noir — le langage ZK d'Aztec avec une syntaxe inspirée de Rust. Noir vous permet de décrire une logique privée dans un code propre et lisible tout en restant indépendant du backend : le schéma se compile en ACIR (Représentation Intermédiaire de Circuit Abstrait) et peut fonctionner avec différents systèmes de preuve, y compris Barretenberg pour les preuves UltraHonk et UltraPlonk.

Ce que vous obtenez :
— Schémas personnalisés sur Noir pour l'identification, les preuves d'appartenance à un ensemble, le vote privé, la vérification des identifiants, les mélangeurs et les transferts confidentiels.
— Conception de contraintes efficace qui réduit le nombre de portes et le temps de génération de preuves.
— Bibliothèques et modules Noir réutilisables avec des interfaces claires, des tests unitaires via nargo, et des entrées publiques et privées documentées.
— Intégration du vérificateur : génération de vérificateurs Solidity ou de contrats pour la vérification des preuves sur chaîne, ainsi que génération de preuves hors chaîne.
— Preuves d'inclusion d'arbre Merkle, engagements de hachage (Pedersen, Poseidon, Keccak), vérifications de plage et vérification de signature à l'intérieur du circuit.
— Intégration complète avec une couche JavaScript ou TypeScript (Node ou navigateur) pour la construction de témoins et la génération de preuves.

Processus : Je commence par vos exigences en matière de confidentialité, identifie les entrées publiques et privées, modélise les contraintes et affine le schéma pour la robustesse et la performance. Chaque schéma est accompagné d'une suite de tests, d'une description des hypothèses de confiance et d'instructions pour la preuve et la vérification.

Décrivez votre tâche — j'évaluerai les coûts en fonction des contraintes et proposerai la solution Noir la plus propre.