Validador autónomo de IVA que emite provas de zero-conhecimento (ZKPs) atestando a regularização fiscal das faturas integradas sem revelar segredo comercial.
Formal technical properties and audit guidelines for the AT IVA Netting Verifier.
| Associated Stakeholder | Autoridade Tributária e Aduaneira (AT) - Direção de Serviços de IVA |
| Sovereign Compliance | ZK Compliance |
| Security Boundary | Isolated Hardware TEE |
| Crypto Engine | Zama TFHE / FHEVM |
Erradica a criação de faturas falsas ou esquemas de IVA circular (Carousel Fraud) montados para reembolsos indevidos.
Run and inspect localized cryptographic transactions and state changes.
