< Terug naar vorige pagina
Project
Verbeteren van privacy en schaalbaarheid van spamfilters voor IPv6-multicast met Zero-Knowledge Proofs (FWOSB202)
Vandaag de dag kunnen veel toepassingen profiteren van efficiënte IPv6 multicast. Dit vormt echter
een uitdaging op het gebied van schaalbaarheid, omdat de huidige multicast-protocollen gevoelig zijn
voor spam-achtig gedrag. Met dit onderzoek wil ik de privacy van de verzender in multicast
spamfiltering mogelijk maken door zero-knowledge proofs (ZKP) te introduceren op de netwerklaag.
Hiermee kan een router onafhankelijk verifiëren of een pakket geautoriseerd is om doorgestuurd te
worden naar een bepaalde multicastgroep. Hiervoor moet de huidige ZKP creatie geoptimaliseerd
worden en om op te schalen naar Gbps doorvoer, moet het netwerk in staat zijn om een pakket te
verifiëren met behulp van slechts een paar CPU instructies.
In dit onderzoek probeer ik een meer geoptimaliseerde oplossing te vinden om ZKP's uit te drukken
met recursieve toegangsregels in Datalog en één enkel bewijs te koppelen aan een set multicast
pakketten met behulp van een set tokens. Door gebruik te maken van de expressieve beperkingen in
Datalog bij de conversie naar nieuwere ZKP intermediaire representaties en folding, kunnen de
bewijstijd en de grootte van het bewijs worden gereduceerd. Door een enkel bewijs te koppelen aan
een set pakketten kunnen de verificatiekosten worden gereduceerd en blijft snel doorsturen
mogelijk. Deze neemt een van de belangrijkste problemen van multicast op het Internet.
een uitdaging op het gebied van schaalbaarheid, omdat de huidige multicast-protocollen gevoelig zijn
voor spam-achtig gedrag. Met dit onderzoek wil ik de privacy van de verzender in multicast
spamfiltering mogelijk maken door zero-knowledge proofs (ZKP) te introduceren op de netwerklaag.
Hiermee kan een router onafhankelijk verifiëren of een pakket geautoriseerd is om doorgestuurd te
worden naar een bepaalde multicastgroep. Hiervoor moet de huidige ZKP creatie geoptimaliseerd
worden en om op te schalen naar Gbps doorvoer, moet het netwerk in staat zijn om een pakket te
verifiëren met behulp van slechts een paar CPU instructies.
In dit onderzoek probeer ik een meer geoptimaliseerde oplossing te vinden om ZKP's uit te drukken
met recursieve toegangsregels in Datalog en één enkel bewijs te koppelen aan een set multicast
pakketten met behulp van een set tokens. Door gebruik te maken van de expressieve beperkingen in
Datalog bij de conversie naar nieuwere ZKP intermediaire representaties en folding, kunnen de
bewijstijd en de grootte van het bewijs worden gereduceerd. Door een enkel bewijs te koppelen aan
een set pakketten kunnen de verificatiekosten worden gereduceerd en blijft snel doorsturen
mogelijk. Deze neemt een van de belangrijkste problemen van multicast op het Internet.
Datum:1 nov 2025 → Heden
Trefwoorden:Zero-knowledge, IPv6 multicast, Spam
Disciplines:Computercommunicatienetwerken, Cryptografie, privacy en beveiliging, Telecommunicatie en remote sensing