The error is below the soundness loss: with N = λn, Q between N^μ and N^{2μ} and past the threshold, the bound of errE_le gives 24 √(7 e) ≤ σ^a (N^{μa} ε^{clB/2} +…

Initializing...

The error is below the soundness loss: with N = λn, Q between N^μ and N^{2μ} and past the threshold, the bound of errE_le gives 24 √(7 e) ≤ σ^a (N^{μa} ε^{clB/2} +… · Prove2Me