estimator.prob

Description

Functions

amplify(target_success_probability, ...[, ...])	Return the number of trials needed to amplify current success_probability to target_success_probability
amplify_sigma(target_advantage, sigma, q)	Amplify distinguishing advantage for a given σ and q
babai(r, norm)	Babai probability following [EPRINT:Wun16].
drop(n, h, k[, fail, rotations])	Probability that k randomly sampled components have fail non-zero components amongst them.
mitm_babai_probability(r, stddev, q[, fast])	Compute the "e-admissibility" probability associated to the mitm step, according to [EPRINT:SonChe19]