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

Constant tobytes of Fp is in the wrong direction (#108)

Browse Source
This commit is contained in:
onewayfunc
2022-10-30 15:03:44 -07:00
committed by GitHub
parent f30b173d0d
commit 38b0057319
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/fields/fp/mod.rs
View File

@@ -920,7 +920,7 @@ impl<F: PrimeField> ToBytesGadget<F> for FpVar<F> {
fn to_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError> { fn to_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError> {
match self { match self {
Self::Constant(c) => Ok(UInt8::constant_vec( Self::Constant(c) => Ok(UInt8::constant_vec(
c.into_bigint().to_bytes_be().as_slice(), c.into_bigint().to_bytes_le().as_slice(),
)), )),
Self::Var(v) => v.to_bytes(), Self::Var(v) => v.to_bytes(),
} }
@@ -930,7 +930,7 @@ impl<F: PrimeField> ToBytesGadget<F> for FpVar<F> {
fn to_non_unique_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError> { fn to_non_unique_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError> {
match self { match self {
Self::Constant(c) => Ok(UInt8::constant_vec( Self::Constant(c) => Ok(UInt8::constant_vec(
c.into_bigint().to_bytes_be().as_slice(), c.into_bigint().to_bytes_le().as_slice(),
)), )),
Self::Var(v) => v.to_non_unique_bytes(), Self::Var(v) => v.to_non_unique_bytes(),
} }

2
src/pairing/bls12/mod.rs
View File

@@ -8,7 +8,7 @@ use crate::{
}; };
use ark_ec::bls12::{Bls12, Bls12Parameters, TwistType}; use ark_ec::bls12::{Bls12, Bls12Parameters, TwistType};
use ark_ff::BitIteratorBE; use ark_ff::BitIteratorBE;
use core::marker::PhantomData; use ark_std::marker::PhantomData;
/// Specifies the constraints for computing a pairing in a BLS12 bilinear group. /// Specifies the constraints for computing a pairing in a BLS12 bilinear group.
pub struct PairingVar<P: Bls12Parameters>(PhantomData<P>); pub struct PairingVar<P: Bls12Parameters>(PhantomData<P>);