Pagar per un túnel no ha de significar presentar la identitat de facturació a cada connexió. Un disseny pot comprovar l'elegibilitat una vegada, lliurar al client testimonis criptogràfics i deixar que la passarel·la accepti més tard un testimoni sense veure el compte que hi ha al darrere. Si això amaga realment alguna cosa depèn de les decisions d'emissió i de bescanvi, així que tracta-ho com un exercici d'especificació amb quatre seccions i no com una funció que s'activa.

Separa el pas de compra del pas de sessió

L'arquitectura Privacy Pass de l'RFC 9576 dona el vocabulari: un client, un atestador, un emissor i un origen. El client demostra alguna propietat a l'emissor i rep testimonis; més tard en presenta un a l'origen, que decideix si l'atén. Aplicat a una VPN, la propietat atestada podria ser una sola unitat d'accés.

La facturació continua veient el que necessita el seu propi procés, i ningú no afirma el contrari. L'objectiu més estret és que el bescanvi posterior no es pugui lligar a la compra que va produir el testimoni. Aquesta és una propietat concreta i verificable, i és la que val la pena escriure.

Una cadena portadora d'aspecte aleatori no ho proporciona. Si l'emissor desa el valor al costat d'un registre de client i la passarel·la pot demanar aquesta correspondència, les dues interaccions queden lligades per una base de dades i no per la criptografia. La construcció ha de fer que l'emissor no pugui respondre aquesta pregunta, i el desplegament ha d'evitar que l'emissor i la passarel·la uneixin les seves visions.

Decideix què autoritza un sol testimoni

«Un testimoni compra accés» no respon gairebé res en termes operatius. La unitat és una sola connexió, una quota de temps o un volum? Un client que ha perdut la resposta pot reprendre la mateixa concessió? Què passa quan un dispositiu es reconnecta durant un canvi de xarxa? Aquestes respostes decideixen si el disseny és utilitzable, i cadascuna té una conseqüència per a la privadesa.

Reuse ruleWhat it buysWhat it leaks
Single use per connectionStrongest unlinkability between sessionsFrequent reissuance, more purchase-to-use timing pairs
Bounded time windowFewer tokens, reconnects workActivity inside the window is linkable
Long-lived grantOperationally simpleBehaves like an account reference with extra steps

Tria'n un deliberadament i escriu al costat el comportament en cas de fallada. Un client que reintenta amb un dret nou després d'un temps d'espera consumeix una altra unitat, cosa que és alhora una sorpresa de facturació i un senyal de privadesa.

Escriu la política de reutilització i revocació

La revocació és on els dissenys anònims solen incomplir la seva pròpia promesa. Cancel·lar una subscripció i invalidar testimonis ja emesos són operacions diferents, i una passarel·la que fa en silenci una consulta de compte per decidir ja no és anònima en aquell punt.

Tria una caducitat, un límit d'emissió i una història de revocació que encaixin entre si. Després revisa els registres propis de la passarel·la per buscar-hi camps que reintrodueixin l'enllaç que has eliminat.

sudo grep -rIl --include='*.log' -e 'Bearer ' -e 'account_id' /var/log/vpn/

Aquesta cerca llista fitxers de registre que contenen camps de testimoni o de compte, i és el primer lloc on un disseny acurat es filtra a la pràctica. Un registre de sessió que desa el valor del testimoni al costat d'un identificador de compte tomba tota la construcció, i normalment arriba mitjançant un canvi de depuració que ningú no va revisar.

Defineix també què conserva la passarel·la quan acaba una sessió. Durada, bytes i punt final són útils per a les operacions, i cada un és una peça del trencaclosques que un observador voldria tenir. Mantén curt el període de retenció i curta la llista de camps, i després revisa tots dos quan un canvi de depuració afegeixi una columna. Ningú no nota un camp de registre nou fins que fa un any que hi és.

Enuncia l'afirmació i després les observacions que queden

Escriu l'afirmació de privadesa en una frase amb les seves suposicions: quina part ha de ser incapaç d'enllaçar quins contextos, i què passa si l'emissor i la passarel·la comparen les notes. Un disseny que sobreviu a aquesta frase és revisable; un que només es descriu com a «coneixement zero» no ho és.

Després llista què queda visible malgrat tot. Adreces d'origen, hores de connexió, mides de paquet i el simple fet que una compra va passar poc abans que aparegués l'única connexió nova queden tots fora de la criptografia. Un sol client que compra una unitat i es connecta una vegada és enllaçable només pel moment, i cap disseny de testimonis ho canvia.

El resultat honest és un enllaç més estret entre compte i ús, no una sessió invisible. Encara val la pena construir-ho, sempre que la documentació ho digui i els registres operatius coincideixin amb l'afirmació.

Articles relacionats