binius_circuits/secp256k1/mod.rs
1// Copyright 2025 Irreducible Inc.
2//! Implementation of secp256k1 elliptic curve group operations.
3//!
4//! Points are represented either in affine form as a `(x, y)` coordinate tuple
5//! satisfying `y^2 = x^3 + 7`, or in Jacobian weighted projective coordinate system
6//! where a tuple `(x, y, z)` corresponds to a tuple `(x/z^2, y/z^3)` in affine form.
7mod common;
8mod curve;
9mod endosplit;
10mod point;
11
12#[cfg(test)]
13mod tests;
14
15pub use common::{N_LIMBS, coord_lambda, coord_zero};
16pub use curve::Secp256k1;
17pub use endosplit::Secp256k1EndosplitHint;
18pub use point::{Secp256k1Affine, select};