ZK proofs aplicados: Noir, Circom, Halo2

// circuit.nr
// Prova que conhece dois números cuja soma é pública
fn main(a: Field, b: Field, sum: pub Field) {
    assert(a + b == sum);
}

// 'a' e 'b' são private witness; 'sum' é public input.
// Verifier só vê 'sum'; prover convence sem revelar a, b.

# Compilar circuit
nargo compile

# Prover side: gerar prova com witness
nargo prove

# Verifier side: verificar proof
nargo verify

# Gerar Solidity verifier para deploy on-chain
nargo codegen-verifier

pragma circom 2.1.0;

template Sum() {
    signal input a;
    signal input b;
    signal input sum;
    sum === a + b;
}

component main { public [sum] } = Sum();