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

Allow CS being none for into_edwards (#15)

Browse Source
This commit is contained in:
Weikeng Chen
2020-11-16 00:11:35 -08:00
committed by GitHub
parent f4691621ee
commit 18824c0c83
1 changed files with 19 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -112,15 +112,26 @@ mod montgomery_affine_impl {
#[tracing::instrument(target = "r1cs")] #[tracing::instrument(target = "r1cs")]
pub fn into_edwards(&self) -> Result<AffineVar<P, F>, SynthesisError> { pub fn into_edwards(&self) -> Result<AffineVar<P, F>, SynthesisError> {
let cs = self.cs(); let cs = self.cs();
let mode = if cs.is_none() {
AllocationMode::Constant
} else {
AllocationMode::Witness
};
// Compute u = x / y // Compute u = x / y
let u = F::new_witness(ark_relations::ns!(cs, "u"), || { let u = F::new_variable(
let y_inv = self ark_relations::ns!(cs, "u"),
.y || {
.value()? let y_inv = self
.inverse() .y
.ok_or(SynthesisError::DivisionByZero)?; .value()?
Ok(self.x.value()? * &y_inv) .inverse()
})?; .ok_or(SynthesisError::DivisionByZero)?;
Ok(self.x.value()? * &y_inv)
},
mode,
)?;
u.mul_equals(&self.y, &self.x)?; u.mul_equals(&self.y, &self.x)?;