// -------------------------------------------------------------------------------------------------
// Copyright (C) 2015-2026 Nautech Systems Pty Ltd. All rights reserved.
// https://nautechsystems.io
//
// Licensed under the GNU Lesser General Public License Version 3.0 (the "License");
// You may not use this file except in compliance with the License.
// You may obtain a copy of the License at https://www.gnu.org/licenses/lgpl-3.0.en.html
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
// -------------------------------------------------------------------------------------------------
//! Field arithmetic underpinning Lighter's L2 signing scheme.
//!
//! - [`Fp`] is the Goldilocks prime field `GF(p)` with `p = 2^64 - 2^32 + 1`.
//! - [`Fp5`] is the quintic extension `GF(p^5)`, defined over [`Fp`] with the
//! irreducible polynomial `z^5 - 3`.
//!
//! Both types expose constant-time arithmetic and canonical little-endian byte
//! encodings, suitable for direct reuse from the Poseidon2 hash and the ecgfp5
//! curve layers built on top.
pub use ;
pub use Fp5;