Crate halo2curves_axiom

Re-exports

• pub use ff;
• pub use group;
• pub use pairing;

Modules

• bls12_381
  bls12_381
• bn256
• ed25519
• ff_ext
• fft
• grumpkin
• hash_to_curve
• msm
• multicore
• pasta
• pluto_eris
  Pluto\Eris half-pairing ccyle
• secp256k1
• secp256r1
• secq256k1
• serde

Macros

• endo
• extend_field_legendre
• field_arithmetic
• field_arithmetic_7_limbs
• field_bits
• field_bits_7_limbs
• field_common
• field_common_7_limbs
• field_specific
• field_specific_7_limbs
• impl_add_binop_specify_output
• impl_binops_additive
• impl_binops_additive_specify_output
• impl_binops_multiplicative
• impl_binops_multiplicative_mixed
• impl_from_u64
• impl_from_u64_7_limbs
• impl_sub_binop_specify_output
• impl_sum_prod
• new_curve_impl
• serialize_deserialize_32_byte_primefield
  A macro to help define serialization and deserialization for prime field implementations that use 32-byte representations. This assumes the concerned type implements PrimeField (for from_repr, to_repr).

Structs

• Coordinates
  The affine coordinates of a point on an elliptic curve.

Traits

• CurveAffine
  This trait is the affine counterpart to Curve and is used for serialization, storage in memory, and inspection of $x$ and $y$ coordinates.
• CurveAffineExt
• CurveExt
  This trait is a common interface for dealing with elements of an elliptic curve group in a “projective” form, where that arithmetic is usually more efficient.