Social welfare and benefits
Universal credit, housing benefit, disability entitlements, and emergency relief. Prove income band without exporting full tax files.
yesno · kycPublic sector worldwide
AffixIO gives central, regional, and local government a stateless path to yes or no eligibility decisions. Issue ML-DSA-65 signed proofs from Noir zero-knowledge circuits, verify through REST API or Node.js SDK, and retain zero PII at the boundary. Auditors get Merkle-anchored evidence suitable for FOI, dispute, and programme review.
Government eligibility verification is the process of deciding whether a citizen, resident, or organisation qualifies for a public programme, permit, or service, then recording that decision in a form auditors can trust. AffixIO returns a signed allow or deny outcome instead of copying underlying records into every vendor system.
The challenge
Programme delivery still depends on eligibility checks that copy citizen data into vendor silos, expand GDPR scope, and weaken FOI defensibility when caseworkers cannot prove what was decided at the boundary.
Each integrator builds a local copy of records to answer the same policy question. Breach surface grows with every new supplier.
Disputes and transparency requests require reconstructing decisions from logs that may not bind to the original policy inputs.
Central departments, devolved administrations, municipalities, and treaty partners need a common proof format without a shared citizen database.
Long-lived eligibility artefacts signed with classical cryptography may not survive a harvest-now-decrypt-later threat model.
Use cases
Any policy that resolves to allow or deny is a fit. The same proof pipeline applies whether the authority is national, regional, municipal, or multilateral.
Universal credit, housing benefit, disability entitlements, and emergency relief. Prove income band without exporting full tax files.
yesno · kycTreatment eligibility, prescription schemes, and vaccination status gates. Binary outcome at clinic boundary.
health_ageScholarships, fee waivers, and research grants. Verify entitlement without standing student profiles at every vendor.
grant proofsVisa classes, work permits, and trusted traveller programmes. Present signed eligibility at checkpoint.
permit · QRProfessional licences, vehicle permits, and business registrations. Registers stay authoritative.
register lookupCouncil tax support, social housing queues, and homelessness prevention.
local authorityChild benefit, R&D credits, and customs reliefs. Revenue bodies issue predicates.
revenue ZKBase entry, contractor clearance, and supply-chain qualification.
access · offlineVoter roll checks and postal vote qualification.
elector · event-boundSupplier qualification and framework admission.
supplier gateWallet issuers and eID schemes. Verification layer above wallets.
eIDASDisbursement eligibility and cross-border programme admission.
treaty ZKProof pipeline
Policy authority defines a Noir circuit for the rule set. Witness inputs come from systems that already own the records.
Proof is bound to event context: programme ID, expiry, geography, and anti-replay nonce. ML-DSA-65 signature applied at issue.
User, agent, or device presents the credential via API call or secure QR at the service boundary.
Verifier receives allow or deny plus Merkle reference. No personal data retained at the verifier by default.
Policy alignment
AffixIO is built in Wales and written for buyers in any government tier. Architectural alignment is not a certification. Your data protection officer remains responsible for deployment-specific compliance.
Designed for FOI defensibility, UK GDPR data minimisation, and GDS-style API-first delivery.
Selective disclosure patterns for member-state programmes.
State programme delivery and federal post-quantum migration planning.
Treaty bodies, development banks, and federal states.
Buyer guide
| Dimension | AffixIO | Central eligibility database | Document upload vendor |
|---|---|---|---|
| Outcome | Signed allow or deny with Merkle ref | Query returns record snapshot | Manual review queue |
| PII at verifier | Zero by default | Full or partial record copy | Document images stored |
| Audit | Cryptographic proof + Merkle tree | Database access logs | Vendor retention policy |
| Post-quantum | ML-DSA-65 (FIPS 204) | Depends on incumbent stack | Depends on incumbent stack |
Full comparison: vs KYC database · stateless vs traditional
Procurement
Reproduce WP-038 in the live sandbox.
Map programme policy to circuit inputs. Review trust centre and security.
Download the procurement pack for DPIA template and diagrams.
Run a bounded pilot via the evaluation path.
Stack
Proof generation can run on infrastructure you control. See technical architecture and circuit catalogue.
FAQ
Any policy that resolves to yes or no: welfare, healthcare, education grants, immigration permits, licensing, housing, tax credits, elections, procurement, digital identity wallets, and cross-border aid.
Each decision produces a signed outcome with a Merkle-anchored reference. Auditors can verify that a specific allow or deny was issued without re-running the check.
Yes. The Node.js SDK generates and verifies proofs on infrastructure you control.
ML-DSA-65 aligned with NIST FIPS 204.
By default the verifier receives a binary outcome and proof metadata, not a standing profile.
A shared database copies records for every query. AffixIO evaluates policy per request and returns a signed outcome.
Validate government eligibility verification on the live sandbox, then scope a pilot with the procurement pack and engineering team.