Author: @Marcin Pawlowski

Motivation

This document tries to answer questions related with running a Crypsinous consensus protocol on top of the mixnet. The aim is to give some rationale for setting up the parameters of the initial version of the mixnet. However, the answers provided are not final and strict and are expected to change (to be more precise) as a consequence of future research.

Ouroboros Crypsinous Messaging Model

A network consist of of $N$ nodes.

For each slot a single leader is selected and broadcasts a proposal.

The messaging frequency is: $F=1/T_{slot}$.

A default slot time is 20 seconds: $T_{slot} = 20 [s]$.

Therefore, the normalized message frequency is: $F_N=3\ [msg/min]$.

Loopix Mixnet Messaging Model

A mixnet consist of $M$ nodes selected out of $N$ nodes.

The nodes from the set of $M$ nodes are assigned to $l$ layers.

A user transmits a message through the mixnet, where the message is relayed through the $l$ layers of mixnet nodes.

There is an average delay
$\mu$ for mixnet node - parameter for exponential distribution.

There is a incoming traffic ratio $\lambda$.

The number of messages in each mix node at any time is on average $\lambda / \mu$.

The $\lambda / \mu \geq 2$ ratio is considered good for the anonymity, as stated in the Loopix paper.

Each mixnet $m_i$ node on the path introduces a natural delay $\delta^N_i$, which is a sum of network and computing delays.

Each mixnet $m_i$ node on the path introduces a user delay $\delta^U_i$, which is defined by the user and drawn from a certain distribution (Poisson).

Mixnet user generates a loop traffic at rate $\lambda_L$. The loop traffic passes through the mixnet and returns back to the user.