Schemi a conoscenza zero su Noir

Sviluppo schemi e prove industriali a conoscenza zero su Noir — il linguaggio ZK di Aztec con sintassi ispirata a Rust. Noir ti consente di descrivere logica privata in codice pulito e leggibile, rimanendo indipendente dal backend: lo schema si compila in ACIR (Rappresentazione Intermedia di Circuito Astratto) e può funzionare con diversi sistemi di prova, inclusi Barretenberg per prove UltraHonk e UltraPlonk.

Cosa ottieni:
— Schemi personalizzati su Noir per identificazione, prove di appartenenza a insiemi, votazione privata, verifica delle credenziali, mixer e trasferimenti riservati.
— Progettazione di vincoli efficiente che riduce il numero di porte e il tempo di generazione delle prove.
— Librerie e moduli Noir riutilizzabili con interfacce chiare, test unitari tramite nargo e input pubblici e privati documentati.
— Integrazione del verificatore: generazione di Solidity o verificatori di contratti per la verifica delle prove on-chain, così come generazione di prove off-chain.
— Prove di inclusione di alberi di Merkle, impegni hash (Pedersen, Poseidon, Keccak), controlli di intervallo e verifica delle firme all'interno del circuito.
— Integrazione completa con il layer JavaScript o TypeScript (Node o browser) per la costruzione di testimoni e generazione di prove.

Processo: Inizio dalle tue esigenze di privacy, identifico input pubblici e privati, modello i vincoli e affino lo schema per robustezza e prestazioni. Ogni schema viene fornito con una suite di test, descrizione delle assunzioni di fiducia e istruzioni per prova e verifica.

Descrivi il tuo compito — valuterò i costi in base ai vincoli e proporrò la soluzione Noir più pulita.