arnaucube 3 months ago
parent
commit
0a9ea7ac1d
2 changed files with 7 additions and 11 deletions
  1. +3
    -2
      src/eddsa.rs
  2. +4
    -9
      src/signature.rs

+ 3
- 2
src/eddsa.rs

@ -4,8 +4,9 @@ use ark_crypto_primitives::sponge::{
Absorb, CryptographicSponge,
};
use ark_ec::{
twisted_edwards::{Affine, TECurveConfig},
AffineRepr, CurveGroup,
// twisted_edwards::{Affine, TECurveConfig},
AffineRepr,
CurveGroup,
};
use ark_ff::{BigInteger, PrimeField};
use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};

+ 4
- 9
src/signature.rs

@ -1,8 +1,5 @@
use ark_ec::twisted_edwards::Affine;
use ark_ec::twisted_edwards::TECurveConfig;
use ark_ec::CurveGroup;
use ark_serialize::CanonicalDeserialize;
use ark_serialize::CanonicalSerialize;
use ark_ec::{AffineRepr, CurveGroup};
use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};
/// `SignatureComponents` contains the realized parts of a signature
#[derive(Copy, Clone, Debug, PartialEq, CanonicalSerialize, CanonicalDeserialize)]
@ -12,7 +9,6 @@ pub struct Signature {
}
impl<C: CurveGroup + Clone> Signature<C> {
/*
/// Serializes the signature components to bytes as uncompressed.
/// Expect output size to be `size_of(C::BaseField) * 2 + size_of(C::ScalarField)`
pub fn to_bytes(&self) -> Vec<u8> {
@ -25,8 +21,8 @@ impl Signature {
/// Checked deserialization of the signature components from bytes.
/// Expects input size to be `size_of(C::BaseField) * 2 + size_of(C::ScalarField)`
pub fn from_bytes(bytes: &[u8]) -> Result<Self, Box<dyn ark_std::error::Error>> {
let point_size = C::Affine::Config::serialized_size(ark_serialize::Compress::No);
(bytes.len() == 32 + C::Affine::Config::serialized_size(ark_serialize::Compress::No))
let point_size = C::Affine::generator().serialized_size(ark_serialize::Compress::No);
(bytes.len() == 32 + point_size)
.then_some(true)
.ok_or(ark_serialize::SerializationError::InvalidData)?;
@ -37,7 +33,6 @@ impl Signature {
let s = C::ScalarField::deserialize_uncompressed(&bytes[off1..off2])?;
Ok(Signature { r, s })
}
*/
pub fn new(r: C::Affine, s: C::ScalarField) -> Self {
Self { r, s }

Loading…
Cancel
Save