logos-co / nomos-specs

Nomos related specification and documentation
2 stars 2 forks source link

WIP: Mixnet: Update spec for NomMix #98

Closed youngjoon-lee closed 1 day ago

youngjoon-lee commented 3 weeks ago

Reference: NomMix: Peer-to-Peer Mix Network over Gossip Channel

Now, the spec is much simpler.

This spec will be used for the NomMix simulation. I'm already working on it.

TODO (Written as TODO commented in the source code):

youngjoon-lee commented 1 day ago

I just opened a new PR #109 that moves the previous mixnet spec into a new deprecated/ directory to make the repo clean. Once the PR is merged, I will rebase this PR to the new master, so that this PR can add new spec files to the new mixnet/ directory. Until then, I am marking this PR as a draft.

youngjoon-lee commented 1 day ago

Closing this, as we discussed in Discord. The executable spec needs to be written with the technical spec, after the design is verified by simulations and PoC. Although I put only clear parts of the spec in this PR, which is not likely to change during further experiments, we are not sure right now. So, let's close this PR for now, and recreate a new PR once we are ready to write the technical spec.