saymrwulf/pasta_curves-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/pasta_curves-source.git synced 2026-09-06 20:20:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Recover from OpeningProof::create() failure in PLONK prover

Browse source
This commit is contained in:
therealyingtong 2020-09-19 23:19:30 +08:00
parent 69a612fb59
commit 33261ec1a0
No known key found for this signature in database
GPG key ID: 179F32A1503D607E
1 changed files with 3 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
src/plonk/prover.rs
View file

@ -578,18 +578,11 @@ impl<C: CurveAffine> Proof<C> {
} }
}); });
} }
let opening = OpeningProof::create(&params, &mut transcript, &f_poly, f_blind_dup, x_6);
// Check U if opening.is_ok() {
let u_x = transcript.clone().squeeze();
// y^2 = x^3 + B
let u_y2 = u_x.square() * &u_x + &C::b();
if let Some(_) = u_y2.deterministic_sqrt() {
final_q_evals = q_evals; final_q_evals = q_evals;
let opening = break opening.unwrap();
OpeningProof::create(&params, &mut transcript, &f_poly, f_blind_dup, x_6)
.unwrap();
break opening;
} else { } else {
f_blind += C::Scalar::one(); f_blind += C::Scalar::one();
f_commitment = (f_commitment + params.h).to_affine(); f_commitment = (f_commitment + params.h).to_affine();