Fase 06 — Pruebas y privacidad
La rama pruebas y privacidad conecta commitments, circuitos, witnesses, sistemas de prueba, verificadores Solidity, nullifiers y límites de metadata.
Salida: identificás statement, public inputs, supuestos criptográficos/setup, binding del verifier, replay, leakage y dependencias fuera del circuito.