Crate halo2curves

Source

Re-exports§

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

Modules§

bls12381
bn256
ff_ext
fft
grumpkin
hash_to_curve
msm
pasta
pluto_eris
Pluto\Eris half-pairing cycle
secp256k1
secp256r1
secq256k1
serde

Macros§

endo
extend_field_legendre
field_bits
impl_add_binop_specify_output
impl_binops_additive
impl_binops_additive_specify_output
impl_binops_calls
impl_binops_multiplicative
impl_binops_multiplicative_mixed
impl_cyclotomic_square
impl_from_bool
impl_from_u64
impl_gt
impl_miller_loop_components
impl_sub_binop_specify_output
impl_sum_prod
impl_tower2
impl_tower2_from_uniform_bytes
new_curve_impl
serialize_deserialize_primefield
A macro to help define serialization and deserialization for prime field implementations that use `$field::Repr`` 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.
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.