Package algebra implements: - base finite field 𝔽p arithmetic, - extension finite fields arithmetic (𝔽p², 𝔽p⁴, 𝔽p⁶, 𝔽p¹², 𝔽p²⁴), - short Weierstrass curve arithmetic over G1 (E/𝔽p) and G2 (Eₜ/𝔽p² or Eₜ/𝔽p⁴) - twisted Edwards curve arithmetic These arithmetic operations are implemented - using native field via the 2-chains BLS12-377/BW6-761 and BLS24-315/BW-633 (`native/`) or associated twisted Edwards (e.g.

Package evmprecompiles implements the Ethereum VM precompile contracts.

Package hash provides an interface that hash functions (as gadget) should implement.

Package recursion provides in-circuit verifiers for different proofs systems.

Package selector provides a lookup table and map, based on linear scan.