{"vct":"urn:nl.administratieomgeving:recht-op-regeling-bewijs:1","name":"RechtOpRegelingBewijs","description":"Zelf-uitgegeven zero-knowledge-bewijs dat de houder aan drie voorwaarden van een specifieke regeling voldoet, zonder dat de verifier weet welke individuele voorwaarden waar zijn of op welke onderliggende data zij gebaseerd zijn. Output is één boolean `recht_op`. Het circuit `recht-op-regeling-v1` uit `eco/voorzieningen/zkp-circuit-registry/circuits/` is generiek-composiet: drie boolean inputs plus één output (AND van de drie). De regeling-specifieke context (welke regeling, welke voorwaarden de drie inputs representeren) komt op claim-niveau in deze credential, niet in het circuit zelf. Daardoor blijft het ene circuit herbruikbaar voor meerdere regelingen door de tijd heen. Eerste demo-context: anonieme buurt-consultatie waar burger bewijst dat zij wijk-bewoner is, stemgerechtigd qua leeftijd, en niet eerder heeft gestemd. Aanpak 1 disposable cnf-binding per verifier conform Sub-vraag 2.6.","display":[{"locale":"nl-NL","name":"Recht-op-regeling-bewijs","description":"Bewijs dat u aan de voorwaarden van een specifieke regeling voldoet, zonder dat de verifier weet welke individuele voorwaarden waar zijn.","rendering":{"simple":{"background_color":"#1B5E20","text_color":"#FFFFFF"}}},{"locale":"en-US","name":"Right-to-scheme proof","description":"Proof that you meet the conditions of a specific scheme, without the verifier learning which individual conditions are true.","rendering":{"simple":{"background_color":"#1B5E20","text_color":"#FFFFFF"}}}],"claims":[{"path":["recht_op"],"display":[{"locale":"nl-NL","label":"Voldoet aan alle voorwaarden"},{"locale":"en-US","label":"Meets all conditions"}],"sd":"allowed","begrip":"urn:nl.administratieomgeving:begrip:recht-op-regeling:1","claim-type":"zkp-predicate","circuit-id":"recht-op-regeling-v1"},{"path":["proof"],"display":[{"locale":"nl-NL","label":"Zero-knowledge-bewijs"},{"locale":"en-US","label":"Zero-knowledge proof"}],"sd":"allowed"},{"path":["circuit_id"],"display":[{"locale":"nl-NL","label":"Circuit-identifier"},{"locale":"en-US","label":"Circuit identifier"}],"sd":"allowed"},{"path":["circuit_version"],"display":[{"locale":"nl-NL","label":"Circuit-versie"},{"locale":"en-US","label":"Circuit version"}],"sd":"allowed"},{"path":["regeling_id"],"display":[{"locale":"nl-NL","label":"Regeling-identifier"},{"locale":"en-US","label":"Scheme identifier"}],"sd":"allowed"},{"path":["regeling_naam_kort"],"display":[{"locale":"nl-NL","label":"Regeling (kort)"},{"locale":"en-US","label":"Scheme (short)"}],"sd":"allowed"}],"schema":{"$schema":"https://json-schema.org/draft/2020-12/schema","type":"object","properties":{"recht_op":{"type":"boolean","title":"Voldoet aan alle voorwaarden","description":"True wanneer de houder aan alle drie de voorwaarden van de regeling voldoet, false anders. Output van het composiet-circuit (AND van drie booleans)."},"proof":{"type":"string","title":"Zero-knowledge-bewijs","description":"JSON-string van het Groth16-proof-object (pi_a, pi_b, pi_c, protocol, curve)."},"circuit_id":{"type":"string","title":"Circuit-identifier","description":"Identifier van het zero-knowledge-circuit, voor dit credential-type altijd `recht-op-regeling-v1`."},"circuit_version":{"type":"string","title":"Circuit-versie","description":"Versie-string van het circuit-snapshot."},"regeling_id":{"type":"string","title":"Regeling-identifier","description":"Unieke identifier van de regeling waarop dit bewijs slaat, bijvoorbeeld `anonieme-consultatie-brug-grachtenlaan-diplo-2026`. Vrije string; de verifier interpreteert hem in haar eigen context."},"regeling_naam_kort":{"type":"string","title":"Regeling-naam (kort)","description":"Korte mens-leesbare omschrijving van de regeling, bijvoorbeeld `Anonieme consultatie brug Grachtenlaan`."}},"required":["recht_op","proof","circuit_id","circuit_version","regeling_id","regeling_naam_kort"]}}