cqcl / cryptomite Goto Github PK

It appears that the current implementation of the Von Neumann extractor is incorrect. According to the correct method for Von Neumann extractor, the following should occur:

• For each pair of bits, if the pair is 01, append 0.
• If the pair is 10, append 1.
• Pairs 00 and 11 are discarded.

The current implementation does the inverse.

cc: @Belaloui @idriss-hamadi

The extractor described by Hayashi and Tsurumaru (see https://arxiv.org/pdf/1311.5322.pdf) can be implemented using the Number Theoretic Transform (NTT) already available in cryptomite.

By rewriting the Trevisan extractor in JAX, we can run the extractor on the GPU.

Right now the extractors inputs and outputs python list of booleans. This is 1) not the most compact 2) not the most readable. We can create a new class behaves like it has type List[bool], but stores the bits compactly as bytes, and exports to different formats.

Then we adapt the extractors to output bits in this format.