arnaucube/ark-r1cs-std
1
0
Fork 0
mirror of https://github.com/arnaucube/ark-r1cs-std.git synced 2026-01-09 07:21:29 +01:00
Code Issues Projects Releases Wiki Activity

Allow CS being none for into_edwards (#16)

Browse Source 
* allow cs being none for into_edwards
This commit is contained in:
Weikeng Chen
2020-11-16 01:39:07 -08:00
committed by GitHub
parent 18824c0c83
commit edc9a8ce02
1 changed files with 11 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
src/groups/curves/twisted_edwards/mod.rs
View File

@@ -135,14 +135,18 @@ mod montgomery_affine_impl {
u.mul_equals(&self.y, &self.x)?;
let v = F::new_witness(ark_relations::ns!(cs, "v"), || {
let mut t0 = self.x.value()?;
let mut t1 = t0;
t0 -= &P::BaseField::one();
t1 += &P::BaseField::one();
let v = F::new_variable(
ark_relations::ns!(cs, "v"),
|| {
let mut t0 = self.x.value()?;
let mut t1 = t0;
t0 -= &P::BaseField::one();
t1 += &P::BaseField::one();
Ok(t0 * &t1.inverse().ok_or(SynthesisError::DivisionByZero)?)
})?;
Ok(t0 * &t1.inverse().ok_or(SynthesisError::DivisionByZero)?)
},
mode,
)?;
let xplusone = &self.x + P::BaseField::one();
let xminusone = &self.x - P::BaseField::one();