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 multicommit implements commitment expansion.

Package rangecheck implements range checking gadget This package chooses the most optimal path for performing range checks: - if the backend supports native range checking and the frontend exports the variables in the proprietary format by implementing [frontend.Rangechecker], then use it directly; - if the backend supports creating a commitment of variables by implementing [frontend.Committer], then we use the log-derivative variant [[Haböck22]] of the product argument as in [[BCG+18]] .

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

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

RegisterHints register all gnark/std hints In the case where the Solver/Prover code is loaded alongside the circuit, this is not useful.