Optimizing Linear Correctors: A Tight Output Min-Entropy Bound and Selection Technique. (arXiv:2304.05306v1 [cs.CR])

Post-processing of the raw bits produced by a true random number generator
(TRNG) is always necessary when the entropy per bit is insufficient for
security applications. In this paper, we derive a tight bound on the output
min-entropy of the algorithmic post-processing module based on linear codes,
known as linear correctors. Our bound is based on the codes' weight
distributions, and we prove that it holds even for the real-world noise sources
that produce independent but not identically distributed bits. …

applications bits distributed distributions entropy generator prove random security world