diff --git a/src/eddsa.rs b/src/eddsa.rs index 06a5e8d..4244a5c 100644 --- a/src/eddsa.rs +++ b/src/eddsa.rs @@ -75,7 +75,7 @@ pub struct SigningKey { public_key: PublicKey, } -impl SigningKey +impl SigningKey where TE::BaseField: PrimeField + Absorb, { @@ -138,7 +138,7 @@ where } } -impl PublicKey +impl PublicKey where TE::BaseField: PrimeField + Absorb, { diff --git a/src/lib.rs b/src/lib.rs index 21abb04..c90c782 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -56,7 +56,7 @@ mod test { PoseidonConfig::new(full_rounds, partial_rounds, 5, mds, ark, rate, 1) } - fn run_test() + fn run_test() where TE::BaseField: Absorb + PrimeField, { diff --git a/src/signature.rs b/src/signature.rs index d3ac897..ea093d2 100644 --- a/src/signature.rs +++ b/src/signature.rs @@ -5,12 +5,12 @@ use ark_serialize::CanonicalSerialize; #[derive(Clone, Copy, Debug)] /// `SignatureComponents` contains the realized parts of a signature -pub struct Signature { +pub struct Signature { r: Affine, s: TE::ScalarField, } -impl Signature { +impl Signature { /// Serializes the signature components to bytes as uncompressed. /// Expect output size to be `size_of(TE::BaseField) * 2 + size_of(TE::ScalarField)` pub fn to_bytes(&self) -> Vec {