Probar sin mostrar el expediente.

• Pertenencia

  MerkleVerify(Poseidon(run, sk), root)
  —
• Con vida

  deathDate == 0
  —
• Mayor de edad

  epoch - dob >= 18 años
  —
• Cédula vigente

  cedulaExp >= epoch
  —

Circuito

pragma circom 2.1.6;
include "poseidon.circom";

template IdViva() {
  signal input alive;
  signal input adult;
  signal input cedula;
  signal input membership;
  signal input sk;
  signal input stmt;
  signal input ok;
  signal output nullifier;

  alive * (alive - 1) === 0;
  adult * (adult - 1) === 0;
  cedula * (cedula - 1) === 0;
  membership * (membership - 1) === 0;
  ok * (ok - 1) === 0;

  signal a <== alive * adult;
  signal b <== cedula * membership;
  a * b === ok;

  component h = Poseidon(3);
  h.inputs[0] <== sk;
  h.inputs[1] <== stmt;
  h.inputs[2] <== ok;
  nullifier <== h.out;
}

component main {public [stmt, ok]} = IdViva();

Padrón root d5249c37d3…8ebf · 269 R1CS · wasm IdViva

Groth16

CRS de dos fases (powers of tau n=10 + zkey de Secretaría). El prover calcula A ∈ G₁, B ∈ G₂, C ∈ G₁. El verificador no ve el testigo: comprueba el pairing.

e(A,B) = e(α,β) · e(IC,γ) · e(C,δ)

1. El dispositivo extrae bits del credencial SRCeI. El RUN no es input.
2. Circom fuerza booleanos y AND. Poseidon(sk, stmt, ok) → nullifier.
3. ok y stmt son públicos. Si AND ≠ ok, Assert Failed: no hay π.
4. verifyGroth16 lee la vk. Replay: el nullifier se gasta en el epoch.