network privacy and mixnet

research

  • Progress on the Mixnet implementation specification, with particular emphasis on integration on the rest of the system.
  • Discussing and analyzing possible strategies for cover traffic specially tailored to the consensus algorithm.

development

testnet

development

private PoS

research

  • We consider leader election in PoS observed over some period of time by an adversary who wants to learn its stake with high “accuracy” and high “confidence”.
  • For the probability of stake greater than some threshold derived rigorous lower and upper bounds on this probability.
  • For the same probability considered an asymptotic long-time regime and developed a mathematical framework for this regime. 
  • Verification of above results by simulations is in progress. 
  • The above will be a part of the  framework which will be used to get a more accurate estimate of the number of layers which are required to reduce anonymity failures in the mixnet. More details provided here
  • Analyzed how stake splitting affected leader rates in Crypsinous: Stake Splitting in Praos

data availability

research

  • Designed a new super-commitment structure and explained it here. After some discussions, we agreed that  prover cannot temper the column entries by adding and subtracting some values but he can reorder the column entries. The proof does not guarantee column ordering. Solution methods for this were discussed, but since the focus was on a different structure design, this development was postponed for now.
  • Thought of a different design and explained it here. The main idea of the design is to take a commitment of commitments. As a result of the investigations, the structure is thought to be working. Cryptographic proof will be worked on.
  • The newly designed structures were compared with these existing schemes. It is thought that our current design will provide the whole advantages of Avail.

development

  • Continuing DA mock implementation - splitting it into reviewable parts
  • 1D benchmarking

miscellaneous

  • The Whitepaper now contains a whole new section on Light Nodes.
  • Carnot’s role in Nomos has been updated.
  • Explanations about privacy have been expanded and adapted to include the notion of resiliency.
  • Added other sections, like Multiple Base Layers and others related to Light Nodes.
  • Added new diagrams