Innovation, Quantum-AI Technology & Law

Blog over Kunstmatige Intelligentie, Quantum, Deep Learning, Blockchain en Big Data Law

Blog over juridische, sociale, ethische en policy aspecten van Kunstmatige Intelligentie, Quantum Computing, Sensing & Communication, Augmented Reality en Robotica, Big Data Wetgeving en Machine Learning Regelgeving. Kennisartikelen inzake de EU AI Act, de Data Governance Act, cloud computing, algoritmes, privacy, virtual reality, blockchain, robotlaw, smart contracts, informatierecht, ICT contracten, online platforms, apps en tools. Europese regels, auteursrecht, chipsrecht, databankrechten en juridische diensten AI recht.

Berichten met de tag zero-knowledge
Het anagram van Huygens en de aanval die niemand publiceert

Christiaan Huygens legde in 1656 een reeks losse letters vast achterin een geschrift over Saturnus. Wie de reeks las wist niets; wie drie jaar later de oplossing zag in Systema Saturnium, wist dat Huygens de ring al die tijd had gekend. Die zeventiende-eeuwse gewoonte kreeg in augustus 2026 een juridische keerzijde. In PRX Quantum verscheen op 21 augustus „Securing Elliptic Curve Cryptocurrencies against Quantum Vulnerabilities” van Babbush, Gidney, Boneh en anderen, met een middelenschatting voor een quantumaanval op secp256k1 in de orde van 1.200 logische qubits. De geoptimaliseerde circuits bleven achtergehouden onder responsible disclosure, en de gestelde bovengrens werd vastgelegd in een zero-knowledge-bewijs. Er ligt sindsdien een gecontroleerde bewering op tafel waarvan vrijwel niemand de onderbouwing heeft gezien.

Het bewijs hield, de bewijsmachine niet

Dat die constructie zorgvuldige formulering verdient, bleek al eerder. Trail of Bits publiceerde op 17 april 2026 een vervalst bewijs met betere cijfers dan Google zelf — geen quantumdoorbraak, maar geheugen- en logicafouten in het Rust-gastprogramma dat de te bewijzen berekening definieert. De verifier accepteerde vervolgens correct een geldig bewijs onder die gebrekkige relatie, niet te onderscheiden van een echt bewijs; Google repareerde de code en de wetenschappelijke claim bleef staan. Vier lagen vallen in het spraakgebruik samen en gedragen zich juridisch verschillend: de eigenschappen van het bewijssysteem, de omschrijving van de relatie die feitelijk wordt bewezen, de reikwijdte van de bewering zoals de lezer haar begrijpt, en de betrouwbaarheid van wie het bewijs aanlevert.

Drie vormen van beperkte inzage

Nederlandse juristen kennen een verwante figuur. Artikel 8:29 Awb kent de beperkte kennisneming: de bestuursrechter mag stukken zien die de wederpartij niet krijgt, mits de beperking gerechtvaardigd is en de andere partijen toestemming geven voor een uitspraak mede op grond daarvan. Daarnaast staat artikel 78 van de AI-verordening, waarin een toezichthouder de informatie juist wél krijgt en gebonden is aan geheimhouding, terwijl artikel 92 de Commissie eigen evaluatiebevoegdheid en toegang geeft. Het zero-knowledge-geval is de derde vorm: de indienende partij houdt het materiaal zelf, en de controlerende partij krijgt het nooit te zien. Die drie door elkaar halen levert onjuiste verwachtingen op over wat een toezichthouder mag vragen en wat een leverancier mag aanbieden.

Zes vragen voor de praktijk

Voor inkoop, contractsbeoordeling en compliance levert dat een concreet toetsingskader op: wat is letterlijk bewezen, wie formuleerde die bewering, welk verificatieprogramma controleert haar en wie onderhoudt dat, kan een derde de controle herhalen, welke aansprakelijkheid en meldtermijn gelden bij falen, en — de vraag die het vaakst ontbreekt — wanneer vervalt de geheimhouding. De anagramtraditie werkte omdat zij eindig was. Een leveranciersverklaring die op een ongepubliceerd resultaat steunt, hoort daarom een datum te bevatten waarop de onderliggende analyse alsnog toetsbaar wordt, met een rechtsgevolg wanneer die datum ongebruikt verstrijkt.

Meer lezen