Certified Randomness with Optimal Rate
This work defines and construct a proof of conditional min-entropy, which certifies optimal min-entropy even conditioned on an adversarially chosen transcript, and shows an application of this primitive to randomness beacons, where each pulse should have high min-entropy conditioned on all previous messages.