Decentralized Reliability Estimation for Low Latency Mixnets

Claudia Diaz,Harry Halpin,Aggelos Kiayias
2024-12-03
Abstract:While there exist mixnets that can anonymously route large amounts of data packets with end to end latency that can be as low as a second, %making them attractive for a variety of applications, combining this level of performance with strong verifiability and reliability properties that ensure the correct processing and delivery of packets has proved challenging. Indeed, existing verifiability mechanisms are incompatible with scalable low-latency operation due to imposing significant latency overheads measuring in minutes to hours, hence severely limiting the variety of applications mixnets can serve. We address this important gap by proposing a scheme that can estimate reliability scores for a mixnet's links and nodes in a decentralized manner with essentially optimal complexity that is independent of the total traffic routed through the mixnet. The scores can be computed publicly by all participants from a set of measurement packets that are eventually revealed and act as a random sample of the traffic, without affecting mixnet transmission latency for client packets or incurring significant bandwidth overhead. Our scheme assumes client credentials and relies on VRF-based routing, a novel primitive that ensures that legitimate client packets follow the routing policy of the mixnet, as well as randomly generating unforgeable measurement packets. We experimentally validate our construction both in unreliable and adversarial settings, demonstrating its feasibility.
Cryptography and Security
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? This paper aims to solve the problem that mixnets are difficult to balance between low latency and high reliability. Specifically, although existing mixnets can anonymously route a large number of data packets and the end - to - end latency can be as low as a few seconds, it is still very challenging to combine this performance with strong verification and reliability. The existing verification mechanisms limit the application range of mixnets because they introduce significant latency overhead (from a few minutes to a few hours). #### Main problems: 1. **Trade - off between low latency and high reliability**: Existing mixnets either provide low latency but lack reliable transmission guarantees, or provide high reliability but introduce excessive latency. 2. **Scalability and public verifiability**: A method is needed to estimate the reliability of links and nodes in mixnets in a decentralized manner without affecting the transmission latency of client - side data packets, and this estimate must be publicly verifiable. 3. **Malicious behavior detection**: A mechanism is needed to detect and quantify the malicious or faulty behavior of nodes in mixnets, thereby ensuring the overall reliability of the network. #### Solutions: The author proposes a scheme that can estimate the reliability scores of links and nodes in mixnets in a decentralized situation, and the complexity is almost independent of the total traffic routed through mixnets. The main features of this scheme include: - **VRF - based routing**: A routing mechanism based on verifiable random functions (VRF) ensures that legitimate client - side data packets are randomly selected according to the public routing strategy of mixnets and generate non - forgeable measurement data packets. - **Measurement data packets**: These data packets are indistinguishable from ordinary data packets during transmission, but can be revealed and verified later for estimating the reliability of the network. - **Public verifiability**: All participants can calculate the reliability score from a set of measurement data packets without affecting the transmission latency of client - side data packets or introducing significant bandwidth overhead. #### Key contributions: 1. **Reliability estimation in low - latency continuous - time mixnets**: This scheme is applicable to low - latency continuous - time mixnets (such as Loopix and Nym) and can achieve reliability estimation without significantly increasing latency. 2. **Decentralization and public verifiability**: Reliability estimation is decentralized and can be publicly verified by all participants, ensuring that there is no single point of failure. 3. **Efficiency**: The number of measurement samples required by this scheme is independent of the total traffic in the network, but only related to the required estimation accuracy, so it remains efficient when the network scale expands. Through these innovations, the author hopes to fill the critical gap between low latency and high reliability in mixnets, enabling them to be widely used in scenarios such as email, instant messaging, file sharing, blockchain transactions, and general Internet access.