💻 computer science

Witnessd: Proof-of-process via Adversarial Collapse

Dit artikel introduceert Witnessd, een systeem dat "proof-of-process" vestigt door jitter seals, Verifiable Delay Functions en meerlagige validatie te combineren om vage twijfels over door AI gegenereerd auteurschap te transformeren in weerlegbare beschuldigingen tegen specifieke, onafhankelijk vertrouwde systeemcomponenten.

Oorspronkelijke auteurs: David Condrey

Gepubliceerd 2026-02-03

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: David Condrey

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een document hebt en iemand beweert: "Ik heb dit zelf geschreven, met de hand, op dit specifieke tijdstip." In de digitale wereld controleren we dit meestal door te kijken naar een digitale handtekening. Maar een handtekening is als een zegel van was op een brief; het bewijst dat je de wasstempel bezit, niet dat je persoonlijk de brief binnenin hebt geschreven. Je had een robot kunnen gebruiken om de brief te schrijven, en daarna jouw zegel erop kunnen plaatsen.

Dit artikel introduceert een nieuwe manier om te bewijzen dat een mens daadwerkelijk een document heeft getypt, in plaats van het alleen maar te ondertekenen. Ze noemen dit systeem Witnessd, en de kern van het idee is iets wat ze "Adversarial Collapse" noemen.

Hier is hoe het werkt, onderverdeeld in eenvoudige concepten:

1. Het Probleem: Het "Zegel" versus de "Hand"

Momenteel, als je wilt bewijzen dat je iets hebt geschreven, zet je een handtekening. Maar naarmate AI beter wordt in schrijven, vertelt een handtekening ons niet of een mens of een machine het werk heeft gedaan.

De Oude Manier: "Ik heb de sleutel, dus ik heb dit ondertekend." (Bewijst eigendom, niet creatie).
De Nieuwe Manier: "Ik heb bewijs dat mijn vingers fysiek de toetsen hebben geraakt in een specifiek ritme." (Bewijst het proces).

2. De Oplossing: Het "Jitter Seal" (De Onzichtbare Inkt)

Het artikel introduceert een klein, onzichtbaar hulpmiddel genaamd een Jitter Seal. Beschouw dit als een "geestvingerafdruk" die achterblijft op het document terwijl je typt.

Wanneer je op een toetsenbord typt, bewegen je vingers met licht verschillende snelheden. Het systeem meet deze minuscule pauzes tussen de toetsaanslagen (microseconden). Maar hier komt het slimme deel: het registreert niet alleen de tijd; het creëert een geheime, onbreekbare code gebaseerd op:

Welke toetsen je indrukt (gegroepeerd per handzone).
Het ritme van je typen.
De exacte inhoud van het document op dat moment.

Het injecteert een minuscule, nauwelijks waarneembare vertraging (zoals een knipoog van een oog) in het systeem die wiskundig verbonden is aan jouw typen. Als iemand het document later probeert te vervalsen, kunnen ze deze "geestvingerafdruk" niet reproduceren omdat ze de geheime sleutel niet hebben en niet daadwerkelijk in real-time aan het typen waren.

De Analogie: Stel je een muzikant voor die een lied speelt. Een opname bewijst dat het lied bestaat. Maar als je wilt bewijzen dat de muzikant daadwerkelijk live aan het spelen was op dit moment, zou je kunnen kijken naar de kleine, unieke ademhalingen die ze tussen de noten nemen. Je kunt die ademhalingen niet vervalsen zonder daar aanwezig te zijn. De Jitter Seal is als het opnemen van die ademhalingen en ze vast te leggen in de bladmuziek.

3. De Strategie: "Adversarial Collapse"

Dit is het belangrijkste filosofische punt van het artikel. Meestal, wanneer iemand twijfelt aan een document, zeggen ze: "Het zou nep kunnen zijn!" Dit is een vage twijfel die moeilijk te weerleggen is.

De auteurs zeggen: Probeer niet te bewijzen dat het 100% echt is. Maak het in plaats daarvan onmogelijk om te twijfelen zonder specifiek te worden.

Ze hebben het systeem gebouwd als een fort met vijf verschillende muren, elk bewaakt door een ander type bewaker:

De Jitter Seal: Bewijst dat je aan het typen was.
Time Locks (VDF's): Bewijst dat er daadwerkelijk tijd is verstreken (je kunt het bewijs niet "speed-runnen").
Publieke Klokken: Verankert de tijd aan zaken zoals het Bitcoin-netwerk of officiële overheids-tijdservers.
Dubbelcheck: Controleert of de toetsaanslagen afkomstig zijn van het fysieke toetsenbord en de computersoftware.
Hardware Locks: Gebruikt de ingebouwde beveiligingschip van de computer (TPM) om de machine zelf te verifiëren.

De "Collapse":
Als een scepticus zegt: "Dit document is een vervalsing!" dwingt het systeem hen om te stoppen met gissen en te beginnen met beschuldigen. Om het bewijs te breken, kunnen ze niet simpelweg zeggen "Het is nep." Ze moeten zeggen:

"De hacker heeft de geheime sleutel gestolen tussen 14:00 en 14:15 uur."
"Het Bitcoin-netwerk werd gemanipuleerd op deze specifieke datum."
"De hardwarechip van de computer is fysiek aangepast voordat het typen begon."

Als ze niet de specifieke methode, tijd en wijze van de aanval kunnen benoemen, dan "stort hun twijfel in" (collapse) omdat het bewijs standhoudt tegen vage beschuldigingen.

4. Wat het Bewijst (en wat het Niet Bewijst)

Het artikel is zeer duidelijk over de grenzen:

Het bewijst: Dat een mens fysiek de tekens op een toetsenbord heeft getypt in real-time.
Het bewijst NIET: Dat de mens de oorspronkelijke ideeën had.
Het bewijst NIET: Dat de mens geen tekst van een AI heeft gekopieerd en geplakt.

De "Typist" Loophole: Als een mens gaat zitten en tekst typt die door een AI is gegenereerd, zal het Witnessd-systeem nog steeds zeggen: "Ja, een mens heeft dit fysiek getypt." Het bewijst de handeling van het typen, niet de bron van de gedachten.

5. De Resultaten

De auteurs hebben dit systeem meer dan 31.000 keer getest.

Echt typen: Slaagde 100% van de tijd.
Nep pogingen: Faalden 100% van de tijd.
Snelheid: De "geestvingerafdruk" is zo snel (microseconden) dat mensen het niet kunnen voelen, maar computers kunnen het direct verifiëren.

Samenvatting

Het artikel stelt een nieuwe manier voor om vertrouwen in digitale documenten te krijgen. In plaats van te vragen "Is deze handtekening geldig?" (wat alleen bewijst dat je de stempel bezit), vraagt het: "Heeft een mens dit fysiek getypt?" door te zoeken naar onzichtbare, wiskundig vergrendelde ritmes in het typen.

Als iemand probeert te argumenteren dat het document nep is, dwingt het systeem hen om te stoppen met zeggen "Het zou nep kunnen zijn" en te beginnen met zeggen "De computer werd op dit exacte moment gehackt met deze specifieke methode." Als ze dat specifieke verhaal niet kunnen bewijzen, staat het bewijs stevig.

Technisch Samenvatting: Witnessd: Proof-of-Process via Adversarial Collapse

1. Probleemstelling

Huidige digitale bewijssystemen lijden aan een fundamentele kloof tussen eigendom en proces. Hoewel digitale handtekeningen het bezit van een sleutel en de attestatie van inhoud bewijzen, verifiëren ze niet dat een mens de inhoud fysiek heeft gecreëerd. Een tegenstander zou tekst kunnen genereren met een taalmodel, tussentijdse documentstaten achteraf kunnen construeren en vervolgens elke hash kan ondertekenen, waardoor een geldige signatuurketen ontstaat die niets zegt over de oorsprong van de inhoud.

Bestaande benaderingen schieten tekort in adversariële scenario's:

Detectiesystemen vertrouwen op een "ground truth oracle" die niet bestaat in betwiste scenario's; een detector met 95% nauwkeurigheid is nutteloos als de tegenstander de 5% van de gevallen controleert die zij targeten.
Certificering leunt op sociaal vertrouwen in derde partijen, die gecompromitteerd of onder druk gezet kunnen worden.
Cryptografische integriteit (handtekeningen) bewijst dat bits niet zijn gewijzigd na ondertekening, maar niet dat de bits zijn geproduceerd door een specifiek fysiek proces.

Het artikel betoogt dat bewijssystemen niet moeten worden geëvalueerd op basis van detectienauwkeurigheid of certificeringsautoriteit, maar op hun vermogen om de ruimte van plausibele alternatieve verklaringen te laten inklappen (collapse).

2. Methodologie

Het Adversarial Collapse Principe

De kern van de theoretische bijdrage is het Adversarial Collapse Principle. Het artikel stelt dat een robuust bewijssysteem een uitdager dwingt van vage twijfel naar Specifieke Beschuldigingen (Specific Allegations) te bewegen.

Specific Allegation Criterion: Om bewijs te betwisten, moet een tegenstander een concreet mechanisme benoemen, een begrensde tijdsperiode identificeren, een specifiek capaciteitsniveau impliceren en onafhankelijk testbare claims maken.
Adversarial Collapse: Bewijs bereikt "collapse" wanneer het weerleggen ervan een conjunctie vereist van specifieke beschuldigingen tegen meerdere componenten die beschikken over onafhankelijke vertrouwensaannames (independent trust assumptions). Het betwisten van één component is onvoldoende; het betwisten van het geheel vereist het beschuldigen van gecoördineerde compromis tussen verschillende vertrouwensgrenzen (bijv. kernel, hardware, third-party anchors).

De Jitter Seal (Proof-of-Process Primitief)

De Jitter Seal is een cryptografisch primitief ontworpen om te bewijzen dat er tijdens de documentcreatie sprake was van real-time fysieke toetsenbordinteractie.

Mechanisme: Het systeem injecteert onmerkbare microseconde-vertragingen (500–3000 𝜇s) in het proces van documentgeneratie.
Cryptografische Binding: Elke jitterwaarde wordt afgeleid via HMAC-SHA256 van een sessiesecret ( $S$ $S$ ) en zes bindende componenten:
1. Keystroke ordinal ( $i$ )
2. Document hash ( $H_i$ )
3. Timestamp ( $t_i$ )
4. Zone transition ( $Z_i$ ): Codeert overgangen tussen toetsenbordregio's (8 zones) zonder specifieke toetsen te onthullen.
5. Interval bucket ( $B_i$ ): Kwantiseert intervallen tussen toetsaanslagen in 10 bins.
6. Previous jitter ( $J_{i-1}$ ): Garandeert de integriteit van de keten.
Beveiliging: Zonder het sessiesecret kan een tegenstander de sequentie van jitterwaarden niet vervalsen. De waarschijnlijkheid om geldige jitterwaarden voor $n$ samples te raden is $(1/R)^n$ , waarbij $R$ het jitterbereik is.

De Witnessd Architectuur

Witnessd integreert de Jitter Seal met vijf onafhankelijke verificatiecheckpoints om het Adversarial Collapse Principe af te dwingen:

Layer 0 (Jitter Seal): Bewijst het fysieke proces.
Layer 1 (Verifiable Delay Functions - VDF): Gebruikt Pietrzak VDF's om een minimale verstreken tijd tussen checkpoints te bewijzen, wat time-compression attacks voorkomt.
Layer 2 (External Anchors): Verankert timestamps aan publieke, derde partij bronnen (Bitcoin blockchain via OpenTimestamps of RFC 3161 TSA) om lokale klokmanipulatie te voorkomen.
Layer 3 (Dual-Source Validation): Valideert toetsaanslagen door applicatie-niveau streams (bijv. CGEventPost) te kruisverwijzen met hardware-niveau streams (USB/Bluetooth HID). Een geldige toetsaanslag moet in beide binnen 50ms verschijnen.
Layer 4 (TPM/Secure Enclave): Optionele hardware-attestatie voor de platformstatus en monotoon tellers om replay te voorkomen.
Layer 5 (Hash Chain): Slaat bewijs op in een Merkle Mountain Range (MMR) om append-only integriteit te garanderen.

3. Belangrijkste Bijdragen

Adversarial Collapse Principle: Een nieuw evaluatiecriterium voor bewijssystemen dat prioriteit geeft aan het afdwingen van specifieke, testbare beschuldigingen boven vage twijfel.
Jitter Seal: Een formeel proof-of-process primitief dat fysieke typdynamiek (timing, zone-transities) cryptografisch bindt aan documentstaten.
Witnessd Architectuur: Een meerlaags systeem dat jitter seals, VDF's, externe anchors en dual-source validatie combineert om onafhankelijke vertrouwensgrenzen te creëren.
Security Analysis: Een formalisering van residuele aanvallen, die aantoont dat het verslaan van het systeem specifieke, hoogwaardige capaciteiten vereist (bijv. kernel compromise, third-party collusie) in plaats van generieke vervalsing.
Empirische Evaluatie: Implementatie en testen van het systeem over duizenden proeven.

4. Resultaten en Evaluatie

Het artikel rapporteert resultaten uit 31.000 jitter seal proeven en 700+ systeemtests:

Verificatiesucces: 1.000 geldige bewijzen succesvol geverifieerd (100% succespercentage).
Vervalsingsfalen: 30.000 aanvalsproeven (gefabriceerde jitter, mismatchende documenten, incorrecte geheimen) faalden bij verificatie (0% succespercentage).
Vervalsingskans: Berekend als ongeveer $(1/2500)^{50} \approx 10^{-170}$ voor een sequentie van 50 samples.
Prestaties:
- Jitter berekening: ~286 ns per sample.
- Jitter injectie: 500–3000 𝜇s (onmerkbaar voor mensen, 5–27× onder de perceptiedrempels).
- VDF verificatie: ~50 ms (achtergrondproces).
- MMR append: < 1 ms.

5. Betekenis en Claims

Het artikel claimt bescheiden dat Witnessd geen vervalsing voorkomt door een voldoende machtige tegenstander (specifiek een kernel-level tegenstander, $C_3$ , aanwezig vóór de capture). Als een tegenstander de kernel controleert, kunnen zij het sessiesecret extraheren en bewijs vervalsen.

De betekenis van het systeem ligt echter in het veranderen van de bewijslast:

Het zet vage scepsis ("Dit zou vervalst kunnen zijn") om in falsifieerbare beschuldigingen ("De kernel werd gecompromitteerd via CVE-XXXX tijdens het venster 14:00–14:47").
Het stelt vast dat geldig bewijs vereist dat een mens de inhoud fysiek typt (zelfs als de inhoud AI-gegenereerde tekst is). Het systeem attesteert aan het proces van het typen, niet aan de cognitieve oorsprong van de ideeën.
Door een gecoördineerde compromis te vereisen over onafhankelijke vertrouwensgrenzen (hardware, OS, third-party anchors), maakt het systeem de kosten en de specificiteit van een succesvolle aanval aanzienlijk hoger dan de huidige op handtekeningen gebaseerde herkomst (provenance).

De auteurs concluderen dat in adversariële contexten het vermogen om specifieke, testbare beschuldigingen af te dwingen een onderscheidende en waardevolle bijdrage is, die het paradigma verschuift van "het detecteren van fakes" naar het "laten inklappen van plausibele ontkenbaarheid".