SYMBOL INDEX (2854 symbols across 182 files)

FILE: .claude/skills/benchmarking-cairo/profile.py
  function _check_tool (line 46) | def _check_tool(name: str) -> str:
  function _fail (line 56) | def _fail(code: int, msg: str) -> None:
  function _run (line 62) | def _run(
  function _git_short_hash (line 70) | def _git_short_hash(repo_root: str) -> str:
  function _profile_filename (line 85) | def _profile_filename(
  function _find_package_dir (line 126) | def _find_package_dir(repo_root: str, package: str) -> str:
  function _step_snforge (line 141) | def _step_snforge(pkg_dir: str, test_filter: str, tracked_resource: str)...
  function _step_scarb (line 163) | def _step_scarb(pkg_dir: str, executable: str, args_file: str) -> None:
  function _find_trace_snforge (line 182) | def _find_trace_snforge(pkg_dir: str, test_filter: str) -> str:
  function _find_trace_scarb (line 235) | def _find_trace_scarb(pkg_dir: str, package: str) -> str:
  function _step_build_profile (line 252) | def _step_build_profile(trace_path: str, output_path: str) -> None:
  function _step_view_profile (line 276) | def _step_view_profile(profile_path: str, sample_name: str) -> None:
  function _step_export_png (line 292) | def _step_export_png(
  function build_parser (line 330) | def build_parser() -> argparse.ArgumentParser:
  function main (line 388) | def main() -> int:
  function _find_repo_root (line 471) | def _find_repo_root() -> str:

FILE: .claude/skills/cairo-coding/bounded_int_calc.py
  function validate_felt252 (line 23) | def validate_felt252(value: int, name: str) -> None:
  function format_bound (line 33) | def format_bound(value: int) -> str:
  function calc_add (line 40) | def calc_add(a_lo: int, a_hi: int, b_lo: int, b_hi: int) -> tuple[int, i...
  function calc_sub (line 47) | def calc_sub(a_lo: int, a_hi: int, b_lo: int, b_hi: int) -> tuple[int, i...
  function calc_mul (line 54) | def calc_mul(a_lo: int, a_hi: int, b_lo: int, b_hi: int) -> tuple[int, i...
  function calc_div (line 69) | def calc_div(
  function generate_add_impl (line 98) | def generate_add_impl(a_lo: int, a_hi: int, b_lo: int, b_hi: int, name: ...
  function generate_sub_impl (line 109) | def generate_sub_impl(a_lo: int, a_hi: int, b_lo: int, b_hi: int, name: ...
  function generate_mul_impl (line 120) | def generate_mul_impl(a_lo: int, a_hi: int, b_lo: int, b_hi: int, name: ...
  function generate_div_impl (line 131) | def generate_div_impl(a_lo: int, a_hi: int, b_lo: int, b_hi: int, name: ...
  function main (line 145) | def main():

FILE: .github/scripts/declare_maintained_contracts.py
  class Network (line 23) | class Network(Enum):
    method to_starknet_chain_id (line 27) | def to_starknet_chain_id(self):
  function get_account (line 36) | def get_account(network: Network):
  function declare_contract_from_path (line 51) | async def declare_contract_from_path(path: Path, network: Network):
  function declare_contract_from_path_both_networks (line 57) | async def declare_contract_from_path_both_networks(path: Path):
  function main (line 63) | async def main():

FILE: .github/scripts/verify_contracts.py
  class Network (line 17) | class Network(Enum):
    method get_rpc_url (line 21) | def get_rpc_url(self):
  function get_class_hash_from_generator (line 25) | def get_class_hash_from_generator():
  function verify_network (line 41) | async def verify_network(network: Network, class_hash: str):
  function verify_ecip_contract (line 59) | async def verify_ecip_contract():
  function verify_contract_from_path (line 69) | async def verify_contract_from_path(path: Path):

FILE: hydra/garaga/algebra.py
  class PyFelt (line 13) | class PyFelt:
    method felt (line 32) | def felt(self) -> PyFelt:
    method __repr__ (line 35) | def __repr__(self) -> str:
    method __add__ (line 41) | def __add__(self, right: PyFelt | int) -> PyFelt:
    method __neg__ (line 49) | def __neg__(self) -> PyFelt:
    method __sub__ (line 53) | def __sub__(self, right: PyFelt | int) -> PyFelt:
    method __mul__ (line 61) | def __mul__(self, right: PyFelt | int) -> PyFelt:
    method __rmul__ (line 69) | def __rmul__(self, left: PyFelt | int) -> PyFelt:
    method __inv__ (line 72) | def __inv__(self) -> PyFelt:
    method __truediv__ (line 79) | def __truediv__(self, right: PyFelt) -> PyFelt:
    method __pow__ (line 85) | def __pow__(self, exponent: int) -> PyFelt:
    method __eq__ (line 88) | def __eq__(self, other: object) -> bool:
    method __lt__ (line 95) | def __lt__(self, other: PyFelt | int) -> bool:
    method __le__ (line 102) | def __le__(self, other: PyFelt | int) -> bool:
    method __gt__ (line 109) | def __gt__(self, other: PyFelt | int) -> bool:
    method __ge__ (line 116) | def __ge__(self, other: PyFelt | int) -> bool:
    method __rlt__ (line 123) | def __rlt__(self, left: int) -> bool:
    method __rle__ (line 126) | def __rle__(self, left: int) -> bool:
    method __rgt__ (line 129) | def __rgt__(self, left: int) -> bool:
    method __rge__ (line 132) | def __rge__(self, left: int) -> bool:
    method __ne__ (line 135) | def __ne__(self, other: object) -> bool:
    method __radd__ (line 138) | def __radd__(self, left: PyFelt | int) -> PyFelt:
    method __rsub__ (line 141) | def __rsub__(self, left: PyFelt | int) -> PyFelt:
    method __rtruediv__ (line 144) | def __rtruediv__(self, left: PyFelt | int) -> PyFelt:
    method is_quad_residue (line 147) | def is_quad_residue(self) -> bool:
    method sqrt (line 152) | def sqrt(self, min_root: bool = True) -> PyFelt:
  class Fp2 (line 163) | class Fp2:
    method __post_init__ (line 167) | def __post_init__(self):
    method p (line 171) | def p(self) -> int:
    method value (line 175) | def value(self) -> tuple[int, int]:
    method random (line 179) | def random(p: int, max_value: int = None) -> Fp2:
    method one (line 191) | def one(p: int) -> Fp2:
    method zero (line 195) | def zero(p: int) -> Fp2:
    method __repr__ (line 198) | def __repr__(self) -> str:
    method __add__ (line 201) | def __add__(self, other: Fp2) -> Fp2:
    method __eq__ (line 207) | def __eq__(self, other: object) -> bool:
    method __neg__ (line 213) | def __neg__(self) -> Fp2:
    method __sub__ (line 216) | def __sub__(self, other: Fp2) -> Fp2:
    method __mul__ (line 219) | def __mul__(self, other: Fp2 | PyFelt | int) -> Fp2:
    method __rmul__ (line 234) | def __rmul__(self, other):
    method __truediv__ (line 237) | def __truediv__(self, other):
    method __rtruediv__ (line 245) | def __rtruediv__(self, other) -> Fp2:
    method __inv__ (line 253) | def __inv__(self) -> Fp2:
    method __pow__ (line 259) | def __pow__(self, p: int) -> Fp2:
    method norm (line 291) | def norm(self) -> PyFelt:
    method legendre (line 294) | def legendre(self) -> int:
    method is_quad_residue (line 298) | def is_quad_residue(self) -> bool:
    method sqrt (line 301) | def sqrt(self) -> Fp2:
    method lexicographically_largest (line 325) | def lexicographically_largest(self) -> bool:
  class BaseField (line 335) | class BaseField:
    method __call__ (line 338) | def __call__(self, integer: int) -> PyFelt:
    method zero (line 341) | def zero(self) -> PyFelt:
    method one (line 344) | def one(self) -> PyFelt:
    method random (line 347) | def random(self, max_value: int = None) -> PyFelt:
    method type (line 353) | def type(self) -> type[PyFelt]:
  class BaseFp2Field (line 358) | class BaseFp2Field:
    method __call__ (line 361) | def __call__(self, a: tuple[int, int] | int) -> Fp2:
    method zero (line 368) | def zero(self) -> Fp2:
    method one (line 371) | def one(self) -> Fp2:
    method random (line 374) | def random(self) -> Fp2:
    method type (line 378) | def type(self) -> type[Fp2]:
  class ModuloCircuitElement (line 383) | class ModuloCircuitElement:
    method value (line 398) | def value(self) -> int:
    method p (line 402) | def p(self) -> int:
    method felt (line 406) | def felt(self) -> PyFelt:
  class Polynomial (line 410) | class Polynomial(Generic[T]):
    method __init__ (line 442) | def __init__(self, coefficients: list[T], raw_init: tuple = None):
    method _raw_init (line 458) | def _raw_init(
    method _initialize (line 474) | def _initialize(
    method __repr__ (line 484) | def __repr__(self) -> str:
    method print_as_sage_poly (line 490) | def print_as_sage_poly(self, var_name: str = "z", as_hex: bool = False...
    method __getitem__ (line 517) | def __getitem__(self, i: int) -> PyFelt:
    method __len__ (line 523) | def __len__(self) -> int:
    method degree (line 526) | def degree(self) -> int:
    method get_coeffs (line 532) | def get_coeffs(self) -> list[T]:
    method get_value_coeffs (line 540) | def get_value_coeffs(self) -> list[int]:
    method differentiate (line 546) | def differentiate(self) -> "Polynomial":
    method __add__ (line 570) | def __add__(self, other: Polynomial) -> Polynomial:
    method __neg__ (line 597) | def __neg__(self) -> "Polynomial":
    method __sub__ (line 609) | def __sub__(self, other: Polynomial) -> Polynomial:
    method __mul__ (line 637) | def __mul__(
    method __rmul__ (line 701) | def __rmul__(
    method __truediv__ (line 706) | def __truediv__(self, other):
    method __floordiv__ (line 713) | def __floordiv__(self, other: "Polynomial") -> "Polynomial":
    method __mod__ (line 717) | def __mod__(self, other: "Polynomial") -> "Polynomial":
    method __divmod__ (line 721) | def __divmod__(self, denominator: "Polynomial") -> tuple[Polynomial, P...
    method __eq__ (line 777) | def __eq__(self, other: object) -> bool:
    method __neq__ (line 789) | def __neq__(self, other: object) -> bool:
    method leading_coefficient (line 792) | def leading_coefficient(self) -> PyFelt:
    method is_zero (line 795) | def is_zero(self) -> bool:
    method zero (line 804) | def zero(p: int, type: type[T] = PyFelt) -> "Polynomial[T]":
    method one (line 813) | def one(p: int, type: type[T] = PyFelt) -> "Polynomial[T]":
    method evaluate (line 821) | def evaluate(self, point: PyFelt | Fp2) -> PyFelt | Fp2:
    method __pow__ (line 832) | def __pow__(self, exponent: int) -> "Polynomial":
    method pow (line 842) | def pow(self, exponent: int, modulo_poly: "Polynomial") -> "Polynomial":
    method inv (line 857) | def inv(self, modulo_poly: "Polynomial") -> "Polynomial":
    method xgcd (line 876) | def xgcd(x: Polynomial, y: Polynomial) -> tuple[Polynomial, Polynomial...
    method lagrange_interpolation (line 918) | def lagrange_interpolation(
    method sparsity (line 952) | def sparsity(self) -> list[int]:
  function get_sparsity (line 956) | def get_sparsity(X: list[PyFelt | ModuloCircuitElement]) -> list[int]:
  class RationalFunction (line 975) | class RationalFunction(Generic[T]):
    method field (line 980) | def field(self) -> BaseField | BaseFp2Field:
    method zero (line 984) | def zero(cls, p: int, type: type[T] = PyFelt) -> "RationalFunction[T]":
    method one (line 988) | def one(cls, p: int, type: type[T] = PyFelt) -> "RationalFunction[T]":
    method simplify (line 991) | def simplify(self) -> "RationalFunction":
    method __add__ (line 1000) | def __add__(self, other: "RationalFunction") -> "RationalFunction":
    method __mul__ (line 1006) | def __mul__(self, other: int | PyFelt) -> "RationalFunction":
    method evaluate (line 1015) | def evaluate(self, x: PyFelt | Fp2) -> PyFelt | Fp2:
    method degrees_infos (line 1018) | def degrees_infos(self) -> dict[str, int]:
  class FunctionFelt (line 1026) | class FunctionFelt(Generic[T]):
    method field (line 1032) | def field(self) -> BaseField | BaseFp2Field:
    method zero (line 1036) | def zero(cls, p: int, type: type[T] = PyFelt) -> "FunctionFelt[T]":
    method one (line 1040) | def one(cls, p: int, type: type[T] = PyFelt) -> "FunctionFelt[T]":
    method simplify (line 1043) | def simplify(self) -> "FunctionFelt":
    method __add__ (line 1046) | def __add__(self, other: "FunctionFelt") -> "FunctionFelt":
    method __mul__ (line 1049) | def __mul__(self, other: PyFelt | int) -> "FunctionFelt":
    method __rmul__ (line 1052) | def __rmul__(self, other: PyFelt | int) -> "FunctionFelt":
    method evaluate (line 1055) | def evaluate(self, x: PyFelt | Fp2, y: PyFelt | Fp2) -> PyFelt | Fp2:
    method degrees_infos (line 1065) | def degrees_infos(self) -> dict[str, dict[str, int]]:
    method validate_degrees (line 1071) | def validate_degrees(self, msm_size: int, batched: bool = True) -> bool:
    method print_as_sage_poly (line 1083) | def print_as_sage_poly(self, var: str = "x", as_hex: bool = False) -> ...

FILE: hydra/garaga/curves.py
  class ProofSystem (line 19) | class ProofSystem(Enum):
    method supported_curves (line 25) | def supported_curves(self) -> set[int]:
  class CurveID (line 39) | class CurveID(Enum):
    method from_str (line 48) | def from_str(s: str) -> "CurveID":
    method p (line 52) | def p(self) -> int:
    method find_value_in_string (line 56) | def find_value_in_string(s: str) -> int | None:
    method get_proving_system_curve (line 70) | def get_proving_system_curve(
  class SWUParams (line 91) | class SWUParams:
  class WeierstrassCurve (line 98) | class WeierstrassCurve:
    method is_endomorphism_available (line 113) | def is_endomorphism_available(self) -> bool:
    method to_cairo_zero (line 116) | def to_cairo_zero(self) -> str:
    method to_cairo_one (line 140) | def to_cairo_one(self) -> str:
  class TwistedEdwardsCurve (line 155) | class TwistedEdwardsCurve(WeierstrassCurve):
    method __init__ (line 165) | def __init__(
    method to_weierstrass (line 219) | def to_weierstrass(self, x_twisted, y_twisted):
    method to_twistededwards (line 231) | def to_twistededwards(self, x_weirstrass: int, y_weirstrass: int):
  class PairingCurve (line 248) | class PairingCurve(WeierstrassCurve):
  function NAF (line 264) | def NAF(x):
  function jy00 (line 271) | def jy00(value: int) -> list[int]:
  function is_generator (line 471) | def is_generator(g: int, p: int) -> bool:
  function get_base_field (line 534) | def get_base_field(
  function get_irreducible_poly (line 563) | def get_irreducible_poly(curve_id: int | CurveID, extension_degree: int)...
  function replace_consecutive_zeros (line 574) | def replace_consecutive_zeros(lst):
  function recode_naf_bits (line 590) | def recode_naf_bits(lst):
  function print_nbits_and_nG_glv_fake_glv (line 626) | def print_nbits_and_nG_glv_fake_glv():
  function print_min_one_order (line 637) | def print_min_one_order():
  function print_third_root_of_unity (line 646) | def print_third_root_of_unity():

FILE: hydra/garaga/drand/client.py
  class DrandNetwork (line 17) | class DrandNetwork(Enum):
  function digest_func (line 22) | def digest_func(round_number: int) -> bytes:
  class NetworkInfo (line 31) | class NetworkInfo:
  class RandomnessBeacon (line 42) | class RandomnessBeacon:
    method signature_point (line 49) | def signature_point(self) -> G1Point | G2Point:
  function make_request (line 61) | def make_request(endpoint: str) -> requests.Response:
  function deserialize_bls_point (line 80) | def deserialize_bls_point(s_string: bytes) -> Union[G1Point, G2Point]:
  function get_chains (line 151) | def get_chains() -> List[str]:
  function get_chain_info (line 163) | def get_chain_info(chain_hash: str) -> NetworkInfo:
  function get_latest_randomness (line 187) | def get_latest_randomness(chain_hash: str) -> RandomnessBeacon:
  function get_randomness (line 192) | def get_randomness(chain_hash: str, round_number: int) -> RandomnessBeacon:
  function _parse_randomness_beacon (line 197) | def _parse_randomness_beacon(data: dict) -> RandomnessBeacon:
  function print_all_chain_info (line 207) | def print_all_chain_info() -> dict[DrandNetwork, NetworkInfo]:
  function generate_precomputed_lines_code (line 315) | def generate_precomputed_lines_code(precomputed_lines: StructArray) -> str:

FILE: hydra/garaga/drand/tlock.py
  class CipherText (line 15) | class CipherText:
    method __post_init__ (line 20) | def __post_init__(self):
    method serialize_to_cairo (line 23) | def serialize_to_cairo(self):
    method serialize_to_calldata (line 32) | def serialize_to_calldata(self) -> list[int]:
  function encrypt_for_round (line 45) | def encrypt_for_round(
  function decrypt_at_round (line 116) | def decrypt_at_round(signature_at_round: G1Point, c: CipherText):
  function expand_message_drand (line 165) | def expand_message_drand(msg: bytes, buf_size: int) -> bytes:
  function write_cairo1_test (line 189) | def write_cairo1_test(msg: bytes, round: int, network: DrandNetwork):

FILE: hydra/garaga/extension_field_modulo_circuit.py
  class EuclideanPolyAccumulator (line 22) | class EuclideanPolyAccumulator:
  class AccPolyInstructionType (line 28) | class AccPolyInstructionType(Enum):
  class AccumulatePolyInstructions (line 35) | class AccumulatePolyInstructions:
    method append (line 46) | def append(
  class ExtensionFieldModuloCircuit (line 66) | class ExtensionFieldModuloCircuit(Fp2Circuits):
    method __init__ (line 67) | def __init__(
    method _init_accumulator (line 110) | def _init_accumulator(self, extension_degree: int = None):
    method commitments (line 127) | def commitments(self):
    method circuit_input (line 134) | def circuit_input(self):
    method create_lines_z_powers (line 140) | def create_lines_z_powers(self, z: PyFelt, add_extf_power: bool = False):
    method create_powers_of_Z (line 186) | def create_powers_of_Z(
    method eval_poly_in_precomputed_Z (line 209) | def eval_poly_in_precomputed_Z(
    method extf_mul (line 294) | def extf_mul(
    method extf_div (line 335) | def extf_div(
    method extf_inv (line 357) | def extf_inv(
    method conjugate_e12d (line 388) | def conjugate_e12d(
    method update_LHS_state (line 407) | def update_LHS_state(
    method update_RHS_state (line 468) | def update_RHS_state(
    method finalize_circuit (line 535) | def finalize_circuit(
    method summarize (line 641) | def summarize(self):
    method compile_circuit_cairo_zero (line 659) | def compile_circuit_cairo_zero(

FILE: hydra/garaga/hints/bls.py
  function get_root_and_scaling_factor_bls (line 58) | def get_root_and_scaling_factor_bls(mlo: E12) -> tuple[E12, E12]:

FILE: hydra/garaga/hints/ecip.py
  function get_field_type_from_ec_point (line 18) | def get_field_type_from_ec_point(P: G1Point | G2Point) -> type[T]:
  function get_ec_group_class_from_ec_point (line 32) | def get_ec_group_class_from_ec_point(P: G1Point | G2Point) -> type[G1Poi...
  function derive_ec_point_from_X (line 46) | def derive_ec_point_from_X(
  function zk_ecip_hint (line 121) | def zk_ecip_hint(
  function verify_ecip (line 172) | def verify_ecip(
  function slope_intercept (line 255) | def slope_intercept(
  function eval_point_challenge (line 276) | def eval_point_challenge(
  function eval_point_challenge_signed (line 290) | def eval_point_challenge_signed(
  function line (line 298) | def line(P: G1Point | G2Point, Q: G1Point | G2Point) -> FF[T]:
  class FF (line 347) | class FF:
    method __init__ (line 361) | def __init__(self, coeffs: list[Polynomial[T]], curve_id: CurveID):
    method degree (line 376) | def degree(self) -> int:
    method __getitem__ (line 379) | def __getitem__(self, i: int) -> Polynomial:
    method __add__ (line 385) | def __add__(self, other: FF) -> FF:
    method __mul__ (line 401) | def __mul__(self, other: "FF" | Polynomial | PyFelt) -> "FF":
    method neg_y (line 423) | def neg_y(self) -> "FF":
    method reduce (line 431) | def reduce(self) -> "FF":
    method to_poly (line 455) | def to_poly(self) -> Polynomial[T]:
    method div_by_poly (line 462) | def div_by_poly(self, poly: Polynomial[T]) -> "FF":
    method normalize (line 465) | def normalize(self) -> "FF":
  class EmptyListOfPoints (line 473) | class EmptyListOfPoints(Exception):
  function construct_function (line 477) | def construct_function(Ps: list[G1Point] | list[G2Point]) -> FF:
  function row_function (line 517) | def row_function(
  function ecip_functions (line 544) | def ecip_functions(
  function dlog (line 559) | def dlog(d: FF) -> FunctionFelt:
  function print_ff (line 646) | def print_ff(ff: FF):
  function n_points_from_n_coeffs (line 665) | def n_points_from_n_coeffs(n_coeffs: int, batched: bool) -> int:
  function n_coeffs_from_n_points (line 677) | def n_coeffs_from_n_points(n_points: int, batched: bool) -> tuple[int, i...
  function build_cairo1_tests_derive_ec_point_from_X (line 699) | def build_cairo1_tests_derive_ec_point_from_X(x: int, curve_id: CurveID,...

FILE: hydra/garaga/hints/eisenstein.py
  function _round_nearest (line 34) | def _round_nearest(z: int, d: int) -> int:
  class EisensteinInteger (line 51) | class EisensteinInteger:
    method __init__ (line 74) | def __init__(self, a0: int = 0, a1: int = 0):
    method copy (line 80) | def copy(self) -> "EisensteinInteger":
    method is_zero (line 84) | def is_zero(self) -> bool:
    method __str__ (line 87) | def __str__(self) -> str:
    method __repr__ (line 107) | def __repr__(self) -> str:
    method __eq__ (line 114) | def __eq__(self, other: object) -> bool:  # called by  z1 == z2
    method __neg__ (line 121) | def __neg__(self) -> "EisensteinInteger":  # −z
    method conjugate (line 127) | def conjugate(self) -> "EisensteinInteger":
    method __add__ (line 136) | def __add__(self, other: "EisensteinInteger") -> "EisensteinInteger":
    method __sub__ (line 139) | def __sub__(self, other: "EisensteinInteger") -> "EisensteinInteger":
    method __mul__ (line 142) | def __mul__(self, other: object) -> "EisensteinInteger":
    method norm (line 162) | def norm(self) -> int:
    method quo_rem (line 171) | def quo_rem(
    method __floordiv__ (line 217) | def __floordiv__(self, other: "EisensteinInteger") -> "EisensteinInteg...
    method __mod__ (line 220) | def __mod__(self, other: "EisensteinInteger") -> "EisensteinInteger":
  function half_gcd (line 233) | def half_gcd(

FILE: hydra/garaga/hints/extf_mul.py
  function nondeterministic_extension_field_mul_divmod (line 12) | def nondeterministic_extension_field_mul_divmod(
  function nondeterministic_square_torus (line 33) | def nondeterministic_square_torus(
  function nondeterministic_extension_field_div (line 48) | def nondeterministic_extension_field_div(
  function print_as_sage_poly (line 114) | def print_as_sage_poly(X: Polynomial, var_name="z"):

FILE: hydra/garaga/hints/fake_glv.py
  class Lattice (line 13) | class Lattice:
  function half_gcd (line 31) | def half_gcd(mod: int, input_val: int) -> Tuple[int, int]:
  function precompute_lattice (line 53) | def precompute_lattice(r: int, lam: int) -> Lattice:
  function split_scalar (line 187) | def split_scalar(s: int, l: Lattice) -> Tuple[int, int]:
  function half_gcd_eisenstein_hint (line 231) | def half_gcd_eisenstein_hint(
  function split (line 254) | def split(x):
  function get_glv_fake_glv_hint (line 258) | def get_glv_fake_glv_hint(
  function encode (line 273) | def encode(value: int) -> int:
  function encode_glv_fake_glv_hint (line 277) | def encode_glv_fake_glv_hint(
  function get_fake_glv_hint (line 284) | def get_fake_glv_hint(point: G1Point, scalar: int) -> tuple[G1Point, int...
  function scalar_mul_glv_and_fake_glv (line 299) | def scalar_mul_glv_and_fake_glv(point: G1Point, scalar: int) -> G1Point:
  function _to_bits_le (line 546) | def _to_bits_le(value: int, length: int) -> List[int]:
  function scalar_mul_fake_glv (line 554) | def scalar_mul_fake_glv(point: G1Point, scalar: int) -> G1Point:

FILE: hydra/garaga/hints/frobenius.py
  function get_p_powers_of_V (line 12) | def get_p_powers_of_V(curve_id: int, extension_degree: int, k: int) -> l...
  function get_V_torus_powers (line 45) | def get_V_torus_powers(curve_id: int, extension_degree: int, k: int) -> ...
  function frobenius (line 73) | def frobenius(
  function generate_frobenius_maps (line 100) | def generate_frobenius_maps(
  function get_frobenius_maps (line 135) | def get_frobenius_maps(curve_id, extension_degree, frob_power):
  function test_frobenius_maps (line 1026) | def test_frobenius_maps():

FILE: hydra/garaga/hints/io.py
  function assert_integer (line 8) | def assert_integer(val):
  function as_int (line 15) | def as_int(val, prime):
  function to_hex_str (line 24) | def to_hex_str(value: str | int):
  function bigint_split (line 50) | def bigint_split(
  function bytes_to_u32_array (line 72) | def bytes_to_u32_array(bytes_array: bytes, name: str) -> str:
  function to_int (line 85) | def to_int(value: str | int | bytes) -> int:
  function int_to_u2XX (line 109) | def int_to_u2XX(x: int | PyFelt, curve_id: int = 0, as_hex=True) -> str:
  function int_to_u288 (line 116) | def int_to_u288(x: int | PyFelt, as_hex=True) -> str:
  function int_to_u384 (line 124) | def int_to_u384(x: int | PyFelt, as_hex=True) -> str:
  function int_to_u256 (line 132) | def int_to_u256(x: int | PyFelt) -> str:
  function int_to_u128 (line 138) | def int_to_u128(x: int | PyFelt) -> str:
  function int_array_to_u256_array (line 143) | def int_array_to_u256_array(x: list[int] | list[PyFelt]) -> str:
  function int_array_to_u128_array (line 147) | def int_array_to_u128_array(x: list[int] | list[PyFelt]) -> str:
  function int_array_to_u384_array (line 151) | def int_array_to_u384_array(x: list[int] | list[PyFelt], const=False) ->...
  function int_array_to_u288_array (line 158) | def int_array_to_u288_array(x: list[int] | list[PyFelt], const=False) ->...
  function int_array_to_u2XX_array (line 165) | def int_array_to_u2XX_array(
  function bigint_pack (line 174) | def bigint_pack(x: object, n_limbs: int, base: int) -> int:
  function bigint_pack_ptr (line 181) | def bigint_pack_ptr(memory: object, ptr: object, n_limbs: int, base: int...
  function pack_e12d (line 188) | def pack_e12d(x: object, n_limbs: int, base: int):
  function pack_e6d (line 195) | def pack_e6d(x: object, n_limbs, base):
  function pack_bigint_array (line 203) | def pack_bigint_array(
  function pack_felt_ptr (line 212) | def pack_felt_ptr(memory: object, ptr: object, n_elements: int):
  function pack_bigint_ptr (line 219) | def pack_bigint_ptr(
  function bigint_fill (line 235) | def bigint_fill(x: int, ids: object, n_limbs: int, base: int):
  function fill_felt_ptr (line 242) | def fill_felt_ptr(x: list, memory: object, address: int):
  function fill_limbs (line 247) | def fill_limbs(limbs: list, ids: object):
  function bigint_split_array (line 257) | def bigint_split_array(
  function fill_bigint_array_into_felt_ptr (line 271) | def fill_bigint_array_into_felt_ptr(
  function fill_e6d (line 280) | def fill_e6d(x: list, ids: object, n_limbs: int, base: int):
  function fill_e12d (line 286) | def fill_e12d(x: list, ids: object, n_limbs: int, base: int):
  function fill_uint256 (line 292) | def fill_uint256(x: int, ids: object):
  function padd_function_felt (line 299) | def padd_function_felt(
  function fill_sum_dlog_div (line 330) | def fill_sum_dlog_div(f: FunctionFelt, n: int, ref: object, segments: ob...
  function fill_g1_point (line 339) | def fill_g1_point(p: tuple[int, int], ref: object):
  function flatten (line 348) | def flatten(t):
  function split_128 (line 358) | def split_128(a: int) -> tuple[int, int]:
  function rgetattr (line 366) | def rgetattr(obj, attr, *args):
  function rsetattr (line 373) | def rsetattr(obj, attr, val):

FILE: hydra/garaga/hints/keccak256.py
  function bits2bytes (line 45) | def bits2bytes(x):
  function rol (line 49) | def rol(value, left, bits):
  function multirate_padding (line 59) | def multirate_padding(used_bytes, align_bytes):
  function keccak_f (line 73) | def keccak_f(state):
  class KeccakState (line 115) | class KeccakState:
    method zero (line 129) | def zero():
    method format (line 136) | def format(st):
    method lane2bytes (line 153) | def lane2bytes(s, w):
    method bytes2lane (line 164) | def bytes2lane(bb):
    method ilist2bytes (line 174) | def ilist2bytes(bb):
    method bytes2ilist (line 181) | def bytes2ilist(ss):
    method __init__ (line 187) | def __init__(self, bitrate, b):
    method __str__ (line 200) | def __str__(self):
    method absorb (line 203) | def absorb(self, bb):
    method squeeze (line 217) | def squeeze(self):
    method get_bytes (line 223) | def get_bytes(self):
    method set_bytes (line 236) | def set_bytes(self, bb):
  class KeccakSponge (line 248) | class KeccakSponge:
    method __init__ (line 249) | def __init__(self, bitrate, width, padfn, permfn):
    method copy (line 255) | def copy(self):
    method absorb_block (line 258) | def absorb_block(self, bb):
    method absorb (line 263) | def absorb(self, s):
    method absorb_final (line 270) | def absorb_final(self):
    method squeeze_once (line 275) | def squeeze_once(self):
    method squeeze (line 280) | def squeeze(self, l):
  class KeccakHash (line 287) | class KeccakHash:
    method __init__ (line 292) | def __init__(self, bitrate_bits, capacity_bits, output_bits):
    method __repr__ (line 304) | def __repr__(self):
    method copy (line 312) | def copy(self):
    method update (line 315) | def update(self, s):
    method digest (line 318) | def digest(self):
    method hexdigest (line 324) | def hexdigest(self):
    method preset (line 328) | def preset(bitrate_bits, capacity_bits, output_bits):

FILE: hydra/garaga/hints/multi_miller_witness.py
  function get_final_exp_witness (line 11) | def get_final_exp_witness(
  function get_lambda (line 41) | def get_lambda(curve_id: CurveID) -> int:
  function get_m_dash_root (line 56) | def get_m_dash_root(f: E12) -> E12:
  function decompose_scalar_into_b_powers_and_remainder (line 93) | def decompose_scalar_into_b_powers_and_remainder(scalar: int, b: int):
  function pow_3_ord (line 109) | def pow_3_ord(a: E12):
  function find_cube_root (line 118) | def find_cube_root(a: E12, w: E12, q: int) -> E12:
  function find_c_e12 (line 142) | def find_c_e12(f: E12, w: E12) -> tuple[E12, E12]:
  function get_rth_root (line 180) | def get_rth_root(f: E12) -> E12:
  function get_27th_bn254_root (line 192) | def get_27th_bn254_root():
  function get_miller_loop_output (line 219) | def get_miller_loop_output(curve_id: CurveID, will_be_one: bool = True) ...
  function test_bn254 (line 237) | def test_bn254():

FILE: hydra/garaga/hints/neg_3.py
  function neg_3_base_le (line 1) | def neg_3_base_le(scalar: int) -> list[int]:
  function construct_digit_vectors (line 25) | def construct_digit_vectors(es: list[int]) -> list[list[int]]:
  function positive_negative_multiplicities (line 34) | def positive_negative_multiplicities(digits: list[int]) -> tuple[int, int]:
  function scalar_to_base_neg3_le (line 42) | def scalar_to_base_neg3_le(u128: int) -> tuple[int, int, int, int]:

FILE: hydra/garaga/hints/tower_backup.py
  class E2 (line 15) | class E2:
    method __str__ (line 20) | def __str__(self) -> str:
    method __eq__ (line 23) | def __eq__(self, other):
    method zero (line 27) | def zero(p: int):
    method one (line 31) | def one(p: int):
    method random (line 35) | def random(p: int):
    method felt_coeffs (line 39) | def felt_coeffs(self) -> list[PyFelt]:
    method __add__ (line 42) | def __add__(self, other):
    method __radd__ (line 47) | def __radd__(self, other):
    method __sub__ (line 50) | def __sub__(self, other):
    method __rsub__ (line 59) | def __rsub__(self, other):
    method __mul__ (line 62) | def __mul__(self, other):
    method __rmul__ (line 71) | def __rmul__(self, other):
    method __inv__ (line 74) | def __inv__(self):
    method div (line 80) | def div(self, other):
    method __pow__ (line 85) | def __pow__(self, p: int):
    method __truediv__ (line 117) | def __truediv__(self, other):
    method __rtruediv__ (line 125) | def __rtruediv__(self, other):
    method __neg__ (line 133) | def __neg__(self):
    method conjugate (line 136) | def conjugate(self):
  class E6 (line 141) | class E6:
    method __init__ (line 148) | def __init__(self, x: list[int | PyFelt | E2], curve_id: int):
    method coeffs (line 168) | def coeffs(self) -> list[int]:
    method felt_coeffs (line 172) | def felt_coeffs(self) -> list[PyFelt]:
    method value_coeffs (line 176) | def value_coeffs(self) -> list[int]:
    method from_poly (line 187) | def from_poly(poly: Polynomial, curve_id: int):
    method to_poly (line 194) | def to_poly(self) -> Polynomial:
    method zero (line 201) | def zero(curve_id: int):
    method one (line 206) | def one(curve_id: int):
    method random (line 211) | def random(curve_id: int):
    method __str__ (line 215) | def __str__(self) -> str:
    method __add__ (line 218) | def __add__(self, other):
    method __sub__ (line 226) | def __sub__(self, other):
    method __neg__ (line 234) | def __neg__(self):
    method __mul__ (line 237) | def __mul__(self, other):
    method __rmul__ (line 250) | def __rmul__(self, other):
    method __inv__ (line 253) | def __inv__(self):
    method mul_by_non_residue (line 267) | def mul_by_non_residue(self):
    method square_torus (line 270) | def square_torus(self):
    method div (line 279) | def div(self, other):
    method __pow__ (line 284) | def __pow__(self, p: int):
  class E12 (line 320) | class E12:
    method __init__ (line 325) | def __init__(self, x: list[PyFelt | int | E6], curve_id: int):
    method __hash__ (line 336) | def __hash__(self):
    method value_coeffs (line 340) | def value_coeffs(self) -> list[int]:
    method print_as_sage_poly (line 356) | def print_as_sage_poly(self, var_name: str = "x"):
    method from_poly (line 363) | def from_poly(poly: Polynomial, curve_id: int):
    method from_direct (line 371) | def from_direct(coeffs: list[PyFelt | ModuloCircuitElement], curve_id:...
    method to_poly (line 375) | def to_poly(self) -> Polynomial:
    method to_direct (line 381) | def to_direct(self) -> list[PyFelt]:
    method order (line 388) | def order(self):
    method felt_coeffs (line 392) | def felt_coeffs(self) -> list[PyFelt]:
    method one (line 396) | def one(curve_id: int):
    method zero (line 400) | def zero(curve_id: int):
    method random (line 404) | def random(curve_id: int):
    method __mul__ (line 408) | def __mul__(self, other):
    method conjugate (line 419) | def conjugate(self):
    method square (line 422) | def square(self):
    method __inv__ (line 432) | def __inv__(self):
    method div (line 441) | def div(self, other):
    method __pow__ (line 446) | def __pow__(self, p: int):
    method final_exp (line 480) | def final_exp(self, use_rust: bool = True):
    method serialize (line 493) | def serialize(self) -> bytes:
  function get_tower_object (line 504) | def get_tower_object(x: list[PyFelt], curve_id: int, extension_degree: i...

FILE: hydra/garaga/modulo_circuit.py
  class WriteOps (line 19) | class WriteOps(Enum):
  class ModBuiltinOps (line 39) | class ModBuiltinOps(Enum):
  class CairoVMOps (line 48) | class CairoVMOps(Enum):
  class ModuloCircuitInstruction (line 53) | class ModuloCircuitInstruction:
  class ValueSegmentItem (line 62) | class ValueSegmentItem:
    method value (line 68) | def value(self) -> int:
    method p (line 72) | def p(self):
    method felt (line 76) | def felt(self):
  class ValueSegment (line 81) | class ValueSegment:
    method __init__ (line 92) | def __init__(self, name: str, debug: bool = False, compilation_mode: i...
    method __len__ (line 103) | def __len__(self) -> int:
    method __getitem__ (line 106) | def __getitem__(self, key: int) -> ValueSegmentItem:
    method input (line 110) | def input(self) -> list[ModuloCircuitElement]:
    method write_to_segment (line 128) | def write_to_segment(self, item: ValueSegmentItem) -> int:
    method non_interactive_transform (line 137) | def non_interactive_transform(self) -> "ValueSegment":
    method get_dw_lookups (line 219) | def get_dw_lookups(self) -> dict:
    method print (line 267) | def print(self):
    method summarize (line 292) | def summarize(self):
  class ModuloCircuit (line 311) | class ModuloCircuit:
    method __init__ (line 326) | def __init__(
    method values_offset (line 356) | def values_offset(self) -> int:
    method output (line 360) | def output(self) -> list[ModuloCircuitElement]:
    method input (line 364) | def input(self) -> list[ModuloCircuitElement]:
    method output_structs (line 368) | def output_structs(self) -> list[Cairo1SerializableStruct]:
    method continuous_output (line 372) | def continuous_output(self) -> bool:
    method witnesses (line 380) | def witnesses(self) -> list[PyFelt]:
    method is_empty_circuit (line 387) | def is_empty_circuit(self) -> bool:
    method write_element (line 390) | def write_element(
    method write_struct (line 415) | def write_struct(
    method write_elements (line 447) | def write_elements(
    method write_cairo_native_felt (line 469) | def write_cairo_native_felt(self, native_felt: PyFelt):
    method write_sparse_constant_elements (line 480) | def write_sparse_constant_elements(
    method set_or_get_constant (line 497) | def set_or_get_constant(self, val: PyFelt | int) -> ModuloCircuitElement:
    method add (line 506) | def add(
    method sum (line 528) | def sum(self, args: list[ModuloCircuitElement], comment: str | None = ...
    method product (line 537) | def product(self, args: list[ModuloCircuitElement], comment: str | Non...
    method double (line 546) | def double(self, a: ModuloCircuitElement) -> ModuloCircuitElement:
    method mul (line 549) | def mul(
    method square (line 569) | def square(
    method neg (line 574) | def neg(
    method sub (line 583) | def sub(
    method inv (line 597) | def inv(
    method div (line 628) | def div(
    method fp_sqrt (line 647) | def fp_sqrt(self, element: ModuloCircuitElement) -> ModuloCircuitElement:
    method fp_is_non_zero (line 663) | def fp_is_non_zero(self, a: ModuloCircuitElement) -> ModuloCircuitElem...
    method vector_sub (line 730) | def vector_sub(
    method vector_scale (line 738) | def vector_scale(
    method vector_add (line 753) | def vector_add(
    method vector_neg (line 766) | def vector_neg(self, X: list[ModuloCircuitElement]) -> list[ModuloCirc...
    method sub_and_assert (line 776) | def sub_and_assert(
    method add_and_assert (line 798) | def add_and_assert(
    method mul_and_assert (line 820) | def mul_and_assert(
    method eval_horner (line 837) | def eval_horner(
    method eval_poly (line 866) | def eval_poly(
    method extend_output (line 897) | def extend_output(self, elmts: list[ModuloCircuitElement]):
    method extend_struct_output (line 906) | def extend_struct_output(self, struct: Cairo1SerializableStruct):
    method print_value_segment (line 918) | def print_value_segment(self):
    method compile_circuit (line 921) | def compile_circuit(
    method compile_circuit_cairo_zero (line 939) | def compile_circuit_cairo_zero(
    method write_cairo1_input_stack (line 1040) | def write_cairo1_input_stack(
    method fill_cairo_1_constants (line 1089) | def fill_cairo_1_constants(self) -> tuple[str, str]:
    method write_cairo1_circuit (line 1122) | def write_cairo1_circuit(self, offset_to_reference_map: dict[int, str]...
    method compile_circuit_cairo_1 (line 1162) | def compile_circuit_cairo_1(
    method summarize (line 1334) | def summarize(self):

FILE: hydra/garaga/modulo_circuit_structs.py
  class CairoOption (line 23) | class CairoOption(Enum):
  class Cairo1SerializableStruct (line 30) | class Cairo1SerializableStruct(ABC):
    method __post_init__ (line 34) | def __post_init__(self):
    method struct_name (line 52) | def struct_name(self) -> str:
    method bits (line 56) | def bits(self) -> int:
    method serialize_input_signature (line 59) | def serialize_input_signature(self) -> str:
    method serialize (line 63) | def serialize(self, raw: bool = False) -> str:
    method extract_from_circuit_output (line 67) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 73) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 77) | def __len__(self) -> int:
    method _serialize_to_calldata (line 80) | def _serialize_to_calldata(self) -> list[int]:
    method serialize_to_calldata (line 83) | def serialize_to_calldata(self, *args, **kwargs) -> list[int]:
  class StructArray (line 91) | class StructArray(Cairo1SerializableStruct, Generic[T]):
    method struct_name (line 95) | def struct_name(self) -> str:
    method dump_to_circuit_input (line 98) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 104) | def __len__(self) -> int:
    method extract_from_circuit_output (line 107) | def extract_from_circuit_output(
    method serialize (line 112) | def serialize(self, raw: bool = False, const: bool = False) -> str:
    method serialize_to_calldata (line 126) | def serialize_to_calldata(self) -> list[int]:
  class Struct (line 133) | class Struct(Cairo1SerializableStruct):
    method __init__ (line 136) | def __init__(
    method struct_name (line 143) | def struct_name(self) -> str:
    method __post_init__ (line 146) | def __post_init__(self):
    method dump_to_circuit_input (line 149) | def dump_to_circuit_input(self) -> str:
    method extract_from_circuit_output (line 152) | def extract_from_circuit_output(
    method serialize (line 157) | def serialize(self, raw: bool = False) -> str:
    method __len__ (line 170) | def __len__(self) -> int:
    method _serialize_to_calldata (line 173) | def _serialize_to_calldata(self) -> list[int]:
  class StructSpan (line 180) | class StructSpan(Cairo1SerializableStruct, Generic[T]):
    method struct_name (line 184) | def struct_name(self) -> str:
    method dump_to_circuit_input (line 187) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 196) | def __len__(self) -> int:
    method extract_from_circuit_output (line 199) | def extract_from_circuit_output(
    method serialize (line 204) | def serialize(self, raw: bool = False, is_option: bool = False) -> str:
    method _serialize_to_calldata (line 223) | def _serialize_to_calldata(
  class u384 (line 277) | class u384(Cairo1SerializableStruct):
    method serialize (line 278) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 286) | def _serialize_to_calldata(self) -> list[int]:
    method extract_from_circuit_output (line 290) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 296) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 299) | def __len__(self) -> int:
  class RSA2048Chunks (line 307) | class RSA2048Chunks(Cairo1SerializableStruct):
    method __init__ (line 308) | def __init__(self, name: str, elmts: list[ModuloCircuitElement]):
    method struct_name (line 313) | def struct_name(self) -> str:
    method serialize (line 316) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 331) | def _serialize_to_calldata(self) -> list[int]:
    method extract_from_circuit_output (line 335) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 341) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 347) | def __len__(self) -> int:
  class RSA2048ReductionWitness (line 355) | class RSA2048ReductionWitness(Cairo1SerializableStruct):
    method __init__ (line 358) | def __init__(self, name: str, elmts: list[ModuloCircuitElement]):
    method struct_name (line 363) | def struct_name(self) -> str:
    method serialize (line 366) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 382) | def _serialize_to_calldata(self) -> list[int]:
    method extract_from_circuit_output (line 386) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 391) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 398) | def __len__(self) -> int:
  class GenericT (line 402) | class GenericT(Cairo1SerializableStruct):
    method struct_name (line 406) | def struct_name(self) -> str:
    method serialize (line 409) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 421) | def _serialize_to_calldata(self) -> list[int]:
    method extract_from_circuit_output (line 428) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 433) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 436) | def __len__(self) -> int:
  class u256 (line 444) | class u256(Cairo1SerializableStruct):
    method serialize (line 445) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 453) | def _serialize_to_calldata(self) -> list[int]:
    method extract_from_circuit_output (line 457) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 462) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 465) | def __len__(self) -> int:
  class u256Span (line 473) | class u256Span(Cairo1SerializableStruct):
    method struct_name (line 475) | def struct_name(self) -> str:
    method serialize (line 478) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 485) | def _serialize_to_calldata(self) -> list[int]:
    method dump_to_circuit_input (line 490) | def dump_to_circuit_input(self) -> str:
    method extract_from_circuit_output (line 497) | def extract_from_circuit_output(
    method __len__ (line 502) | def __len__(self) -> int:
  class u128 (line 509) | class u128(Cairo1SerializableStruct):
    method serialize (line 510) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 519) | def _serialize_to_calldata(self) -> list[int]:
    method extract_from_circuit_output (line 524) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 529) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 532) | def __len__(self) -> int:
  class u128Span (line 540) | class u128Span(Cairo1SerializableStruct):
    method struct_name (line 542) | def struct_name(self) -> str:
    method serialize (line 545) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 552) | def _serialize_to_calldata(self) -> list[int]:
    method dump_to_circuit_input (line 557) | def dump_to_circuit_input(self) -> str:
    method extract_from_circuit_output (line 564) | def extract_from_circuit_output(
    method __len__ (line 569) | def __len__(self) -> int:
  class Tuple (line 576) | class Tuple(Cairo1SerializableStruct):
    method __init__ (line 579) | def __init__(self, name: str, elmts: list[Cairo1SerializableStruct]):
    method struct_name (line 584) | def struct_name(self) -> str:
    method serialize (line 587) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 595) | def _serialize_to_calldata(self) -> list[int]:
    method extract_from_circuit_output (line 601) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 606) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 619) | def __len__(self) -> int:
  class felt252 (line 623) | class felt252(Cairo1SerializableStruct):
    method serialize (line 624) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 632) | def _serialize_to_calldata(self) -> list[int]:
    method extract_from_circuit_output (line 636) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 641) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 646) | def __len__(self) -> int:
  class u384Array (line 654) | class u384Array(Cairo1SerializableStruct):
    method serialize (line 655) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 673) | def _serialize_to_calldata(self) -> list[int]:
    method struct_name (line 683) | def struct_name(self) -> str:
    method extract_from_circuit_output (line 692) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 697) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 705) | def __len__(self) -> int:
  class FunctionFeltCircuit (line 712) | class FunctionFeltCircuit(Cairo1SerializableStruct):
    method __init__ (line 713) | def __init__(self, name: str, elmts: list[u384Span]):
    method a_num (line 718) | def a_num(self) -> list[ModuloCircuitElement | PyFelt]:
    method a_den (line 722) | def a_den(self) -> list[ModuloCircuitElement | PyFelt]:
    method b_num (line 726) | def b_num(self) -> list[ModuloCircuitElement | PyFelt]:
    method b_den (line 730) | def b_den(self) -> list[ModuloCircuitElement | PyFelt]:
    method struct_name (line 734) | def struct_name(self) -> str:
    method from_FunctionFelt (line 738) | def from_FunctionFelt(
    method _serialize_to_calldata (line 754) | def _serialize_to_calldata(self) -> list[int]:
    method serialize_input_signature (line 770) | def serialize_input_signature(self) -> str:
    method serialize (line 773) | def serialize(self, raw: bool = False) -> str:
    method dump_to_circuit_input (line 780) | def dump_to_circuit_input(self) -> str:
    method extract_from_circuit_output (line 790) | def extract_from_circuit_output(
    method __len__ (line 795) | def __len__(self) -> int:
  class u384Span (line 799) | class u384Span(Cairo1SerializableStruct):
    method serialize (line 800) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 807) | def _serialize_to_calldata(self) -> list[int]:
    method struct_name (line 811) | def struct_name(self) -> str:
    method extract_from_circuit_output (line 814) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 819) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 827) | def __len__(self) -> int:
  class BLSProcessedPair (line 834) | class BLSProcessedPair(Cairo1SerializableStruct):
    method __init__ (line 835) | def __init__(self, name: str, elmts: list[ModuloCircuitElement]):
    method struct_name (line 840) | def struct_name(self) -> str:
    method serialize (line 843) | def serialize(self) -> str:
    method extract_from_circuit_output (line 847) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 853) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 859) | def __len__(self) -> int:
  class BNProcessedPair (line 867) | class BNProcessedPair(Cairo1SerializableStruct):
    method __init__ (line 868) | def __init__(self, name: str, elmts: list[ModuloCircuitElement]):
    method struct_name (line 873) | def struct_name(self) -> str:
    method serialize (line 876) | def serialize(self) -> str:
    method extract_from_circuit_output (line 888) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 894) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 900) | def __len__(self) -> int:
  class G1PointCircuit (line 908) | class G1PointCircuit(Cairo1SerializableStruct):
    method __init__ (line 909) | def __init__(self, name: str, elmts: list[ModuloCircuitElement]):
    method from_G1Point (line 914) | def from_G1Point(name: str, point: G1Point) -> "G1PointCircuit":
    method struct_name (line 919) | def struct_name(self) -> str:
    method serialize (line 922) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 930) | def _serialize_to_calldata(self) -> list[int]:
    method extract_from_circuit_output (line 933) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 939) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 945) | def __len__(self) -> int:
  class G2PointCircuit (line 953) | class G2PointCircuit(Cairo1SerializableStruct):
    method __init__ (line 954) | def __init__(self, name: str, elmts: list[ModuloCircuitElement]):
    method from_G2Point (line 959) | def from_G2Point(name: str, point: G2Point) -> "G2PointCircuit":
    method struct_name (line 972) | def struct_name(self) -> str:
    method serialize (line 975) | def serialize(self, raw: bool = False) -> str:
    method extract_from_circuit_output (line 983) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 989) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 995) | def __len__(self) -> int:
  class G2Line (line 1003) | class G2Line(Cairo1SerializableStruct):
    method __init__ (line 1004) | def __init__(self, name: str, elmts: list[ModuloCircuitElement]):
    method serialize_input_signature (line 1008) | def serialize_input_signature(self) -> str:
    method serialize (line 1015) | def serialize(self, raw: bool = False) -> str:
    method extract_from_circuit_output (line 1029) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 1035) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 1044) | def __len__(self) -> int:
  class FunctionFeltEvaluations (line 1052) | class FunctionFeltEvaluations(Cairo1SerializableStruct):
    method __init__ (line 1053) | def __init__(self, name: str, elmts: list[ModuloCircuitElement]):
    method serialize (line 1057) | def serialize(self) -> str:
    method extract_from_circuit_output (line 1061) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 1067) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 1073) | def __len__(self) -> int:
  class G1G2PairCircuit (line 1081) | class G1G2PairCircuit(Cairo1SerializableStruct):
    method __init__ (line 1082) | def __init__(self, name: str, elmts: list[ModuloCircuitElement]):
    method struct_name (line 1087) | def struct_name(self) -> str:
    method serialize (line 1090) | def serialize(self) -> str:
    method extract_from_circuit_output (line 1097) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 1103) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 1109) | def __len__(self) -> int:
  class E12D (line 1117) | class E12D(Cairo1SerializableStruct):
    method extract_from_circuit_output (line 1118) | def extract_from_circuit_output(
    method struct_name (line 1133) | def struct_name(self) -> str:
    method serialize (line 1140) | def serialize(self, raw: bool = False, is_option: bool = False) -> str:
    method _serialize_to_calldata (line 1166) | def _serialize_to_calldata(self) -> list[int]:
    method dump_to_circuit_input (line 1175) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 1183) | def __len__(self) -> int:
  class E12T (line 1191) | class E12T(Cairo1SerializableStruct):
    method __init__ (line 1192) | def __init__(self, name: str, elmts: list[ModuloCircuitElement]):
    method extract_from_circuit_output (line 1209) | def extract_from_circuit_output(
    method serialize (line 1221) | def serialize(self, raw: bool = False, is_option: bool = False) -> str:
    method _serialize_to_calldata (line 1242) | def _serialize_to_calldata(self) -> list[int]:
    method dump_to_circuit_input (line 1245) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 1251) | def __len__(self) -> int:
  class E12DMulQuotient (line 1259) | class E12DMulQuotient(Cairo1SerializableStruct):
    method extract_from_circuit_output (line 1260) | def extract_from_circuit_output(
    method struct_name (line 1275) | def struct_name(self) -> str:
    method serialize (line 1282) | def serialize(self, raw: bool = False, is_option: bool = False) -> str:
    method _serialize_to_calldata (line 1308) | def _serialize_to_calldata(self) -> list[int]:
    method dump_to_circuit_input (line 1317) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 1324) | def __len__(self) -> int:
  class MillerLoopResultScalingFactor (line 1332) | class MillerLoopResultScalingFactor(Cairo1SerializableStruct):
    method __init__ (line 1333) | def __init__(self, name: str, elmts: list[ModuloCircuitElement]):
    method extract_from_circuit_output (line 1337) | def extract_from_circuit_output(
    method serialize_input_signature (line 1342) | def serialize_input_signature(self) -> str:
    method dump_to_circuit_input (line 1349) | def dump_to_circuit_input(self) -> str:
    method serialize (line 1358) | def serialize(self, raw: bool = False) -> str:
    method _serialize_to_calldata (line 1371) | def _serialize_to_calldata(self) -> list[int]:
    method __len__ (line 1378) | def __len__(self) -> int:
  class SlopeInterceptOutput (line 1386) | class SlopeInterceptOutput(Cairo1SerializableStruct):
    method __init__ (line 1387) | def __init__(self, name: str, elmts: list[ModuloCircuitElement]):
    method serialize (line 1391) | def serialize(self, raw: bool = False) -> str:
    method extract_from_circuit_output (line 1399) | def extract_from_circuit_output(
    method dump_to_circuit_input (line 1411) | def dump_to_circuit_input(self) -> str:
    method __len__ (line 1417) | def __len__(self) -> int:

FILE: hydra/garaga/points.py
  class G1Point (line 20) | class G1Point:
    method __repr__ (line 35) | def __repr__(self) -> str:
    method __str__ (line 38) | def __str__(self) -> str:
    method __hash__ (line 41) | def __hash__(self):
    method __eq__ (line 44) | def __eq__(self, other: object) -> bool:
    method __post_init__ (line 63) | def __post_init__(self):
    method infinity (line 73) | def infinity(curve_id: CurveID) -> "G1Point":
    method is_infinity (line 85) | def is_infinity(self) -> bool:
    method to_cairo_1 (line 94) | def to_cairo_1(self, as_hex: bool = True) -> str:
    method gen_random_point_not_in_subgroup (line 104) | def gen_random_point_not_in_subgroup(
    method is_in_prime_order_subgroup_generic (line 140) | def is_in_prime_order_subgroup_generic(self) -> bool:
    method is_in_prime_order_subgroup (line 149) | def is_in_prime_order_subgroup(self) -> bool:
    method is_on_curve (line 168) | def is_on_curve(self) -> bool:
    method gen_random_point (line 188) | def gen_random_point(curve_id: CurveID) -> "G1Point":
    method get_nG (line 203) | def get_nG(curve_id: CurveID, n: int) -> "G1Point":
    method msm (line 225) | def msm(points: list["G1Point"], scalars: list[int]) -> "G1Point":
    method scalar_mul (line 243) | def scalar_mul(self, scalar: int) -> "G1Point":
    method add (line 281) | def add(self, other: "G1Point") -> "G1Point":
    method __neg__ (line 324) | def __neg__(self) -> "G1Point":
    method to_pyfelt_list (line 338) | def to_pyfelt_list(self) -> list[PyFelt]:
    method serialize_to_cairo (line 342) | def serialize_to_cairo(self, name: str, raw: bool = False) -> str:
  class G2Point (line 351) | class G2Point:
    method __repr__ (line 360) | def __repr__(self):
    method __post_init__ (line 363) | def __post_init__(self):
    method infinity (line 371) | def infinity(curve_id: CurveID) -> "G2Point":
    method __eq__ (line 374) | def __eq__(self, other: "G2Point") -> bool:
    method is_infinity (line 383) | def is_infinity(self) -> bool:
    method is_on_curve (line 386) | def is_on_curve(self) -> bool:
    method gen_random_point (line 402) | def gen_random_point(curve_id: CurveID) -> "G2Point":
    method is_in_prime_order_subgroup_generic (line 415) | def is_in_prime_order_subgroup_generic(self) -> bool:
    method is_in_prime_order_subgroup (line 418) | def is_in_prime_order_subgroup(self) -> bool:
    method gen_random_point_not_in_subgroup (line 457) | def gen_random_point_not_in_subgroup(
    method get_nG (line 494) | def get_nG(curve_id: CurveID, n: int) -> "G2Point":
    method scalar_mul (line 514) | def scalar_mul(self, scalar: int) -> "G2Point":
    method add (line 532) | def add(self, other: "G2Point") -> "G2Point":
    method __neg__ (line 549) | def __neg__(self) -> "G2Point":
    method msm (line 556) | def msm(points: list["G2Point"], scalars: list[int]) -> "G2Point":
    method to_pyfelt_list (line 563) | def to_pyfelt_list(self) -> list[PyFelt]:
    method serialize_to_cairo (line 567) | def serialize_to_cairo(self, name: str, raw: bool = False) -> str:
  class G1G2Pair (line 576) | class G1G2Pair:
    method __hash__ (line 581) | def __hash__(self):
    method __post_init__ (line 584) | def __post_init__(self):
    method to_pyfelt_list (line 589) | def to_pyfelt_list(self) -> list[PyFelt]:
    method pair (line 604) | def pair(pairs: list["G1G2Pair"], curve_id: CurveID = None):
    method miller (line 630) | def miller(pairs: list["G1G2Pair"], curve_id: CurveID = None):
  function tower_to_direct (line 664) | def tower_to_direct(
  function direct_to_tower (line 688) | def direct_to_tower(
  function TD6 (line 713) | def TD6(X: list[PyFelt], curve_id: int) -> list[PyFelt]:
  function DT6 (line 727) | def DT6(X: list[PyFelt], curve_id: int) -> list[PyFelt]:
  function TD12 (line 741) | def TD12(X: list[PyFelt], curve_id: int) -> list[PyFelt]:
  function DT12 (line 761) | def DT12(X: list[PyFelt], curve_id: int) -> list[PyFelt]:
  function precompute_lineline_sparsity (line 782) | def precompute_lineline_sparsity(curve_id: int):

FILE: hydra/garaga/poseidon_transcript.py
  function hades_permutation (line 9) | def hades_permutation(s0: int, s1: int, s2: int) -> tuple[int, int, int]:
  class CairoPoseidonTranscript (line 22) | class CairoPoseidonTranscript:
    method __init__ (line 28) | def __init__(self, init_hash: int, three_limbs_only: bool = False) -> ...
    method continuable_hash (line 41) | def continuable_hash(self) -> int:
    method RLC_coeff (line 45) | def RLC_coeff(self):
    method update_sponge_state (line 53) | def update_sponge_state(self, x, y):
    method hash_element (line 56) | def hash_element(self, x: PyFelt | ModuloCircuitElement, debug: bool =...
    method hash_quadruple_u288 (line 70) | def hash_quadruple_u288(
    method hash_u256 (line 95) | def hash_u256(self, x: PyFelt | int):
    method hash_u128 (line 107) | def hash_u128(self, x: PyFelt | int):
    method hash_u256_multi (line 116) | def hash_u256_multi(self, X: list[PyFelt | int]):
    method hash_limbs_multi (line 121) | def hash_limbs_multi(
  function gen_cairo_test_vectors (line 153) | def gen_cairo_test_vectors(n_elmts: int):

FILE: hydra/garaga/precompiled_circuits/all_circuits.py
  class CircuitID (line 70) | class CircuitID(Enum):
  function initialize_compilation (line 446) | def initialize_compilation(
  function write_headers (line 481) | def write_headers(
  function compile_circuits (line 538) | def compile_circuits(
  function generate_cairo1_tests (line 590) | def generate_cairo1_tests(
  function write_compiled_circuits (line 617) | def write_compiled_circuits(
  function write_cairo1_tests (line 638) | def write_cairo1_tests(
  function main (line 654) | def main(

FILE: hydra/garaga/precompiled_circuits/cofactor_clearing.py
  class SlowG2CofactorClearing (line 6) | class SlowG2CofactorClearing(BasicECG2):
    method h2_chain (line 12) | def h2_chain(
    method mx_chain (line 221) | def mx_chain(self, P):
    method clear_cofactor (line 237) | def clear_cofactor(self, P):
  class FastG2CofactorClearing (line 282) | class FastG2CofactorClearing(BasicECG2):
    method psi (line 297) | def psi(
    method mul_by_x (line 355) | def mul_by_x(
    method double_psi (line 393) | def double_psi(
    method clear_cofactor (line 410) | def clear_cofactor(
  class G1CofactorClearing (line 454) | class G1CofactorClearing(BasicEC):
    method mul_by_x (line 456) | def mul_by_x(
    method clear_cofactor (line 494) | def clear_cofactor(

FILE: hydra/garaga/precompiled_circuits/compilable_circuits/apply_isogeny.py
  class ApplyIsogenyCircuit (line 11) | class ApplyIsogenyCircuit(BaseModuloCircuit):
    method __init__ (line 12) | def __init__(
    method build_input (line 22) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 25) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:

FILE: hydra/garaga/precompiled_circuits/compilable_circuits/base.py
  function get_circuit_definition_impl_template (line 13) | def get_circuit_definition_impl_template(num_outputs: int):
  class BaseModuloCircuit (line 46) | class BaseModuloCircuit(ABC):
    method __init__ (line 62) | def __init__(
    method build_input (line 80) | def build_input(self) -> list[PyFelt]:
    method full_input_cairo1 (line 88) | def full_input_cairo1(self) -> list[PyFelt] | list[Cairo1SerializableS...
    method _run_circuit_inner (line 98) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
    method run_circuit (line 111) | def run_circuit(self, input: list[int]) -> ModuloCircuit:
  class BaseEXTFCircuit (line 123) | class BaseEXTFCircuit(BaseModuloCircuit):
    method __init__ (line 129) | def __init__(
  function compilation_mode_to_file_header (line 141) | def compilation_mode_to_file_header(
  function cairo1_tests_header (line 198) | def cairo1_tests_header() -> str:
  function parse_struct_name (line 214) | def parse_struct_name(struct_name: str) -> list[str]:
  function collect_struct_dependencies (line 245) | def collect_struct_dependencies(circuit_instances: list[BaseModuloCircui...
  function to_snake_case (line 287) | def to_snake_case(s: str) -> str:
  function create_circuit_instances (line 291) | def create_circuit_instances(
  function compile_single_circuit (line 318) | def compile_single_circuit(
  function compile_circuit (line 337) | def compile_circuit(
  function create_cairo1_test (line 364) | def create_cairo1_test(function_name: str, input: list, output: list, cu...
  function format_cairo_files_in_parallel (line 405) | def format_cairo_files_in_parallel(

FILE: hydra/garaga/precompiled_circuits/compilable_circuits/cairo1_mpcheck_circuits.py
  function split_4_sized_object_into_tuple_of_2_size (line 24) | def split_4_sized_object_into_tuple_of_2_size(
  function parse_precomputed_g1_consts_and_g2_points (line 33) | def parse_precomputed_g1_consts_and_g2_points(
  class BaseFixedG2PointsMPCheck (line 57) | class BaseFixedG2PointsMPCheck(BaseEXTFCircuit, ABC):
    method __init__ (line 58) | def __init__(
    method _initialize_circuit (line 88) | def _initialize_circuit(self):
    method input_map (line 101) | def input_map(
    method _base_input_map (line 118) | def _base_input_map(self, bit_type: str) -> dict:
    method _process_input (line 161) | def _process_input(
    method build_input (line 212) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 229) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
    method _execute_circuit_logic (line 236) | def _execute_circuit_logic(self, circuit, vars) -> ModuloCircuit:
    method _execute_circuit_bit_logic_base (line 241) | def _execute_circuit_bit_logic_base(self, circuit: ModuloCircuit, vars...
    method _process_points (line 287) | def _process_points(
    method _multiply_line_evaluations (line 388) | def _multiply_line_evaluations(
    method _extend_output (line 405) | def _extend_output(self, circuit, new_points, lhs_i_plus_one):
  class FixedG2MPCheckBitBase (line 429) | class FixedG2MPCheckBitBase(BaseFixedG2PointsMPCheck):
    method __init__ (line 436) | def __init__(
    method input_map (line 458) | def input_map(self):
    method _execute_circuit_logic (line 461) | def _execute_circuit_logic(self, circuit, vars) -> ModuloCircuit:
  class FixedG2MPCheckBit0 (line 465) | class FixedG2MPCheckBit0(FixedG2MPCheckBitBase):
  class FixedG2MPCheckBit00 (line 469) | class FixedG2MPCheckBit00(FixedG2MPCheckBitBase):
  class FixedG2MPCheckBit1 (line 473) | class FixedG2MPCheckBit1(FixedG2MPCheckBitBase):
  class FixedG2MPCheckBit01 (line 477) | class FixedG2MPCheckBit01(FixedG2MPCheckBitBase):
  class FixedG2MPCheckBit10 (line 481) | class FixedG2MPCheckBit10(FixedG2MPCheckBitBase):
  class FixedG2MPCheckInitBit (line 485) | class FixedG2MPCheckInitBit(BaseFixedG2PointsMPCheck):
    method __init__ (line 486) | def __init__(
    method input_map (line 504) | def input_map(self):
    method _execute_circuit_logic (line 531) | def _execute_circuit_logic(self, circuit, vars) -> ModuloCircuit:
  class MPCheckFinalizeBN (line 613) | class MPCheckFinalizeBN(BaseFixedG2PointsMPCheck):
    method __init__ (line 614) | def __init__(
    method input_map (line 639) | def input_map(self):
    method _execute_circuit_logic (line 675) | def _execute_circuit_logic(
  class MPCheckFinalizeBLS (line 759) | class MPCheckFinalizeBLS(BaseFixedG2PointsMPCheck):
    method __init__ (line 760) | def __init__(
    method input_map (line 784) | def input_map(self):
    method _execute_circuit_logic (line 799) | def _execute_circuit_logic(self, circuit: ModuloCircuit, vars) -> Modu...
  class MPCheckPreparePairs (line 852) | class MPCheckPreparePairs(BaseFixedG2PointsMPCheck):
    method __init__ (line 859) | def __init__(
    method input_map (line 879) | def input_map(self):
    method _initialize_circuit (line 888) | def _initialize_circuit(self):
    method _execute_circuit_logic (line 896) | def _execute_circuit_logic(self, circuit, vars) -> ModuloCircuit:
  class InitializeMPCheck (line 922) | class InitializeMPCheck(BaseFixedG2PointsMPCheck):
    method __init__ (line 923) | def __init__(
    method input_map (line 946) | def input_map(self):
    method _execute_circuit_logic (line 962) | def _execute_circuit_logic(
    method _execute_bls12_381_logic (line 996) | def _execute_bls12_381_logic(
    method _execute_bn254_logic (line 1011) | def _execute_bn254_logic(
    method _execute_shared_logic (line 1024) | def _execute_shared_logic(
    method _execute_bls12_381_frobenius_logic (line 1053) | def _execute_bls12_381_frobenius_logic(
    method _execute_bn254_frobenius_logic (line 1067) | def _execute_bn254_frobenius_logic(
  class FP12MulAssertOne (line 1110) | class FP12MulAssertOne(BaseEXTFCircuit):
    method __init__ (line 1111) | def __init__(
    method build_input (line 1122) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 1132) | def _run_circuit_inner(self, input: list[PyFelt]) -> ExtensionFieldMod...
  class EvalE12D (line 1171) | class EvalE12D(BaseEXTFCircuit):
    method __init__ (line 1172) | def __init__(
    method build_input (line 1181) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 1188) | def _run_circuit_inner(self, input: list[PyFelt]) -> ExtensionFieldMod...

FILE: hydra/garaga/precompiled_circuits/compilable_circuits/cairo1_tower_pairing.py
  function split_4_sized_object_into_tuple_of_2_size (line 21) | def split_4_sized_object_into_tuple_of_2_size(
  function parse_precomputed_g1_consts_and_g2_points (line 30) | def parse_precomputed_g1_consts_and_g2_points(
  class BaseTowerMillerLoop (line 54) | class BaseTowerMillerLoop(BaseEXTFCircuit, ABC):
    method __init__ (line 55) | def __init__(
    method _initialize_circuit (line 73) | def _initialize_circuit(self):
    method input_map (line 83) | def input_map(
    method _base_input_map (line 100) | def _base_input_map(self, bit_type: str) -> dict:
    method _process_input (line 118) | def _process_input(self, circuit: MillerTowerCircuit, input: list[PyFe...
    method build_input (line 167) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 184) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
    method _execute_circuit_logic (line 191) | def _execute_circuit_logic(self, circuit, vars) -> ModuloCircuit:
    method _execute_circuit_bit_logic_base (line 196) | def _execute_circuit_bit_logic_base(
    method _process_points (line 216) | def _process_points(
    method _multiply_line_evaluations (line 256) | def _multiply_line_evaluations(
    method _extend_output (line 267) | def _extend_output(self, circuit: ModuloCircuit, new_points, Mi_plus_o...
  class TowerMillerBit0 (line 293) | class TowerMillerBit0(BaseTowerMillerLoop):
    method __init__ (line 294) | def __init__(
    method input_map (line 310) | def input_map(self):
    method _execute_circuit_logic (line 313) | def _execute_circuit_logic(self, circuit, vars) -> ModuloCircuit:
  class TowerMillerBit1 (line 317) | class TowerMillerBit1(BaseTowerMillerLoop):
    method __init__ (line 318) | def __init__(
    method input_map (line 335) | def input_map(self):
    method _execute_circuit_logic (line 338) | def _execute_circuit_logic(self, circuit, vars) -> ModuloCircuit:
  class TowerMillerInitBit (line 342) | class TowerMillerInitBit(BaseTowerMillerLoop):
    method __init__ (line 343) | def __init__(
    method input_map (line 359) | def input_map(self):
    method _execute_circuit_logic (line 370) | def _execute_circuit_logic(
  class TowerMillerFinalizeBN (line 428) | class TowerMillerFinalizeBN(BaseTowerMillerLoop):
    method __init__ (line 429) | def __init__(
    method input_map (line 446) | def input_map(self):
    method _execute_circuit_logic (line 461) | def _execute_circuit_logic(self, circuit: MillerTowerCircuit, vars):
  class E12TMulCircuit (line 506) | class E12TMulCircuit(BaseEXTFCircuit):
    method __init__ (line 507) | def __init__(
    method build_input (line 516) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 523) | def _run_circuit_inner(self, input: list[PyFelt]) -> MillerTowerCircuit:
  class FP6NegCircuit (line 537) | class FP6NegCircuit(BaseModuloCircuit):
    method __init__ (line 538) | def __init__(
    method build_input (line 546) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 552) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class E12TInverseCircuit (line 581) | class E12TInverseCircuit(BaseEXTFCircuit):
    method __init__ (line 582) | def __init__(
    method build_input (line 593) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 599) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class E12TFrobeniusCircuit (line 610) | class E12TFrobeniusCircuit(BaseEXTFCircuit):
    method __init__ (line 611) | def __init__(
    method build_input (line 622) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 628) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class E12TFrobeniusSquareCircuit (line 639) | class E12TFrobeniusSquareCircuit(BaseEXTFCircuit):
    method __init__ (line 640) | def __init__(
    method build_input (line 651) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 657) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class E12TFrobeniusCubeCircuit (line 668) | class E12TFrobeniusCubeCircuit(BaseEXTFCircuit):
    method __init__ (line 669) | def __init__(
    method build_input (line 680) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 686) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class E12TCyclotomicSquareCircuit (line 697) | class E12TCyclotomicSquareCircuit(BaseEXTFCircuit):
    method __init__ (line 698) | def __init__(
    method build_input (line 709) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 715) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class E12TCyclotomicSquareCompressedCircuit (line 726) | class E12TCyclotomicSquareCompressedCircuit(BaseEXTFCircuit):
    method __init__ (line 727) | def __init__(
    method build_input (line 742) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 748) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class E12TDecompressKarabinaPtIZCircuit (line 793) | class E12TDecompressKarabinaPtIZCircuit(BaseEXTFCircuit):
    method __init__ (line 794) | def __init__(
    method build_input (line 805) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 811) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class E12TDecompressKarabinaPtINZCircuit (line 834) | class E12TDecompressKarabinaPtINZCircuit(BaseEXTFCircuit):
    method __init__ (line 835) | def __init__(
    method build_input (line 846) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 852) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class E12TDecompressKarabinaPtIICircuit (line 893) | class E12TDecompressKarabinaPtIICircuit(BaseEXTFCircuit):
    method __init__ (line 894) | def __init__(
    method build_input (line 905) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 911) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:

FILE: hydra/garaga/precompiled_circuits/compilable_circuits/common_cairo_fustat_circuits.py
  class DummyCircuit (line 29) | class DummyCircuit(BaseModuloCircuit):
    method __init__ (line 30) | def __init__(
    method build_input (line 40) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 43) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class IsOnCurveG1G2Circuit (line 62) | class IsOnCurveG1G2Circuit(BaseModuloCircuit):
    method __init__ (line 63) | def __init__(self, curve_id: int, auto_run: bool = True, compilation_m...
    method build_input (line 71) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 85) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class IsOnCurveG1Circuit (line 110) | class IsOnCurveG1Circuit(BaseModuloCircuit):
    method __init__ (line 111) | def __init__(self, curve_id: int, auto_run: bool = True, compilation_m...
    method build_input (line 119) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 128) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class IsOnCurveG2Circuit (line 143) | class IsOnCurveG2Circuit(BaseModuloCircuit):
    method __init__ (line 144) | def __init__(self, curve_id: int, auto_run: bool = True, compilation_m...
    method build_input (line 152) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 164) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class AddECPointsG2Circuit (line 183) | class AddECPointsG2Circuit(BaseModuloCircuit):
    method __init__ (line 184) | def __init__(self, curve_id: int, auto_run: bool = True, compilation_m...
    method build_input (line 192) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 206) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class DoubleECPointG2AEq0Circuit (line 226) | class DoubleECPointG2AEq0Circuit(BaseModuloCircuit):
    method __init__ (line 227) | def __init__(self, curve_id: int, auto_run: bool = True, compilation_m...
    method build_input (line 235) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 245) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class DoubleAndAddECPointsG2Circuit (line 260) | class DoubleAndAddECPointsG2Circuit(BaseModuloCircuit):
    method __init__ (line 261) | def __init__(self, curve_id: int, auto_run: bool = True, compilation_m...
    method build_input (line 269) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 283) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class PsiG2BLS12_381Circuit (line 303) | class PsiG2BLS12_381Circuit(BaseModuloCircuit):
    method __init__ (line 304) | def __init__(self, curve_id: int, auto_run: bool = True, compilation_m...
    method build_input (line 312) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 321) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class SlopeInterceptSamePointCircuit (line 350) | class SlopeInterceptSamePointCircuit(BaseModuloCircuit):
    method __init__ (line 351) | def __init__(
    method build_input (line 361) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 369) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class AccumulateEvalPointChallengeSignedCircuit (line 392) | class AccumulateEvalPointChallengeSignedCircuit(BaseModuloCircuit):
    method __init__ (line 393) | def __init__(
    method build_input (line 403) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 422) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class RHSFinalizeAccCircuit (line 449) | class RHSFinalizeAccCircuit(BaseModuloCircuit):
    method __init__ (line 450) | def __init__(
    method build_input (line 460) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 473) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class EvalFunctionChallengeSingleCircuit (line 493) | class EvalFunctionChallengeSingleCircuit(BaseModuloCircuit):
    method __init__ (line 494) | def __init__(
    method build_input (line 513) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 526) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class EvalFunctionChallengeDuplCircuit (line 580) | class EvalFunctionChallengeDuplCircuit(BaseModuloCircuit):
    method __init__ (line 581) | def __init__(
    method build_input (line 600) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 613) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class InitFunctionChallengeDuplCircuit (line 673) | class InitFunctionChallengeDuplCircuit(BaseModuloCircuit):
    method __init__ (line 674) | def __init__(
    method build_input (line 691) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 699) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class AccumulateFunctionChallengeDuplCircuit (line 749) | class AccumulateFunctionChallengeDuplCircuit(BaseModuloCircuit):
    method __init__ (line 750) | def __init__(
    method build_input (line 763) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 777) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class FinalizeFunctionChallengeDuplCircuit (line 829) | class FinalizeFunctionChallengeDuplCircuit(BaseModuloCircuit):
    method __init__ (line 830) | def __init__(
    method build_input (line 843) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 850) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class AddECPointCircuit (line 873) | class AddECPointCircuit(BaseModuloCircuit):
    method __init__ (line 874) | def __init__(
    method build_input (line 887) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 897) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class DoubleECPointCircuit (line 910) | class DoubleECPointCircuit(BaseModuloCircuit):
    method __init__ (line 911) | def __init__(
    method build_input (line 924) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 932) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class PrepareGLVFakeGLVPtsCircuit (line 945) | class PrepareGLVFakeGLVPtsCircuit(BaseModuloCircuit):
    method __init__ (line 946) | def __init__(self, curve_id: int, auto_run: bool = True, compilation_m...
    method build_input (line 954) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 970) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class PrepareFakeGLVPtsCircuit (line 1036) | class PrepareFakeGLVPtsCircuit(BaseModuloCircuit):
    method __init__ (line 1037) | def __init__(self, curve_id: int, auto_run: bool = True, compilation_m...
    method build_input (line 1045) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 1056) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class QuadrupleAndAdd9Circuit (line 1114) | class QuadrupleAndAdd9Circuit(BaseModuloCircuit):
    method __init__ (line 1115) | def __init__(self, curve_id: int, auto_run: bool = True, compilation_m...
    method build_input (line 1123) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 1134) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
  class ClearCofactorBLS12_381Circuit (line 1160) | class ClearCofactorBLS12_381Circuit(BaseModuloCircuit):
    method __init__ (line 1161) | def __init__(self, curve_id: int, auto_run: bool = True, compilation_m...
    method build_input (line 1169) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 1175) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:

FILE: hydra/garaga/precompiled_circuits/compilable_circuits/rsa.py
  class RSAFullVerificationCircuit (line 15) | class RSAFullVerificationCircuit(BaseModuloCircuit):
    method __init__ (line 28) | def __init__(
    method build_input (line 41) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 57) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:

FILE: hydra/garaga/precompiled_circuits/compilable_circuits/ultra_honk.py
  class BaseUltraHonkCircuit (line 24) | class BaseUltraHonkCircuit(BaseModuloCircuit):
    method __init__ (line 25) | def __init__(
    method _initialize_circuit (line 41) | def _initialize_circuit(self) -> ZKHonkVerifierCircuits:
    method _process_input (line 48) | def _process_input(
    method input_map (line 107) | def input_map(
    method build_input (line 125) | def build_input(self) -> list[PyFelt]:
    method _run_circuit_inner (line 143) | def _run_circuit_inner(self, input: list[PyFelt]) -> ModuloCircuit:
    method _execute_circuit_logic (line 150) | def _execute_circuit_logic(self, circuit, vars) -> ModuloCircuit:
  class ZKBaseUltraHonkCircuit (line 156) | class ZKBaseUltraHonkCircuit(BaseUltraHonkCircuit):
    method __init__ (line 157) | def __init__(
    method _initialize_circuit (line 173) | def _initialize_circuit(self) -> ZKHonkVerifierCircuits:
  class ZKSumCheckCircuit (line 181) | class ZKSumCheckCircuit(ZKBaseUltraHonkCircuit):
    method __init__ (line 182) | def __init__(
    method input_map (line 202) | def input_map(self) -> dict:
    method _execute_circuit_logic (line 241) | def _execute_circuit_logic(
  class ZKPrepareScalarsCircuit (line 295) | class ZKPrepareScalarsCircuit(ZKBaseUltraHonkCircuit):
    method __init__ (line 296) | def __init__(
    method input_map (line 311) | def input_map(self) -> dict:
    method _execute_circuit_logic (line 329) | def _execute_circuit_logic(
  class ZKEvalsConsistencyCircuit (line 372) | class ZKEvalsConsistencyCircuit(ZKBaseUltraHonkCircuit):
    method __init__ (line 373) | def __init__(
    method input_map (line 387) | def input_map(self) -> dict:
    method _execute_circuit_logic (line 400) | def _execute_circuit_logic(
  class ZKEvalsConsistencyInitCircuit (line 419) | class ZKEvalsConsistencyInitCircuit(ZKBaseUltraHonkCircuit):
    method __init__ (line 420) | def __init__(
    method input_map (line 434) | def input_map(self) -> dict:
    method _execute_circuit_logic (line 441) | def _execute_circuit_logic(
  class ZKEvalsConsistencyLoopCircuit (line 463) | class ZKEvalsConsistencyLoopCircuit(ZKBaseUltraHonkCircuit):
    method __init__ (line 464) | def __init__(
    method input_map (line 478) | def input_map(self) -> dict:
    method _execute_circuit_logic (line 487) | def _execute_circuit_logic(
  class ZKEvalsConsistencyDoneCircuit (line 511) | class ZKEvalsConsistencyDoneCircuit(ZKBaseUltraHonkCircuit):
    method __init__ (line 512) | def __init__(
    method input_map (line 526) | def input_map(self) -> dict:
    method _execute_circuit_logic (line 537) | def _execute_circuit_logic(

FILE: hydra/garaga/precompiled_circuits/ec.py
  function is_quad_residue (line 8) | def is_quad_residue(n, p):
  function sqrt_mod_p (line 15) | def sqrt_mod_p(n, p):
  class IsOnCurveCircuit (line 22) | class IsOnCurveCircuit(Fp2Circuits):
    method __init__ (line 23) | def __init__(self, name: str, curve_id: int, compilation_mode: int = 0):
    method set_consts (line 32) | def set_consts(
    method _is_on_curve_G1 (line 44) | def _is_on_curve_G1(
    method _is_on_curve_G2 (line 62) | def _is_on_curve_G2(
  class DerivePointFromX (line 86) | class DerivePointFromX(ModuloCircuit):
    method __init__ (line 87) | def __init__(self, name: str, curve_id: int, compilation_mode: int = 0):
    method _derive_point_from_x (line 96) | def _derive_point_from_x(
  class DecompressG1Point (line 138) | class DecompressG1Point(ModuloCircuit):
    method __init__ (line 148) | def __init__(self, name: str, curve_id: int, compilation_mode: int = 0):
    method derive_y_from_x (line 157) | def derive_y_from_x(
  class ECIPCircuits (line 191) | class ECIPCircuits(ModuloCircuit):
    method __init__ (line 192) | def __init__(
    method _slope_intercept_same_point (line 207) | def _slope_intercept_same_point(
    method _accumulate_eval_point_challenge_signed_same_point (line 261) | def _accumulate_eval_point_challenge_signed_same_point(
    method _RHS_finalize_acc (line 298) | def _RHS_finalize_acc(
    method _eval_function_challenge_single (line 321) | def _eval_function_challenge_single(
    method _eval_function_challenge_dupl (line 361) | def _eval_function_challenge_dupl(
    method _init_function_challenge_dupl (line 404) | def _init_function_challenge_dupl(
    method _accumulate_function_challenge_dupl (line 468) | def _accumulate_function_challenge_dupl(
    method _finalize_function_challenge_dupl (line 532) | def _finalize_function_challenge_dupl(
  class BasicEC (line 563) | class BasicEC(ModuloCircuit):
    method __init__ (line 564) | def __init__(self, name: str, curve_id: int, compilation_mode: int = 0):
    method _compute_adding_slope (line 573) | def _compute_adding_slope(
    method _compute_doubling_slope (line 583) | def _compute_doubling_slope(
    method add_points (line 601) | def add_points(
    method double_point (line 614) | def double_point(
    method scalar_mul_2_pow_k (line 626) | def scalar_mul_2_pow_k(
    method _is_on_curve_G1_weirstrass (line 636) | def _is_on_curve_G1_weirstrass(
    method negate_point (line 650) | def negate_point(
    method add_points (line 657) | def add_points(
    method double_point_a_eq_0 (line 671) | def double_point_a_eq_0(
    method triple_point (line 686) | def triple_point(
    method double_n_times (line 716) | def double_n_times(
    method n_quadruple_and_add (line 725) | def n_quadruple_and_add(
    method double_and_add (line 738) | def double_and_add(
  class BasicECG2 (line 771) | class BasicECG2(Fp2Circuits):
    method __init__ (line 772) | def __init__(self, name: str, curve_id: int, compilation_mode: int = 0):
    method _is_on_curve_G2_weirstrass (line 781) | def _is_on_curve_G2_weirstrass(
    method _compute_adding_slope (line 804) | def _compute_adding_slope(
    method _compute_doubling_slope_a_eq_0 (line 820) | def _compute_doubling_slope_a_eq_0(
    method add_points (line 834) | def add_points(
    method double_point_a_eq_0 (line 847) | def double_point_a_eq_0(
    method double_n_times (line 858) | def double_n_times(self, P, n):
    method negate_point (line 864) | def negate_point(
    method double_and_add (line 870) | def double_and_add(
  class FakeGLVCircuits (line 903) | class FakeGLVCircuits(BasicEC):
    method __init__ (line 904) | def __init__(self, name: str, curve_id: int, compilation_mode: int = 0):
    method prepare_points_glv_fake_glv (line 907) | def prepare_points_glv_fake_glv(
    method prepare_points_fake_glv (line 975) | def prepare_points_fake_glv(

FILE: hydra/garaga/precompiled_circuits/final_exp.py
  class FinalExpTorusCircuit (line 27) | class FinalExpTorusCircuit(ExtensionFieldModuloCircuit):
    method __init__ (line 28) | def __init__(
    method final_exp_part1 (line 54) | def final_exp_part1(self, X: list[PyFelt]) -> list[ModuloCircuitElement]:
    method square_torus (line 57) | def square_torus(
    method n_square_torus (line 99) | def n_square_torus(self, X: list[PyFelt], n: int) -> list[PyFelt]:
    method mul_torus (line 105) | def mul_torus(
    method inverse_torus (line 120) | def inverse_torus(self, X: list[ModuloCircuitElement]):
    method decompress_torus (line 123) | def decompress_torus(
    method frobenius_torus (line 149) | def frobenius_torus(
    method easy_part (line 180) | def easy_part(
    method final_exp_finalize (line 199) | def final_exp_finalize(self, t0: list[PyFelt], t2: list[PyFelt]):
  class GaragaBLS12_381FinalExp (line 217) | class GaragaBLS12_381FinalExp(FinalExpTorusCircuit):
    method __init__ (line 218) | def __init__(
    method expt_half_torus (line 230) | def expt_half_torus(self, X: list[ModuloCircuitElement]):
    method expt_torus (line 246) | def expt_torus(self, X):
    method final_exp_part1 (line 250) | def final_exp_part1(self, num: list[PyFelt], den: list[PyFelt]) -> lis...
  class GaragaBN254FinalExp (line 293) | class GaragaBN254FinalExp(FinalExpTorusCircuit):
    method __init__ (line 294) | def __init__(
    method expt_torus (line 306) | def expt_torus(self, X: list[PyFelt]):
    method final_exp_part1 (line 339) | def final_exp_part1(
  function test_final_exp (line 398) | def test_final_exp(curve_id: CurveID):

FILE: hydra/garaga/precompiled_circuits/fp2.py
  class Fp2Circuits (line 6) | class Fp2Circuits(ModuloCircuit):
    method __init__ (line 11) | def __init__(
    method fp2_is_non_zero (line 25) | def fp2_is_non_zero(
    method fp2_mul (line 48) | def fp2_mul(self, X: list[ModuloCircuitElement], Y: list[ModuloCircuit...
    method fp2_mul_by_non_residue (line 68) | def fp2_mul_by_non_residue(self, X: list[ModuloCircuitElement]):
    method fp2_square (line 94) | def fp2_square(self, X: list[ModuloCircuitElement]):
    method fp2_sqrt (line 104) | def fp2_sqrt(
    method fp2_inv (line 126) | def fp2_inv(self, X: list[ModuloCircuitElement]):
    method fp2_div (line 136) | def fp2_div(self, X: list[ModuloCircuitElement], Y: list[ModuloCircuit...
    method fp2_frobenius_map (line 159) | def fp2_frobenius_map(
    method fp2_add (line 175) | def fp2_add(
    method fp2_sub (line 181) | def fp2_sub(self, X: list[ModuloCircuitElement], Y: list[ModuloCircuit...
    method fp2_mul_and_assert (line 185) | def fp2_mul_and_assert(
    method fp2_eval_horner (line 228) | def fp2_eval_horner(

FILE: hydra/garaga/precompiled_circuits/isogeny.py
  class IsogenyG2 (line 8) | class IsogenyG2(Fp2Circuits):
    method __init__ (line 9) | def __init__(self, name: str, curve_id: int, compilation_mode: int = 0):
    method set_consts (line 18) | def set_consts(self):
    method run_isogeny (line 33) | def run_isogeny(
  class IsogenyG1 (line 52) | class IsogenyG1(ModuloCircuit):
    method __init__ (line 53) | def __init__(self, name: str, curve_id: int, compilation_mode: int = 0):
    method set_consts (line 62) | def set_consts(self):
    method run_isogeny (line 81) | def run_isogeny(

FILE: hydra/garaga/precompiled_circuits/map_to_curve.py
  class MapToCurveG2 (line 8) | class MapToCurveG2(Fp2Circuits):
    method __init__ (line 9) | def __init__(self, name: str, curve_id: int, compilation_mode: int = 0):
    method set_consts (line 18) | def set_consts(self):
    method map_to_curve_part_1 (line 46) | def map_to_curve_part_1(self, input_value: list[ModuloCircuitElement]):
    method compute_initial_coordinates_quadratic (line 98) | def compute_initial_coordinates_quadratic(
    method compute_initial_coordinates_non_quadratic (line 144) | def compute_initial_coordinates_non_quadratic(
    method adjust_y_sign (line 200) | def adjust_y_sign(
    method fp2_parity (line 245) | def fp2_parity(
  class MapToCurveG1 (line 328) | class MapToCurveG1(ModuloCircuit):
    method __init__ (line 329) | def __init__(self, name: str, curve_id: int, compilation_mode: int = 0):
    method set_consts (line 338) | def set_consts(self):
    method map_to_curve_part_1 (line 346) | def map_to_curve_part_1(self, input_value: ModuloCircuitElement):
    method compute_initial_coordinates_quadratic (line 405) | def compute_initial_coordinates_quadratic(
    method compute_initial_coordinates_non_quadratic (line 454) | def compute_initial_coordinates_non_quadratic(
    method adjust_y_sign (line 510) | def adjust_y_sign(
    method fp_parity (line 550) | def fp_parity(self, element: ModuloCircuitElement) -> ModuloCircuitEle...

FILE: hydra/garaga/precompiled_circuits/miller_tower.py
  function tower_line_function_sparsity (line 8) | def tower_line_function_sparsity(curve_id: int) -> list[int]:
  class MillerTowerCircuit (line 18) | class MillerTowerCircuit(MultiMillerLoopCircuit):
    method __init__ (line 19) | def __init__(
    method eval_tower_line (line 33) | def eval_tower_line(self, line: Iterator[ModuloCircuitElement], yInv, ...
    method mul_by_line_tower (line 55) | def mul_by_line_tower(
    method mul_by_line_line_tower (line 125) | def mul_by_line_line_tower(self, tower_fp12, line_line):
    method mul_line_by_line_tower (line 130) | def mul_line_by_line_tower(self, l1, l2):
    method _fp6_by_01 (line 171) | def _fp6_by_01(self, e6: list[ModuloCircuitElement], c0, c1):
    method fp6_mul_by_non_residue (line 201) | def fp6_mul_by_non_residue(self, a: list[ModuloCircuitElement]):
    method fp12_square (line 207) | def fp12_square(self, a: list[ModuloCircuitElement]):
    method fp12_mul (line 220) | def fp12_mul(self, x: list[ModuloCircuitElement], y: list[ModuloCircui...
    method fp6_mul (line 239) | def fp6_mul(self, a: list[ModuloCircuitElement], b: list[ModuloCircuit...
    method fp12_inverse (line 276) | def fp12_inverse(self, a: list[ModuloCircuitElement]):
    method fp6_inverse (line 293) | def fp6_inverse(self, a: list[ModuloCircuitElement]):
    method fp6_square (line 341) | def fp6_square(self, a: list[ModuloCircuitElement]):
    method fp12_conjugate (line 363) | def fp12_conjugate(self, a: list[ModuloCircuitElement]):
    method fp12_cyclotomic_square (line 368) | def fp12_cyclotomic_square(self, a: list[ModuloCircuitElement]):
    method fp2_conjugate (line 433) | def fp2_conjugate(self, a: list[ModuloCircuitElement]):
    method mul_by_non_residue_k_power_n (line 437) | def mul_by_non_residue_k_power_n(
    method fp12_frob (line 457) | def fp12_frob(self, a: list[ModuloCircuitElement]):
    method fp12_frob_square (line 478) | def fp12_frob_square(self, a: list[ModuloCircuitElement]):
    method fp12_frob_cube (line 492) | def fp12_frob_cube(self, a: list[ModuloCircuitElement]):
    method fp12_cyclotomic_square_compressed (line 513) | def fp12_cyclotomic_square_compressed(
    method fp12_decompress_karabina_pt_I_c1b2_Z (line 562) | def fp12_decompress_karabina_pt_I_c1b2_Z(self, xc0b1, xc1b2):
    method fp12_decompress_karabina_pt_I_c1b2_NZ (line 573) | def fp12_decompress_karabina_pt_I_c1b2_NZ(
    method fp12_decompress_karabina_pt_II (line 594) | def fp12_decompress_karabina_pt_II(

FILE: hydra/garaga/precompiled_circuits/multi_miller_loop.py
  class MultiMillerLoopCircuit (line 13) | class MultiMillerLoopCircuit(ExtensionFieldModuloCircuit):
    method __init__ (line 14) | def __init__(
    method _create_precomputed_lines_generator (line 60) | def _create_precomputed_lines_generator(
    method get_next_precomputed_line (line 82) | def get_next_precomputed_line(
    method write_p_and_q (line 87) | def write_p_and_q(self, P: list[G1Point], Q: list[G2Point]):
    method write_p_and_q_raw (line 100) | def write_p_and_q_raw(self, input: list[PyFelt], precompute_consts: bo...
    method precompute_consts (line 128) | def precompute_consts(self, n_pairs: int = None, skip_P_precompute: bo...
    method compute_doubling_slope (line 145) | def compute_doubling_slope(
    method compute_adding_slope (line 176) | def compute_adding_slope(
    method build_sparse_line_eval (line 193) | def build_sparse_line_eval(
    method _add (line 254) | def _add(
    method add_step (line 274) | def add_step(
    method _line_compute (line 289) | def _line_compute(
    method line_compute (line 302) | def line_compute(
    method _double (line 317) | def _double(
    method double_step (line 345) | def double_step(
    method _double_and_add (line 359) | def _double_and_add(
    method double_and_add_step (line 401) | def double_and_add_step(
    method _triple (line 424) | def _triple(
    method triple_step (line 471) | def triple_step(
    method bit_0_case (line 490) | def bit_0_case(
    method bit_1_init_case (line 519) | def bit_1_init_case(
    method bit_1_case (line 546) | def bit_1_case(
    method _bn254_finalize_step (line 579) | def _bn254_finalize_step(
    method bn254_finalize_step (line 655) | def bn254_finalize_step(
    method miller_loop (line 679) | def miller_loop(self, n_pairs: int) -> list[ModuloCircuitElement]:
  function precompute_lines (line 736) | def precompute_lines(Qs: list[G2Point]) -> list[PyFelt]:

FILE: hydra/garaga/precompiled_circuits/multi_pairing_check.py
  function get_root_and_scaling_factor (line 11) | def get_root_and_scaling_factor(
  function get_max_Q_degree (line 76) | def get_max_Q_degree(curve_id: int, n_pairs: int) -> int:
  class MultiPairingCheckCircuit (line 105) | class MultiPairingCheckCircuit(MultiMillerLoopCircuit):
    method __init__ (line 106) | def __init__(
    method frobenius (line 134) | def frobenius(
    method bit_0_case (line 155) | def bit_0_case(
    method bit_00_case (line 184) | def bit_00_case(
    method bit_01_case (line 225) | def bit_01_case(
    method bit_10_case (line 263) | def bit_10_case(
    method bit_1_init_case (line 300) | def bit_1_init_case(
    method bit_1_case (line 328) | def bit_1_case(
    method multi_pairing_check (line 363) | def multi_pairing_check(
  function get_pairing_check_input (line 519) | def get_pairing_check_input(

FILE: hydra/garaga/precompiled_circuits/poseidon_bn254.py
  function sigma (line 23) | def sigma(value):
  function ark (line 30) | def ark(t, C, r, state):
  function iterated_add (line 35) | def iterated_add(terms):
  function iterated_mul (line 43) | def iterated_mul(terms):
  function mix (line 51) | def mix(t, M, state):
  function mix_last (line 59) | def mix_last(t, M, s, state):
  function mix_s (line 64) | def mix_s(t, S, r, state):
  function poseidon_hash (line 76) | def poseidon_hash(

FILE: hydra/garaga/precompiled_circuits/zk_honk.py
  class HonkVk (line 62) | class HonkVk:
    method __repr__ (line 97) | def __repr__(self) -> str:
    method from_bytes (line 105) | def from_bytes(cls, vk_bytes: bytes) -> "HonkVk":
    method to_cairo (line 156) | def to_cairo(self, name: str = "vk") -> str:
    method to_circuit_elements (line 172) | def to_circuit_elements(self, circuit: ModuloCircuit) -> "HonkVk":
    method flatten (line 190) | def flatten(self) -> list[int]:
  class Transcript (line 203) | class Transcript(ABC):
    method __init__ (line 204) | def __init__(self):
    method reset (line 208) | def reset(self):
    method update (line 212) | def update(self, data: bytes):
    method digest (line 216) | def digest(self) -> bytes:
    method digest_reset (line 219) | def digest_reset(self) -> bytes:
  class Sha3Transcript (line 225) | class Sha3Transcript(Transcript):
    method reset (line 226) | def reset(self):
    method digest (line 229) | def digest(self) -> bytes:
    method update (line 236) | def update(self, data: bytes):
  class StarknetPoseidonTranscript (line 240) | class StarknetPoseidonTranscript(Transcript):
    method reset (line 241) | def reset(self):
    method digest (line 246) | def digest(self) -> bytes:
    method update (line 250) | def update(self, data: bytes):
  class ZKHonkProof (line 260) | class ZKHonkProof:
    method __post_init__ (line 287) | def __post_init__(self):
    method from_bytes (line 301) | def from_bytes(
    method to_circuit_elements (line 445) | def to_circuit_elements(self, circuit: ModuloCircuit) -> "ZKHonkProof":
    method to_cairo (line 510) | def to_cairo(self) -> str:
    method serialize_to_calldata (line 551) | def serialize_to_calldata(self) -> list[int]:
    method flatten (line 638) | def flatten(self) -> list[int]:
    method calculate_proof_size (line 671) | def calculate_proof_size(log_circuit_size: int):
  class ZKHonkTranscript (line 707) | class ZKHonkTranscript:
    method from_proof (line 725) | def from_proof(
    method to_circuit_elements (line 953) | def to_circuit_elements(self, circuit: ModuloCircuit) -> "ZKHonkTransc...
    method to_cairo (line 972) | def to_cairo(self) -> str:
  class ZKHonkVerifierCircuits (line 991) | class ZKHonkVerifierCircuits(ModuloCircuit):
    method __init__ (line 992) | def __init__(
    method compute_public_input_delta (line 1006) | def compute_public_input_delta(
    method verify_sum_check (line 1053) | def verify_sum_check(
    method compute_next_target_sum (line 1149) | def compute_next_target_sum(
    method partially_evaluate_pow (line 1221) | def partially_evaluate_pow(
    method accumulate_relation_evaluations (line 1239) | def accumulate_relation_evaluations(
    method accumulate_arithmetic_relation (line 1309) | def accumulate_arithmetic_relation(
    method accumulate_permutation_relation (line 1361) | def accumulate_permutation_relation(
    method accumulate_log_derivative_lookup_relation (line 1403) | def accumulate_log_derivative_lookup_relation(
    method accumulate_delta_range_relation (line 1470) | def accumulate_delta_range_relation(
    method accumulate_elliptic_relation (line 1506) | def accumulate_elliptic_relation(
    method accumulate_memory_relation (line 1602) | def accumulate_memory_relation(
    method accumulate_nnf_relation (line 1739) | def accumulate_nnf_relation(
    method accumulate_poseidon_external_relation (line 1828) | def accumulate_poseidon_external_relation(
    method pow5 (line 1870) | def pow5(self, x: ModuloCircuitElement) -> ModuloCircuitElement:
    method accumulate_poseidon_internal_relation (line 1875) | def accumulate_poseidon_internal_relation(
    method compute_shplemini_msm_scalars (line 1923) | def compute_shplemini_msm_scalars(
    method check_evals_consistency (line 2140) | def check_evals_consistency(
    method check_evals_consistency_split (line 2212) | def check_evals_consistency_split(
    method _check_evals_consistency_init (line 2239) | def _check_evals_consistency_init(
    method _check_evals_consistency_loop (line 2251) | def _check_evals_consistency_loop(
    method _check_evals_consistency_done (line 2276) | def _check_evals_consistency_done(
    method pow (line 2333) | def pow(self, x: ModuloCircuitElement, e: int) -> ModuloCircuitElement:
  function get_msm_points_from_vk_and_proof (line 2342) | def get_msm_points_from_vk_and_proof(
  function honk_proof_from_bytes (line 2397) | def honk_proof_from_bytes(
  function honk_transcript_from_proof (line 2409) | def honk_transcript_from_proof(
  class AutoValueEnum (line 2416) | class AutoValueEnum(Enum):
    method __new__ (line 2417) | def __new__(cls, value):
    method __int__ (line 2422) | def __int__(self):
    method __index__ (line 2425) | def __index__(self):
  class Wire (line 2429) | class Wire(AutoValueEnum):
    method unused_indexes (line 2473) | def unused_indexes():
    method insert_unused_indexes_with_nones (line 2477) | def insert_unused_indexes_with_nones(array: list) -> list:
    method replace_unused_indexes_with_nones (line 2488) | def replace_unused_indexes_with_nones(array: list) -> list:
    method remove_unused_indexes (line 2494) | def remove_unused_indexes(array: list) -> list:

FILE: hydra/garaga/rsa_rns.py
  function modinv (line 61) | def modinv(a: int, m: int) -> int:
  function split_words_96 (line 65) | def split_words_96(x: int, n_words: int) -> list[int]:
  function join_words_96 (line 69) | def join_words_96(words: Sequence[int]) -> int:
  function split_limbs_2048 (line 78) | def split_limbs_2048(x: int) -> list[int]:
  function join_limbs_2048 (line 87) | def join_limbs_2048(limbs: Sequence[int]) -> int:
  function limbs_to_chunks (line 98) | def limbs_to_chunks(limbs: Sequence[int]) -> tuple[int, ...]:
  function is_probable_prime (line 113) | def is_probable_prime(n: int, rounds: int = 24) -> bool:
  function random_probable_prime (line 143) | def random_probable_prime(bits: int, rng: random.Random) -> int:
  class RNSInteger (line 153) | class RNSInteger:
    method from_int (line 167) | def from_int(x: int, channel_moduli: Sequence[int]) -> "RNSInteger":
    method chunks (line 173) | def chunks(self) -> tuple[int, ...]:
    method serialize_to_calldata (line 176) | def serialize_to_calldata(self) -> list[int]:
  class ReductionWitness (line 184) | class ReductionWitness:
    method serialize_to_calldata (line 195) | def serialize_to_calldata(self) -> list[int]:
  class RSA2048ExponentiationWitness (line 203) | class RSA2048ExponentiationWitness:
    method __post_init__ (line 216) | def __post_init__(self) -> None:
    method serialize_public_key (line 222) | def serialize_public_key(self) -> list[int]:
    method serialize_signature_with_hint (line 225) | def serialize_signature_with_hint(self) -> list[int]:
    method serialize (line 234) | def serialize(self, prepend_public_key: bool = True) -> list[int]:
  class RNSContext (line 242) | class RNSContext:
    method __init__ (line 257) | def __init__(self, channel_moduli: Sequence[int]) -> None:
    method encode (line 277) | def encode(self, x: int) -> RNSInteger:
    method residues_from_limbs (line 280) | def residues_from_limbs(self, limbs: Sequence[int]) -> tuple[int, ...]:
    method crt_reconstruct (line 291) | def crt_reconstruct(self, residues: Sequence[int]) -> int:
    method is_consistent_encoding (line 304) | def is_consistent_encoding(self, ev: RNSInteger) -> bool:
    method rns_congruences_hold (line 314) | def rns_congruences_hold(
    method crt_exactness_holds (line 339) | def crt_exactness_holds(
    method verify_exact_modular_product (line 351) | def verify_exact_modular_product(
  function witness_modular_product (line 367) | def witness_modular_product(
  function build_reduction_witness (line 383) | def build_reduction_witness(
  function verified_mul_mod (line 397) | def verified_mul_mod(ctx: RNSContext, x: int, y: int, modulus: int) -> int:
  function generate_demo_rsa_key (line 402) | def generate_demo_rsa_key(
  function build_rsa2048_reductions (line 432) | def build_rsa2048_reductions(
  function generate_rsa2048_witness (line 468) | def generate_rsa2048_witness(seed: int = 0) -> RSA2048ExponentiationWitn...
  function pkcs1_v1_5_encode_sha256 (line 493) | def pkcs1_v1_5_encode_sha256(
  function generate_rsa2048_sha256_witness (line 513) | def generate_rsa2048_sha256_witness(
  function is_valid_rsa2048_witness (line 539) | def is_valid_rsa2048_witness(
  function modular_exponentiation_with_proof (line 581) | def modular_exponentiation_with_proof(
  function demo_context_summary (line 604) | def demo_context_summary(ctx: RNSContext) -> None:
  function demo_crt_roundtrip (line 622) | def demo_crt_roundtrip(ctx: RNSContext, rng: random.Random) -> None:
  function demo_single_exact_relation (line 635) | def demo_single_exact_relation(
  function demo_negative_tests (line 661) | def demo_negative_tests(ctx: RNSContext, modulus: int, rng: random.Rando...
  function demo_full_rsa_verification (line 688) | def demo_full_rsa_verification(ctx: RNSContext) -> None:
  function run_self_tests (line 712) | def run_self_tests() -> None:

FILE: hydra/garaga/signature.py
  class HashProtocol (line 17) | class HashProtocol(Protocol):
    method update (line 24) | def update(self, data: bytes) -> None: ...
    method digest (line 25) | def digest(self) -> bytes: ...
    method hexdigest (line 26) | def hexdigest(self) -> str: ...
    method copy (line 27) | def copy(self: T) -> T: ...
  class ExpanderXmd (line 39) | class ExpanderXmd:
    method __init__ (line 40) | def __init__(
    method construct_dst_prime (line 52) | def construct_dst_prime(self) -> bytes:
    method expand_message_xmd (line 65) | def expand_message_xmd(self, msg: bytes, n: int) -> bytes:
  function get_len_per_elem (line 125) | def get_len_per_elem(p: int, sec_param: int = 128) -> int:
  function hash_to_field (line 145) | def hash_to_field(
  function hash_to_curve (line 169) | def hash_to_curve(
  function map_to_curve (line 195) | def map_to_curve(field_element: PyFelt, curve_id: CurveID) -> G1Point:
  function get_isogeny_to_g1_map (line 240) | def get_isogeny_to_g1_map(
  function get_isogeny_to_g2_map (line 340) | def get_isogeny_to_g2_map(
  function apply_isogeny (line 413) | def apply_isogeny(pt: G1Point) -> G1Point:
  function test_hash_to_field (line 432) | def test_hash_to_field(message: bytes):
  function test_map_to_curve (line 446) | def test_map_to_curve():
  function test_isogeny (line 451) | def test_isogeny():
  function test_hash_to_curve (line 469) | def test_hash_to_curve(message: bytes):

FILE: hydra/garaga/starknet/cli/declare.py
  function declare (line 21) | def declare(

FILE: hydra/garaga/starknet/cli/deploy.py
  function perform_contract_deployment (line 26) | async def perform_contract_deployment(
  function print_contract_info (line 52) | def print_contract_info(contract: Contract, network: Network):
  function deploy (line 62) | def deploy(

FILE: hydra/garaga/starknet/cli/gen.py
  function check_nargo_version (line 22) | def check_nargo_version(version: str) -> tuple[bool, str]:
  function check_bb_version (line 26) | def check_bb_version(version: str) -> tuple[bool, str]:
  function check_version (line 30) | def check_version(cmd: str, version: str) -> tuple[bool, str]:
  function _get_bb_oracle_hash_options (line 49) | def _get_bb_oracle_hash_options() -> list[str]:
  function check_bb_starknet_support (line 79) | def check_bb_starknet_support(
  function print_bb_warning (line 92) | def print_bb_warning(soft: bool = False, with_starknet: bool = False):
  function gen (line 131) | def gen(

FILE: hydra/garaga/starknet/cli/smart_contract_project.py
  class EmptyContract (line 23) | class EmptyContract(Exception):
  function _get_cached_artifacts (line 34) | def _get_cached_artifacts(folder: Path) -> tuple[str, str]:
  class SmartContractProject (line 48) | class SmartContractProject:
    method __hash__ (line 51) | def __hash__(self) -> int:
    method get_contract_artifacts (line 54) | def get_contract_artifacts(self) -> tuple[str, str]:
    method get_casm_class_hash (line 61) | def get_casm_class_hash(self) -> int:
    method get_sierra_class_hash (line 70) | def get_sierra_class_hash(self) -> int:
    method get_abi (line 80) | def get_abi(self) -> str:
    method _check_class_exists (line 87) | async def _check_class_exists(self, account: Account, class_hash: int)...
    method declare_class_hash (line 97) | async def declare_class_hash(self, account: Account) -> tuple[int, str]:
  class Groth16SmartContract (line 146) | class Groth16SmartContract(SmartContractProject):
    method __hash__ (line 149) | def __hash__(self) -> int:
    method generate_calldata (line 153) | def generate_calldata(

FILE: hydra/garaga/starknet/cli/starknet_cli.py
  function version_callback (line 12) | def version_callback(value: bool):
  function main (line 26) | def main(

FILE: hydra/garaga/starknet/cli/utils.py
  function get_package_version (line 25) | def get_package_version():
  class Network (line 34) | class Network(Enum):
  function load_account (line 39) | def load_account(network: Network):
  function get_contract_if_exists (line 61) | def get_contract_if_exists(account: Account, contract_address: int) -> C...
  function get_contract_if_exists_async (line 74) | async def get_contract_if_exists_async(
  function get_contract_iff_exists (line 89) | def get_contract_iff_exists(account: Account, contract_address: int) -> ...
  function create_directory (line 99) | def create_directory(path: str):
  function complete_pairing_curve_id (line 105) | def complete_pairing_curve_id(incomplete: str):
  function complete_proof_system (line 110) | def complete_proof_system(incomplete: str):
  function complete_network (line 115) | def complete_network(incomplete: str):
  function get_voyager_network_prefix (line 120) | def get_voyager_network_prefix(network: Network) -> str:
  function voyager_link_tx (line 124) | def voyager_link_tx(network: Network, tx_hash: int) -> str:
  function voyager_link_class (line 129) | def voyager_link_class(network: Network, class_hash: int) -> str:
  function scarb_build_contract_folder (line 134) | def scarb_build_contract_folder(contract_folder_path: str):
  function _acquire_scarb_lock (line 158) | def _acquire_scarb_lock():
  function _release_scarb_lock (line 184) | def _release_scarb_lock(lock_file: str):
  function get_sierra_casm_artifacts (line 193) | def get_sierra_casm_artifacts(
  function get_default_vk_path (line 261) | def get_default_vk_path(vk_type: str) -> Path:

FILE: hydra/garaga/starknet/cli/verify.py
  function verify_onchain (line 42) | def verify_onchain(
  class CalldataFormat (line 152) | class CalldataFormat(str, Enum):
  function get_calldata_generic (line 158) | def get_calldata_generic(
  function calldata (line 187) | def calldata(

FILE: hydra/garaga/starknet/groth16_contract_generator/calldata.py
  function groth16_calldata_from_vk_and_proof (line 11) | def groth16_calldata_from_vk_and_proof(
  function _groth16_calldata_from_vk_and_proof_rust (line 71) | def _groth16_calldata_from_vk_and_proof_rust(

FILE: hydra/garaga/starknet/groth16_contract_generator/generator.py
  function precompute_lines_from_vk (line 21) | def precompute_lines_from_vk(vk: Groth16VerifyingKey) -> StructArray:
  function gen_test_file (line 36) | def gen_test_file(
  function get_scarb_toml_file (line 138) | def get_scarb_toml_file(package_name: str, cli_mode: bool, inlining_leve...
  function write_test_calldata_file (line 173) | def write_test_calldata_file(
  function create_verifier_directory_structure (line 186) | def create_verifier_directory_structure(
  function write_tool_versions_file (line 205) | def write_tool_versions_file(output_folder_path: str) -> None:
  function write_lib_cairo_file (line 212) | def write_lib_cairo_file(src_dir: str, modules: list[str] = None) -> None:
  function write_verifier_files (line 224) | def write_verifier_files(
  function write_test_calldata_file_generic (line 299) | def write_test_calldata_file_generic(
  function gen_groth16_verifier (line 323) | def gen_groth16_verifier(
  function _generate_verifier (line 481) | def _generate_verifier(vk_path):

FILE: hydra/garaga/starknet/groth16_contract_generator/generator_risc0.py
  function gen_risc0_groth16_verifier (line 23) | def gen_risc0_groth16_verifier(

FILE: hydra/garaga/starknet/groth16_contract_generator/generator_sp1.py
  function gen_sp1_groth16_verifier (line 17) | def gen_sp1_groth16_verifier(

FILE: hydra/garaga/starknet/groth16_contract_generator/parsing_utils.py
  class KeyPatternNotFound (line 30) | class KeyPatternNotFound(Exception):
    method __init__ (line 31) | def __init__(self, key_patterns):
  function iterate_nested_dict (line 36) | def iterate_nested_dict(d):
  function find_item_from_key_patterns (line 44) | def find_item_from_key_patterns(data: dict, key_patterns: List[str]) -> ...
  function try_parse_g1_point_from_key (line 65) | def try_parse_g1_point_from_key(
  function proj_to_affine (line 72) | def proj_to_affine(x, y, z, curve_id: CurveID) -> G1Point:
  function try_parse_g1_point (line 81) | def try_parse_g1_point(point: Any, curve_id: CurveID = None) -> G1Point:
  function try_parse_g2_point_from_key (line 103) | def try_parse_g2_point_from_key(
  function try_parse_g2_point (line 110) | def try_parse_g2_point(point: Any, curve_id: CurveID = None) -> G2Point:
  function try_guessing_curve_id_from_json (line 161) | def try_guessing_curve_id_from_json(data: dict) -> CurveID:
  class Groth16VerifyingKey (line 183) | class Groth16VerifyingKey:
    method __post_init__ (line 190) | def __post_init__(self):
    method curve_id (line 206) | def curve_id(self) -> CurveID:
    method from_dict (line 209) | def from_dict(data: dict) -> "Groth16VerifyingKey":
    method from_json (line 250) | def from_json(file_path: str | Path) -> "Groth16VerifyingKey":
    method serialize_to_cairo (line 264) | def serialize_to_cairo(self) -> str:
    method flatten (line 294) | def flatten(self) -> list[int]:
  function reverse_byte_order_uint256 (line 305) | def reverse_byte_order_uint256(value: int | bytes) -> int:
  function split_digest (line 315) | def split_digest(digest: int | bytes):
  class Groth16Proof (line 321) | class Groth16Proof:
    method __post_init__ (line 331) | def __post_init__(self):
    method is_risc0 (line 349) | def is_risc0(self) -> bool:
    method is_sp1 (line 353) | def is_sp1(self) -> bool:
    method vk_type (line 357) | def vk_type(self) -> str:
    method from_dict (line 365) | def from_dict(
    method from_json (line 428) | def from_json(
    method _from_risc0 (line 453) | def _from_risc0(
    method _from_sp1 (line 499) | def _from_sp1(
    method serialize_to_calldata (line 539) | def serialize_to_calldata(self) -> list[int]:
    method flatten (line 581) | def flatten(self, include_public_inputs: bool = True) -> list[int]:
  class ExitCode (line 592) | class ExitCode:
    method __init__ (line 593) | def __init__(self, system, user):
  class Output (line 598) | class Output:
    method __init__ (line 599) | def __init__(self, journal_digest, assumptions_digest):
    method digest (line 603) | def digest(self):
  class ReceiptClaim (line 612) | class ReceiptClaim:
    method __init__ (line 613) | def __init__(
    method digest (line 629) | def digest(self):
  function ok (line 649) | def ok(image_id, journal_digest):
  function parse_proof_and_signals (line 681) | def parse_proof_and_signals(proof: bytes) -> Groth16Proof:

FILE: hydra/garaga/starknet/honk_contract_generator/calldata.py
  function filter_msm_scalars (line 21) | def filter_msm_scalars(
  function extract_msm_scalars (line 32) | def extract_msm_scalars(
  function get_ultra_flavor_honk_calldata_from_vk_and_proof (line 39) | def get_ultra_flavor_honk_calldata_from_vk_and_proof(
  function _honk_calldata_from_vk_and_proof_rust (line 189) | def _honk_calldata_from_vk_and_proof_rust(

FILE: hydra/garaga/starknet/honk_contract_generator/generator_honk.py
  function gen_honk_verifier (line 31) | def gen_honk_verifier(
  function gen_honk_verifier_files (line 64) | def gen_honk_verifier_files(
  function _get_msm_kzg_template (line 216) | def _get_msm_kzg_template(
  function _get_circuit_code_header (line 281) | def _get_circuit_code_header():
  function _gen_circuits_code (line 295) | def _gen_circuits_code(vk: HonkVk) -> tuple[str, str, str, list[str], st...
  function _gen_contract_header (line 391) | def _gen_contract_header(function_names: list[str]) -> str:
  function _gen_constants_code (line 446) | def _gen_constants_code(vk: HonkVk) -> str:
  function _get_msm_points_array_code (line 465) | def _get_msm_points_array_code(log_n: int) -> tuple[str, tuple[int, int]]:
  function _write_and_format_project_files (line 546) | def _write_and_format_project_files(

FILE: hydra/garaga/starknet/tests_and_calldata_generators/drand_calldata.py
  function drand_round_to_calldata (line 23) | def drand_round_to_calldata(round_number: int, use_rust=False) -> list[i...
  function _drand_round_to_calldata_rust (line 58) | def _drand_round_to_calldata_rust(
  function drand_encrypt_to_calldata (line 73) | def drand_encrypt_to_calldata(
  function _drand_encrypt_to_calldata (line 91) | def _drand_encrypt_to_calldata(
  function generate_drand_decrypt_constants (line 106) | def generate_drand_decrypt_constants(

FILE: hydra/garaga/starknet/tests_and_calldata_generators/map_to_curve.py
  class MapToCurveHint (line 11) | class MapToCurveHint:
    method to_cairo (line 16) | def to_cairo(self) -> str:
    method to_calldata (line 19) | def to_calldata(self) -> list[int]:
  class HashToCurveHint (line 28) | class HashToCurveHint:
    method to_cairo (line 32) | def to_cairo(self) -> str:
    method to_calldata (line 36) | def to_calldata(self) -> list[int]:
  function build_map_to_curve_hint (line 43) | def build_map_to_curve_hint(u: PyFelt) -> tuple[G1Point, MapToCurveHint]:
  function build_hash_to_curve_hint (line 91) | def build_hash_to_curve_hint(message: bytes) -> HashToCurveHint:

FILE: hydra/garaga/starknet/tests_and_calldata_generators/mpcheck.py
  class MPCheckCalldataBuilder (line 21) | class MPCheckCalldataBuilder:
    method __hash__ (line 27) | def __hash__(self):
    method __post_init__ (line 32) | def __post_init__(self):
    method include_miller_loop_result (line 49) | def include_miller_loop_result(self):
    method field (line 53) | def field(self):
    method big_Q_expected_len (line 57) | def big_Q_expected_len(self):
    method three_limbs_only (line 61) | def three_limbs_only(self):
    method extra_miller_loop_result (line 65) | def extra_miller_loop_result(self) -> list[PyFelt] | None:
    method lines (line 77) | def lines(self) -> list[PyFelt]:
    method _init_circuit (line 82) | def _init_circuit(self) -> MultiPairingCheckCircuit:
    method _retrieve_Pis_Qis_and_Ris_from_circuit (line 104) | def _retrieve_Pis_Qis_and_Ris_from_circuit(
    method _get_passed_Ris_from_Ris (line 113) | def _get_passed_Ris_from_Ris(self, Ris: list[list[PyFelt]]) -> list[li...
    method _init_transcript (line 120) | def _init_transcript(self) -> CairoPoseidonTranscript:
    method _hash_hints_and_get_base_random_rlc_coeff (line 129) | def _hash_hints_and_get_base_random_rlc_coeff(
    method _hash_big_Q_and_get_z (line 153) | def _hash_big_Q_and_get_z(
    method _new_transcript (line 163) | def _new_transcript(self, stage_suffix: str = "") -> CairoPoseidonTran...
    method _seed_transcript_with_base_rlc (line 170) | def _seed_transcript_with_base_rlc(
    method _sanity_check_verify_rlc_equation (line 177) | def _sanity_check_verify_rlc_equation(
    method build_mpcheck_hint (line 224) | def build_mpcheck_hint(
    method _get_input_structs (line 327) | def _get_input_structs(self) -> list[structs.Cairo1SerializableStruct]:
    method to_cairo_1_test (line 355) | def to_cairo_1_test(self):
    method _serialize_to_calldata_rust (line 381) | def _serialize_to_calldata_rust(self) -> list[int]:
    method serialize_to_calldata (line 393) | def serialize_to_calldata(

FILE: hydra/garaga/starknet/tests_and_calldata_generators/msm.py
  class MSMCalldataBuilder (line 13) | class MSMCalldataBuilder:
    method __post_init__ (line 18) | def __post_init__(self):
    method __hash__ (line 29) | def __hash__(self) -> int:
    method field (line 33) | def field(self):
    method msm_size (line 37) | def msm_size(self):
    method curve (line 41) | def curve(self) -> WeierstrassCurve:
    method build_msm_hint (line 45) | def build_msm_hint(self) -> structs.StructArray:
    method _get_input_structs (line 82) | def _get_input_structs(
    method to_cairo_1_test (line 109) | def to_cairo_1_test(self, test_name: str = None, ignored=False):
    method _serialize_to_calldata_rust (line 140) | def _serialize_to_calldata_rust(
    method serialize_to_calldata (line 153) | def serialize_to_calldata(

FILE: hydra/garaga/starknet/tests_and_calldata_generators/signatures.py
  class SchnorrSignature (line 23) | class SchnorrSignature:
    method __post_init__ (line 42) | def __post_init__(self):
    method sample (line 53) | def sample(cls, curve_id: CurveID) -> "SchnorrSignature":
    method is_valid (line 96) | def is_valid(self) -> bool:
    method serialize (line 103) | def serialize(self, prepend_public_key: bool = True) -> list[int]:
    method serialize_with_hints (line 114) | def serialize_with_hints(
  class ECDSASignature (line 153) | class ECDSASignature:
    method __post_init__ (line 175) | def __post_init__(self):
    method sample (line 189) | def sample(cls, curve_id: CurveID) -> "ECDSASignature":
    method is_valid (line 237) | def is_valid(self) -> bool:
    method serialize (line 263) | def serialize(self, prepend_public_key: bool = True) -> list[int]:
    method serialize_with_hints (line 275) | def serialize_with_hints(
  class RSA2048Signature (line 319) | class RSA2048Signature:
    method from_bundle (line 328) | def from_bundle(cls, bundle: RSA2048ExponentiationWitness) -> "RSA2048...
    method sample (line 337) | def sample(cls, seed: int = 0) -> "RSA2048Signature":
    method tampered_residue_sample (line 341) | def tampered_residue_sample(cls, seed: int = 0) -> "RSA2048Signature":
    method tampered_limb_sample (line 365) | def tampered_limb_sample(cls, seed: int = 0) -> "RSA2048Signature":
    method tampered_expected_message_sample (line 389) | def tampered_expected_message_sample(cls, seed: int = 0) -> "RSA2048Si...
    method _to_bundle (line 405) | def _to_bundle(self) -> RSA2048ExponentiationWitness:
    method is_valid (line 413) | def is_valid(self) -> bool:
    method serialize_public_key (line 418) | def serialize_public_key(self) -> list[int]:
    method serialize_signature_with_hints (line 421) | def serialize_signature_with_hints(self) -> list[int]:
    method serialize (line 424) | def serialize(self, prepend_public_key: bool = True) -> list[int]:
    method serialize_with_hints (line 427) | def serialize_with_hints(
    method from_sha256_message (line 450) | def from_sha256_message(cls, message: bytes, seed: int = 0) -> "RSA204...
    method serialize_sha256_with_hints (line 454) | def serialize_sha256_with_hints(
  function _serialize_byte_array (line 484) | def _serialize_byte_array(data: bytes) -> list[int]:
  class EdDSA25519Signature (line 510) | class EdDSA25519Signature:
    method __eq__ (line 520) | def __eq__(self, other) -> bool:
    method __hash__ (line 530) | def __hash__(self) -> int:
    method __post_init__ (line 533) | def __post_init__(self):
    method curve_id (line 539) | def curve_id(self) -> CurveID:
    method curve (line 543) | def curve(self) -> TwistedEdwardsCurve:
    method from_json (line 547) | def from_json(cls, json):
    method serialize (line 562) | def serialize(self, prepend_public_key: bool = True) -> list[int]:
    method xrecover (line 574) | def xrecover(self, y: int) -> int:
    method decode_point (line 587) | def decode_point(self, compressed_point_le: int) -> G1Point:
    method deserialize_R_A_h (line 596) | def deserialize_R_A_h(self) -> tuple[G1Point, G1Point, int]:
    method is_valid (line 610) | def is_valid(self) -> bool:
    method serialize_with_hints (line 625) | def serialize_with_hints(
    method __eq__ (line 663) | def __eq__(self, other) -> bool:
    method __hash__ (line 673) | def __hash__(self) -> int:

FILE: hydra/garaga/starknet/tests_and_calldata_generators/test_writer.py
  function generate_pairing_test (line 26) | def generate_pairing_test(curve_id, n_pairs, n_fixed_g2, include_m, seed):
  function generate_msm_test (line 43) | def generate_msm_test(curve_id, n_points, seed):
  function generate_msm_test_edge_cases (line 55) | def generate_msm_test_edge_cases(curve_id, n_points, seed):
  function generate_tower_pairing_test (line 75) | def generate_tower_pairing_test(curve_id, n_pairs, seed):
  function generate_tower_final_exp_test (line 115) | def generate_tower_final_exp_test(curve_id, seed):
  function generate_schnorr_test (line 135) | def generate_schnorr_test(curve_id, seed):
  function generate_ecdsa_test (line 153) | def generate_ecdsa_test(curve_id, seed):
  function write_test_file (line 171) | def write_test_file(
  function get_tower_pairing_config (line 203) | def get_tower_pairing_config():
  function get_pairing_config (line 228) | def get_pairing_config():
  function get_msm_config (line 250) | def get_msm_config():
  function get_schnorr_config (line 277) | def get_schnorr_config():
  function get_ecdsa_config (line 299) | def get_ecdsa_config():
  function generate_eddsa_test (line 321) | def generate_eddsa_test(sig: EdDSA25519Signature, test_index: int) -> str:
  function generate_test (line 339) | def generate_test(index, vector):
  function generate_eddsa_test_file (line 344) | def generate_eddsa_test_file() -> str:
  function generate_rsa_test (line 372) | def generate_rsa_test(
  function generate_rsa_tests (line 388) | def generate_rsa_tests(seed: int) -> str:
  function generate_rsa_sha256_test (line 413) | def generate_rsa_sha256_test(
  function generate_rsa_sha256_tests (line 435) | def generate_rsa_sha256_tests(seed: int) -> str:
  function generate_rsa_test_file (line 441) | def generate_rsa_test_file() -> str:
  function write_all_tests (line 456) | def write_all_tests():

FILE: src/contracts/mutator_set/scripts/prover.py
  class StorageElement (line 12) | class StorageElement:
  class Proof (line 17) | class Proof:
  class ProverConfig (line 23) | class ProverConfig:
    method to_dict (line 31) | def to_dict(self) -> dict:
    method save_to_toml (line 45) | def save_to_toml(self, filepath: str) -> None:
    method load_from_toml (line 52) | def load_from_toml(cls, filepath: str) -> "ProverConfig":
  function create_default_config (line 72) | def create_default_config() -> ProverConfig:

FILE: src/contracts/mutator_set/scripts/regenerate_verifier.py
  class VerifierConfig (line 23) | class VerifierConfig:
    method paths (line 33) | def paths(self) -> dict:
  class VerifierGenerator (line 49) | class VerifierGenerator:
    method __init__ (line 52) | def __init__(self, config: VerifierConfig):
    method run_command (line 56) | def run_command(self, cmd: list, cwd: Optional[Path] = None) -> str:
    method update_class_hash (line 68) | def update_class_hash(self, class_hash: str):
    method generate (line 89) | def generate(self) -> bool:
  function main (line 164) | def main():

FILE: src/contracts/risc0_sample_app/fibonacci_prover/host/src/main.rs
  function main (line 10) | fn main() {

FILE: src/contracts/risc0_sample_app/fibonacci_prover/methods/build.rs
  function main (line 1) | fn main() {

FILE: src/contracts/risc0_sample_app/fibonacci_prover/methods/guest/src/main.rs
  function main (line 3) | fn main() {

FILE: src/src/ec/generate_selector_code.py
  function generate_build_selectors_inlined (line 126) | def generate_build_selectors_inlined(n_bits: int) -> str:
  function generate_build_selectors_inlined_fake_glv (line 196) | def generate_build_selectors_inlined_fake_glv(n_bits: int = 128) -> str:
  function generate_double_and_add_n (line 279) | def generate_double_and_add_n(n_points: int) -> str:

FILE: tests/benchmarks_compiled.py
  function benchmark_all_cairo_circuits (line 10) | def benchmark_all_cairo_circuits():

FILE: tests/benchmarks_manual.py
  function test_extf_mul (line 19) | def test_extf_mul(curve_id: CurveID, extension_degree: int):
  function test_extf_square (line 37) | def test_extf_square(curve_id: CurveID, extension_degree: int):
  function test_extf_mul_circuit_full (line 54) | def test_extf_mul_circuit_full(curve_id: CurveID, extension_degree: int):
  function test_square_torus_amortized (line 71) | def test_square_torus_amortized(curve_id: CurveID, extension_degree: int):
  function test_mul_torus (line 87) | def test_mul_torus(curve_id: CurveID, extension_degree: int):
  function test_final_exp_circuit (line 105) | def test_final_exp_circuit(curve_id: CurveID):
  function test_miller_n (line 130) | def test_miller_n(curve_id, n):
  function test_derive_point_from_x (line 165) | def test_derive_point_from_x(curve_id: CurveID):
  function test_msm_n_points (line 179) | def test_msm_n_points(curve_id: CurveID, n: int):
  function get_poseidon_cost (line 410) | def get_poseidon_cost(curve_name: CurveID) -> int:
  function calculate_row_cost (line 417) | def calculate_row_cost(row):

FILE: tests/contracts_e2e/e2e_test.py
  function get_contract_if_exists (line 84) | async def get_contract_if_exists(
  function test_groth16_contracts (line 97) | async def test_groth16_contracts(account_devnet: BaseAccount, contract_i...
  function test_drand_contract (line 189) | async def test_drand_contract(account_devnet: BaseAccount, contract_info...
  function test_drand_decrypt_contract (line 263) | async def test_drand_decrypt_contract(account_devnet: BaseAccount, contr...
  function test_honk_contracts (line 385) | async def test_honk_contracts(account_devnet: BaseAccount, contract_info...
  function test_risc0_sample_app (line 464) | async def test_risc0_sample_app(account_devnet: BaseAccount):

FILE: tests/contracts_e2e/fixtures/accounts.py
  class AccountPrerequisites (line 32) | class AccountPrerequisites:
  function devnet_account_details (line 39) | async def devnet_account_details(
  function mint_token_on_devnet (line 82) | async def mint_token_on_devnet(url: str, address: int, amount: int, unit...
  function full_node_account (line 92) | def full_node_account(client_devnet: FullNodeClient) -> BaseAccount:
  class AccountToBeDeployedDetailsFactory (line 108) | class AccountToBeDeployedDetailsFactory:
    method get (line 113) | async def get(
  function deploy_account_details_factory (line 141) | async def deploy_account_details_factory(
  function pre_deployed_account_with_validate_deploy (line 161) | def pre_deployed_account_with_validate_deploy(client) -> BaseAccount:
  function argent_account_v040_data (line 178) | async def argent_account_v040_data(
  function argent_account_v040 (line 204) | async def argent_account_v040(

FILE: tests/contracts_e2e/fixtures/clients.py
  function create_full_node_client_devnet (line 8) | def create_full_node_client_devnet(devnet) -> FullNodeClient:
  function create_full_node_client_sepolia (line 13) | def create_full_node_client_sepolia() -> FullNodeClient:

FILE: tests/contracts_e2e/fixtures/constants.py
  function _get_env_or_throw (line 10) | def _get_env_or_throw(env_name: str) -> str:
  function _get_env_lambda (line 21) | def _get_env_lambda(env_name):

FILE: tests/contracts_e2e/fixtures/devnet.py
  function get_available_port (line 13) | def get_available_port() -> int:
  function start_devnet (line 20) | def start_devnet(fork_mode: bool = False):
  function get_start_devnet_command (line 30) | def get_start_devnet_command(devnet_port: int, fork_mode: bool = False) ...
  function devnet (line 61) | def devnet() -> Generator[str, None, None]:
  function devnet_forking_mode (line 71) | def devnet_forking_mode() -> Generator[str, None, None]:

FILE: tests/contracts_e2e/utils.py
  function _new_address (line 19) | def _new_address(
  function prepay_account (line 35) | async def prepay_account(
  function get_deploy_account_transaction (line 59) | async def get_deploy_account_transaction(
  function _get_random_private_key_unsafe (line 80) | def _get_random_private_key_unsafe() -> int:
  function create_empty_block (line 88) | async def create_empty_block(http_client: HttpClient) -> None:

FILE: tests/hydra/algebra/test_polynomial.py
  function test_xgcd (line 13) | def test_xgcd(degree_x: int, degree_y: int):
  function test_lagrange_interpolation (line 29) | def test_lagrange_interpolation(degree: int):

FILE: tests/hydra/algebra/test_pyfelt.py
  function test_pyfelt_addition (line 9) | def test_pyfelt_addition():
  function test_pyfelt_subtraction (line 18) | def test_pyfelt_subtraction():
  function test_pyfelt_multiplication (line 27) | def test_pyfelt_multiplication():
  function test_pyfelt_division (line 36) | def test_pyfelt_division():
  function test_pyfelt_negation (line 44) | def test_pyfelt_negation():
  function test_pyfelt_inversion (line 49) | def test_pyfelt_inversion():
  function test_pyfelt_exponentiation (line 57) | def test_pyfelt_exponentiation():
  function test_pyfelt_equality (line 63) | def test_pyfelt_equality():
  function test_pyfelt_comparison (line 73) | def test_pyfelt_comparison():
  function test_pyfelt_quadratic_residue (line 87) | def test_pyfelt_quadratic_residue():
  function test_pyfelt_sqrt (line 94) | def test_pyfelt_sqrt():
  function test_pyfelt_repr (line 102) | def test_pyfelt_repr():
  function test_pyfelt_invalid_operations (line 107) | def test_pyfelt_invalid_operations():

FILE: tests/hydra/algebra/test_tower_final_exp.py
  function test_tower_final_exp (line 10) | def test_tower_final_exp(curve_id):
  function test_tower_final_exp_zero_numerator (line 24) | def test_tower_final_exp_zero_numerator(curve_id):

FILE: tests/hydra/circuits/test_ec.py
  function test_double_point_g1 (line 10) | def test_double_point_g1(curve_id: CurveID):
  function test_add_point_g1 (line 31) | def test_add_point_g1(curve_id: CurveID):
  function test_double_point_g2 (line 51) | def test_double_point_g2(curve_id: CurveID):
  function test_add_point_g2 (line 71) | def test_add_point_g2(curve_id: CurveID):

FILE: tests/hydra/circuits/test_honk.py
  function convert_pairing_points_to_g1 (line 24) | def convert_pairing_points_to_g1(
  function generate_recursion_separator (line 46) | def generate_recursion_separator(
  function test_verify_honk_proof (line 78) | def test_verify_honk_proof(proof_path: str, system: ProofSystem):
  function test_check_evals_consistency (line 198) | def test_check_evals_consistency(proof_path: str, system: ProofSystem):

FILE: tests/hydra/circuits/test_multi_miller_loop.py
  function circuit_and_points (line 27) | def circuit_and_points(
  function test_precomputed_and_without_precompute_gives_same_output (line 46) | def test_precomputed_and_without_precompute_gives_same_output(
  function test_partially_precomputed_and_without_precompute_gives_same_output (line 71) | def test_partially_precomputed_and_without_precompute_gives_same_output(
  function test_prod_miller_loop_equals_multi_miller_loop (line 95) | def test_prod_miller_loop_equals_multi_miller_loop(

FILE: tests/hydra/hints/test_ecip.py
  function test_verify_ecip (line 15) | def test_verify_ecip(curve_id, msm_size):
  function test_verify_ecip_edge_cases (line 41) | def test_verify_ecip_edge_cases(curve_id, msm_size):

FILE: tests/hydra/hints/test_eisenstein.py
  function test_neg_twice_invariant (line 39) | def test_neg_twice_invariant(a: EisensteinInteger):
  function test_conj_twice_invariant (line 46) | def test_conj_twice_invariant(a: EisensteinInteger):
  function test_add_sub_invariant (line 53) | def test_add_sub_invariant(a: EisensteinInteger, b: EisensteinInteger):
  function test_sub_add_invariant (line 60) | def test_sub_add_invariant(a: EisensteinInteger, b: EisensteinInteger):
  function test_add_zero_invariant (line 67) | def test_add_zero_invariant(a: EisensteinInteger):
  function test_mul_one_invariant (line 75) | def test_mul_one_invariant(a: EisensteinInteger):
  function test_mul_zero (line 83) | def test_mul_zero(a: EisensteinInteger):
  function test_add_commutative (line 91) | def test_add_commutative(a: EisensteinInteger, b: EisensteinInteger):
  function test_add_associative (line 102) | def test_add_associative(
  function test_mul_commutative (line 111) | def test_mul_commutative(a: EisensteinInteger, b: EisensteinInteger):
  function test_mul_associative (line 122) | def test_mul_associative(
  function test_distributive (line 135) | def test_distributive(a: EisensteinInteger, b: EisensteinInteger, c: Eis...
  function test_sub_definition (line 143) | def test_sub_definition(a: EisensteinInteger, b: EisensteinInteger):
  function test_norm_positive (line 150) | def test_norm_positive(a: EisensteinInteger):
  function test_half_gcd (line 159) | def test_half_gcd(a: EisensteinInteger, b: EisensteinInteger):
  function test_specific_cases (line 184) | def test_specific_cases():
  function test_zero_division (line 202) | def test_zero_division():
  function test_half_gcd_a_zero (line 231) | def test_half_gcd_a_zero():

FILE: tests/hydra/hints/test_fake_glv.py
  function test_half_gcd_eisenstein_hint (line 22) | def test_half_gcd_eisenstein_hint(curve_id):
  function test_glv_fake_glv (line 41) | def test_glv_fake_glv(curve_id):
  function test_glv_fake_glv_bls12_381_2 (line 55) | def test_glv_fake_glv_bls12_381_2():
  function test_glv_fake_glv_bls12_381_3 (line 77) | def test_glv_fake_glv_bls12_381_3():
  function test_scalar_mul_fake_glv (line 96) | def test_scalar_mul_fake_glv(curve_id):

FILE: tests/hydra/hints/test_final_exp_witness.py
  function test_final_exp_witness (line 23) | def test_final_exp_witness(seed, curve_id):
  function test_mpcheck (line 92) | def test_mpcheck(curve_id: CurveID, n_pairs: int, include_m: bool):

FILE: tests/hydra/hints/test_frobenius.py
  function test_get_frobenius_maps (line 10) | def test_get_frobenius_maps(curve_id, extension_degree, frob_power):

FILE: tests/hydra/hints/test_neg3.py
  function test_params (line 9) | def test_params():
  function test_neg_3_base_le (line 13) | def test_neg_3_base_le(test_params):
  function test_positive_negative_multiplicities (line 20) | def test_positive_negative_multiplicities(test_params):

FILE: tests/hydra/starknet/test_calldata.py
  function test_mpc_calldata_builder (line 23) | def test_mpc_calldata_builder(
  function test_msm_calldata_builder (line 55) | def test_msm_calldata_builder(
  function test_drand_randomness_to_calldata (line 91) | def test_drand_randomness_to_calldata(
  function test_drand_encrypt_to_round_calldata (line 112) | def test_drand_encrypt_to_round_calldata(

FILE: tests/hydra/starknet/test_groth16_vk_proof_parsing.py
  function test_vk_parsing (line 26) | def test_vk_parsing(vk_path: str):
  function test_proof_parsing (line 46) | def test_proof_parsing(proof_path: str):
  function test_proof_parsing_with_public_input (line 59) | def test_proof_parsing_with_public_input(proof_path: str, pub_inputs_pat...
  function test_calldata_generation (line 84) | def test_calldata_generation(

FILE: tests/hydra/starknet/test_honk_vk_proof_parsing.py
  function test_vk_parsing (line 18) | def test_vk_parsing(vk_path: str, vk_hash_path: str):
  function test_proof_parsing (line 38) | def test_proof_parsing(
  function test_calldata_generation (line 62) | def test_calldata_generation(

FILE: tests/hydra/starknet/test_signatures_calldata.py
  function test_schnorr_calldata_builder (line 18) | def test_schnorr_calldata_builder(curve_id, prepend_public_key):
  function test_ecdsa_calldata_builder (line 41) | def test_ecdsa_calldata_builder(curve_id, prepend_public_key):
  function test_eddsa_25519_signatures (line 63) | def test_eddsa_25519_signatures(prepend_public_key, full=False):
  function test_rsa2048_calldata_lengths (line 89) | def test_rsa2048_calldata_lengths(prepend_public_key):
  function test_rsa2048_calldata_public_key_prefix (line 98) | def test_rsa2048_calldata_public_key_prefix():
  function test_rsa2048_calldata_builder (line 109) | def test_rsa2048_calldata_builder(prepend_public_key):
  function test_rsa2048_sha256_calldata_builder (line 128) | def test_rsa2048_sha256_calldata_builder(prepend_public_key, message):

FILE: tests/hydra/test_bls18_381_map_to_curve.py
  function test_bls18_381_map_to_curve_g2_non_quadratic (line 5) | def test_bls18_381_map_to_curve_g2_non_quadratic():
  function test_bls18_381_map_to_curve_g2_quadratic (line 86) | def test_bls18_381_map_to_curve_g2_quadratic():
  function test_bls18_381_map_to_curve_g1_quadratic (line 167) | def test_bls18_381_map_to_curve_g1_quadratic():
  function test_bls18_381_map_to_curve_g1_non_quadratic (line 214) | def test_bls18_381_map_to_curve_g1_non_quadratic():

FILE: tests/hydra/test_cofactor_clearing.py
  function test_cofactor_clearing (line 11) | def test_cofactor_clearing():
  function test_cofactor_clearing_g1 (line 84) | def test_cofactor_clearing_g1():

FILE: tests/hydra/test_drand.py
  function test_drand_sig_verification (line 21) | def test_drand_sig_verification(round_number: int):
  function test_tlock_encrypt_decrypt (line 54) | def test_tlock_encrypt_decrypt(round: int):
  function test_tlock_encrypt_same_message_gives_different_ciphertexts (line 75) | def test_tlock_encrypt_same_message_gives_different_ciphertexts(round: i...
  function test_all_base_urls_return_chains (line 103) | def test_all_base_urls_return_chains():

FILE: tests/hydra/test_extension_field_modulo_circuit.py
  function circuit (line 19) | def circuit(request) -> tuple[ExtensionFieldModuloCircuit, list[ModuloCi...
  function test_eval (line 38) | def test_eval(circuit: tuple[ExtensionFieldModuloCircuit, list[ModuloCir...
  function generate_random_sparsity (line 49) | def generate_random_sparsity(
  function test_eval_sparse (line 63) | def test_eval_sparse(

FILE: tests/hydra/test_g1_point.py
  function test_weierstrass_to_twistededwards_and_back (line 11) | def test_weierstrass_to_twistededwards_and_back(curve_id):
  function test_fp_generator (line 25) | def test_fp_generator(curve_id):
  function test_g1point_equality (line 36) | def test_g1point_equality(curve_id):
  function test_g1point_infinity (line 45) | def test_g1point_infinity(curve_id):
  function test_g1point_on_curve (line 51) | def test_g1point_on_curve(curve_id):
  function test_g1point_not_on_curve (line 57) | def test_g1point_not_on_curve(curve_id):
  function test_g1point_scalar_mul (line 64) | def test_g1point_scalar_mul(curve_id):
  function test_g1point_addition (line 71) | def test_g1point_addition(curve_id):
  function test_g1point_addition_with_negative_point (line 79) | def test_g1point_addition_with_negative_point(curve_id):
  function test_g1point_negation (line 87) | def test_g1point_negation(curve_id):
  function test_g1point_msm (line 95) | def test_g1point_msm(curve_id):
  function test_g1point_gen_random_point (line 105) | def test_g1point_gen_random_point(curve_id):
  function test_g1point_gen_random_point_not_in_subgroup (line 111) | def test_g1point_gen_random_point_not_in_subgroup(curve_id):
  function test_g1point_to_cairo_1 (line 120) | def test_g1point_to_cairo_1(curve_id):
  function test_g1point_doubling (line 127) | def test_g1point_doubling(curve_id):
  function test_g1point_addition_vs_doubling (line 134) | def test_g1point_addition_vs_doubling(curve_id):
  function test_g1point_msm_vs_scalar_mul (line 142) | def test_g1point_msm_vs_scalar_mul(curve_id):
  function test_g1point_scalar_mul_zero (line 152) | def test_g1point_scalar_mul_zero(curve_id):
  function test_g1point_scalar_mul_one (line 159) | def test_g1point_scalar_mul_one(curve_id):
  function test_g1point_scalar_mul_negative (line 166) | def test_g1point_scalar_mul_negative(curve_id):
  function test_g1point_scalar_mul_large (line 173) | def test_g1point_scalar_mul_large(curve_id):
  function test_g1point_scalar_mul_invalid (line 181) | def test_g1point_scalar_mul_invalid(curve_id):
  function test_g1point_scalar_mul_order (line 188) | def test_g1point_scalar_mul_order(curve_id):
  function test_g1point_scalar_mul_larger_than_order (line 195) | def test_g1point_scalar_mul_larger_than_order(curve_id):
  function test_is_in_subgroup (line 205) | def test_is_in_subgroup(curve_id):

FILE: tests/hydra/test_g2_point.py
  function get_g2_generator_point (line 12) | def get_g2_generator_point(curve_id):
  function test_g2point_equality (line 17) | def test_g2point_equality(curve_id):
  function test_ng2 (line 26) | def test_ng2(curve_id):
  function test_g2point_infinity (line 34) | def test_g2point_infinity(curve_id):
  function test_g2point_on_curve (line 40) | def test_g2point_on_curve(curve_id):
  function test_g2point_not_on_curve (line 46) | def test_g2point_not_on_curve(curve_id):
  function test_g2point_scalar_mul (line 52) | def test_g2point_scalar_mul(curve_id):
  function test_g2point_addition (line 59) | def test_g2point_addition(curve_id):
  function test_g2point_negation (line 67) | def test_g2point_negation(curve_id):
  function test_g2point_msm (line 75) | def test_g2point_msm(curve_id):
  function test_g2point_gen_random_point (line 85) | def test_g2point_gen_random_point(curve_id):
  function test_g2point_scalar_mul_zero (line 91) | def test_g2point_scalar_mul_zero(curve_id):
  function test_g2point_scalar_mul_one (line 98) | def test_g2point_scalar_mul_one(curve_id):
  function test_g2point_scalar_mul_negative (line 105) | def test_g2point_scalar_mul_negative(curve_id):
  function test_g2point_scalar_mul_large (line 112) | def test_g2point_scalar_mul_large(curve_id):
  function test_g2point_scalar_mul_invalid (line 120) | def test_g2point_scalar_mul_invalid(curve_id):
  function test_g2point_scalar_mul_order (line 127) | def test_g2point_scalar_mul_order(curve_id):
  function test_g2point_scalar_mul_larger_than_order (line 134) | def test_g2point_scalar_mul_larger_than_order(curve_id):
  function test_g2point_scalar_mul_larger_than_order_random_points (line 141) | def test_g2point_scalar_mul_larger_than_order_random_points(curve_id):
  function test_is_in_subgroup (line 154) | def test_is_in_subgroup(curve_id):

FILE: tests/hydra/test_isogeny.py
  function test_isogeny_g2 (line 5) | def test_isogeny_g2():
  function test_isogeny_g1 (line 68) | def test_isogeny_g1():

FILE: tests/hydra/test_poseidon_hash.py
  function test_poseidon_hash_bn254 (line 9) | def test_poseidon_hash_bn254():

FILE: tests/hydra/test_rsa_rns.py
  function eval_chunks_mod (line 21) | def eval_chunks_mod(chunks: tuple[int, ...], step: int, modulus: int) ->...
  function test_rsa_channel_moduli_are_pairwise_coprime (line 29) | def test_rsa_channel_moduli_are_pairwise_coprime():
  function test_rsa_chunk_steps_match_chunk_radix_mod_channel_moduli (line 38) | def test_rsa_chunk_steps_match_chunk_radix_mod_channel_moduli():
  function test_rsa_chunk_horner_evaluation_matches_residues (line 55) | def test_rsa_chunk_horner_evaluation_matches_residues():
  function test_rsa_context_exactness_bound (line 78) | def test_rsa_context_exactness_bound():
  function test_rsa_sample_is_valid (line 83) | def test_rsa_sample_is_valid():
  function test_rsa_verification_path_uses_expected_reductions (line 92) | def test_rsa_verification_path_uses_expected_reductions():
  function test_rsa_tampered_residue_is_invalid (line 105) | def test_rsa_tampered_residue_is_invalid():
  function test_rsa_tampered_limb_is_invalid (line 109) | def test_rsa_tampered_limb_is_invalid():
  function test_rsa_tampered_expected_message_is_invalid (line 113) | def test_rsa_tampered_expected_message_is_invalid():
  function test_pkcs1_v1_5_encode_sha256_structure (line 117) | def test_pkcs1_v1_5_encode_sha256_structure():
  function test_rsa2048_sha256_witness_is_valid (line 131) | def test_rsa2048_sha256_witness_is_valid():
  function test_rsa2048_sha256_byte_array_serialization (line 144) | def test_rsa2048_sha256_byte_array_serialization():

FILE: tools/addchain/gen_rust_addchain.py
  class Var (line 28) | class Var:
  class Add (line 33) | class Add:
  class Shift (line 39) | class Shift:
  class Token (line 48) | class Token:
  function tokenize (line 53) | def tokenize(expr: str) -> List[Token]:
  class Parser (line 87) | class Parser:
    method __init__ (line 88) | def __init__(self, tokens: List[Token]) -> None:
    method _peek (line 92) | def _peek(self) -> Token | None:
    method _peek_next (line 97) | def _peek_next(self) -> Token | None:
    method _match (line 102) | def _match(self, kind: str, value: str | None = None) -> bool:
    method _expect (line 111) | def _expect(self, kind: str, value: str | None = None) -> Token:
    method parse (line 124) | def parse(self) -> Expr:
    method _parse_expr (line 130) | def _parse_expr(self) -> Expr:
    method _parse_chain (line 137) | def _parse_chain(self) -> Expr:
    method _parse_term (line 149) | def _parse_term(self) -> Expr:
    method _parse_atom (line 160) | def _parse_atom(self) -> Expr:
  function parse_expr (line 179) | def parse_expr(expr: str) -> Expr:
  function load_chain (line 184) | def load_chain(path: Path) -> Tuple[List[Tuple[str, Expr]], Expr]:
  class Emitter (line 202) | class Emitter:
    method __init__ (line 203) | def __init__(self) -> None:
    method _temp (line 206) | def _temp(self) -> str:
    method emit_expr (line 211) | def emit_expr(self, expr: Expr, lines: List[str]) -> str:
    method emit_assignment (line 229) | def emit_assignment(self, name: str, expr: Expr, indent: str) -> str:
  function emit_chain_function (line 240) | def emit_chain_function(name: str, defs: List[Tuple[str, Expr]], ret: Ex...
  function main (line 251) | def main() -> int:

FILE: tools/garaga_rs/src/algebra/extf_mul.rs
  function nondeterministic_extension_field_mul_divmod (line 9) | pub fn nondeterministic_extension_field_mul_divmod<F: IsPrimeField + Cur...
  function nondeterministic_extension_field_div (line 31) | pub fn nondeterministic_extension_field_div<F, E2, E6, E12>(
  function tower_to_direct (line 48) | pub fn tower_to_direct<F>(x: &[FieldElement<F>], ext_degree: usize) -> V...
  function direct_to_tower (line 82) | pub fn direct_to_tower<F>(x: &[FieldElement<F>], ext_degree: usize) -> V...
  function tower_mul (line 116) | pub fn tower_mul<F, E2, E6, E12>(
  function tower_div (line 152) | pub fn tower_div<F, E2, E6, E12>(
  function tower_inv (line 188) | pub fn tower_inv<F, E2, E6, E12>(a: &[FieldElement<F>], ext_degree: usiz...
  function to_e2 (line 200) | pub fn to_e2<F, E2>(v: [FieldElement<F>; 2]) -> FieldElement<E2>
  function to_e6 (line 208) | pub fn to_e6<F, E2, E6>(v: [FieldElement<F>; 6]) -> FieldElement<E6>
  function to_e12 (line 218) | pub fn to_e12<F, E2, E6, E12>(v: [FieldElement<F>; 12]) -> FieldElement<...
  function from_e2 (line 232) | pub fn from_e2<F, E2>(v: FieldElement<E2>) -> [FieldElement<F>; 2]
  function from_e6 (line 241) | pub fn from_e6<F, E2, E6>(v: FieldElement<E6>) -> [FieldElement<F>; 6]
  function from_e12 (line 254) | pub fn from_e12<F, E2, E6, E12>(v: FieldElement<E12>) -> [FieldElement<F...
  function e2_conjugate (line 267) | pub fn e2_conjugate<F, E2>(a: FieldElement<E2>) -> FieldElement<E2>
  function test_nondeterministic_extension_field_mul_divmod_1 (line 282) | fn test_nondeterministic_extension_field_mul_divmod_1() {
  function test_nondeterministic_extension_field_mul_divmod_2 (line 368) | fn test_nondeterministic_extension_field_mul_divmod_2() {
  function test_nondeterministic_extension_field_mul_divmod_3 (line 441) | fn test_nondeterministic_extension_field_mul_divmod_3() {
  function nondeterministic_extension_field_div_1 (line 478) | fn nondeterministic_extension_field_div_1() {
  function nondeterministic_extension_field_div_2 (line 519) | fn nondeterministic_extension_field_div_2() {
  function nondeterministic_extension_field_div_3 (line 579) | fn nondeterministic_extension_field_div_3() {

FILE: tools/garaga_rs/src/algebra/g1g2pair.rs
  type G1G2Pair (line 7) | pub struct G1G2Pair<F, E2>
  function new (line 21) | pub fn new(g1: G1Point<F>, g2: G2Point<F, E2>) -> Self {
  function flatten (line 24) | pub fn flatten(&self) -> Vec<FieldElement<F>> {

FILE: tools/garaga_rs/src/algebra/g1point.rs
  type G1Point (line 6) | pub struct G1Point<F: IsPrimeField> {
  function is_infinity (line 13) | pub fn is_infinity(&self) -> bool {
  function representative (line 17) | pub fn representative(&self) -> String {
  function get_coords (line 27) | pub fn get_coords(&self) -> ([FieldElement<F>; 1], [FieldElement<F>; 1]) {
  function new (line 31) | pub fn new(x: FieldElement<F>, y: FieldElement<F>, iso_point: bool) -> R...
  function new_unchecked (line 43) | pub fn new_unchecked(x: FieldElement<F>, y: FieldElement<F>, iso_point: ...
  function add (line 47) | pub fn add(&self, other: &G1Point<F>) -> G1Point<F> {
  function neg (line 87) | pub fn neg(&self) -> Self {
  function scalar_mul_neg_3 (line 95) | pub fn scalar_mul_neg_3(&self) -> G1Point<F> {
  function scalar_mul (line 100) | pub fn scalar_mul(&self, scalar: BigInt) -> G1Point<F> {
  function is_on_curve (line 143) | pub fn is_on_curve(&self) -> bool {
  function print (line 158) | pub fn print(&self) {
  function generator (line 166) | pub fn generator() -> Self {
  function msm (line 173) | pub fn msm(points: &[Self], scalars: &[BigUint]) -> Self {
  function new_infinity (line 183) | pub fn new_infinity() -> Self {
  method eq (line 189) | fn eq(&self, other: &Self) -> bool {

FILE: tools/garaga_rs/src/algebra/g2point.rs
  type G2Point (line 9) | pub struct G2Point<F, E2>
  function get_coords (line 23) | pub fn get_coords(&self) -> ([FieldElement<F>; 2], [FieldElement<F>; 2]) {
  function representative (line 27) | pub fn representative(&self) -> String {
  function new (line 37) | pub fn new(x: [FieldElement<F>; 2], y: [FieldElement<F>; 2]) -> Result<S...
  function new_unchecked (line 55) | pub fn new_unchecked(x: FieldElement<E2>, y: FieldElement<E2>) -> Self {
  function is_infinity (line 59) | pub fn is_infinity(&self) -> bool {
  function neg (line 64) | pub fn neg(&self) -> Self {
  function is_on_curve (line 72) | pub fn is_on_curve(&self) -> bool {
  function generator (line 83) | pub fn generator() -> Self {
  function compute_doubling_slope (line 94) | pub fn compute_doubling_slope(a: &Self) -> FieldElement<E2> {
  function compute_adding_slope (line 103) | pub fn compute_adding_slope(a: &Self, b: &Self) -> FieldElement<E2> {
  function new_infinity (line 107) | pub fn new_infinity() -> Self {
  function add (line 112) | pub fn add<C>(&self, other: &G2Point<F, E2>) -> G2Point<F, E2>
  function scalar_mul (line 119) | pub fn scalar_mul<C>(&self, scalar: BigInt) -> G2Point<F, E2>
  function g2_point_add (line 150) | fn g2_point_add<F, E2, C>(a: G2Point<F, E2>, b: G2Point<F, E2>) -> G2Poi...
  function g2_point_scalar_mul (line 171) | fn g2_point_scalar_mul<F, E2, C>(a: G2Point<F, E2>, k: BigUint) -> G2Poi...

FILE: tools/garaga_rs/src/algebra/polynomial.rs
  type Polynomial (line 5) | pub struct Polynomial<F: IsPrimeField> {
  function get_coefficients_ext_degree (line 12) | pub fn get_coefficients_ext_degree(&self, ext_degree: usize) -> Vec<Fiel...
  function new (line 19) | pub fn new(mut coefficients: Vec<FieldElement<F>>) -> Self {
  function print_as_sage_poly (line 41) | pub fn print_as_sage_poly(&self) -> String {
  function degree (line 75) | pub fn degree(&self) -> isize {
  function evaluate (line 80) | pub fn evaluate(&self, x: &FieldElement<F>) -> FieldElement<F> {
  function leading_coefficient (line 93) | pub fn leading_coefficient(&self) -> FieldElement<F> {
  function zero (line 100) | pub fn zero() -> Self {
  function one (line 107) | pub fn one() -> Self {
  function mul_with_ref (line 114) | pub fn mul_with_ref(&self, other: &Polynomial<F>) -> Polynomial<F> {
  function divmod (line 135) | pub fn divmod(self, denominator: &Self) -> (Self, Self) {
  function shift (line 169) | pub fn shift(&self, shift: usize) -> Self {
  function divfloor (line 183) | pub fn divfloor(&self, denominator: &Self) -> Self {
  function differentiate (line 188) | pub fn differentiate(&self) -> Self {
  function xgcd (line 208) | pub fn xgcd(&self, other: &Polynomial<F>) -> (Polynomial<F>, Polynomial<...
  function div_with_ref (line 240) | pub fn div_with_ref(self, dividend: &Self) -> Self {
  function scale_by_coeff (line 245) | pub fn scale_by_coeff(&self, coeff: &FieldElement<F>) -> Polynomial<F> {
  function pad_with_zero_coefficients_to_length (line 264) | pub fn pad_with_zero_coefficients_to_length<F: IsPrimeField>(pa: &mut Po...
  function pad_with_zero_coefficients (line 270) | pub fn pad_with_zero_coefficients<F: IsPrimeField>(
  type Output (line 286) | type Output = Polynomial<F>;
  function add (line 288) | fn add(self, a_polynomial: &Polynomial<F>) -> Self::Output {
  type Output (line 327) | type Output = Polynomial<F>;
  function add (line 329) | fn add(self, other: Polynomial<F>) -> Polynomial<F> {
  type Output (line 369) | type Output = Polynomial<F>;
  function neg (line 371) | fn neg(self) -> Polynomial<F> {
  type Output (line 384) | type Output = Polynomial<F>;
  function neg (line 386) | fn neg(self) -> Polynomial<F> {
  type Output (line 392) | type Output = Polynomial<F>;
  function sub (line 394) | fn sub(self, other: Polynomial<F>) -> Polynomial<F> {
  method eq (line 408) | fn eq(&self, other: &Self) -> bool {
  type Output (line 431) | type Output = Polynomial<F>;
  function mul (line 432) | fn mul(self, factor: &Polynomial<F>) -> Polynomial<F> {
  type Output (line 438) | type Output = Polynomial<F>;
  function mul (line 439) | fn mul(self, factor: Polynomial<F>) -> Polynomial<F> {
  type Output (line 445) | type Output = Polynomial<F>;
  function mul (line 446) | fn mul(self, factor: Polynomial<F>) -> Polynomial<F> {
  type Output (line 452) | type Output = Polynomial<F>;
  function mul (line 453) | fn mul(self, factor: &Polynomial<F>) -> Polynomial<F> {

FILE: tools/garaga_rs/src/algebra/rational_function.rs
  type RationalFunction (line 6) | pub struct RationalFunction<F: IsPrimeField> {
  function new (line 12) | pub fn new(numerator: Polynomial<F>, denominator: Polynomial<F>) -> Self {
  function simplify (line 19) | pub fn simplify(&self) -> RationalFunction<F> {
  function evaluate (line 30) | pub fn evaluate(&self, x: FieldElement<F>) -> FieldElement<F> {
  function scale_by_coeff (line 34) | pub fn scale_by_coeff(&self, coeff: FieldElement<F>) -> RationalFunction...
  type Output (line 43) | type Output = RationalFunction<F>;
  function add (line 45) | fn add(self, other: RationalFunction<F>) -> RationalFunction<F> {
  type FunctionFelt (line 55) | pub struct FunctionFelt<F: IsPrimeField> {
  function new (line 61) | pub fn new(a: RationalFunction<F>, b: RationalFunction<F>) -> Self {
  function simplify (line 65) | pub fn simplify(&self) -> FunctionFelt<F> {
  function evaluate (line 69) | pub fn evaluate(&self, x: FieldElement<F>, y: &FieldElement<F>) -> Field...
  function scale_by_coeff (line 73) | pub fn scale_by_coeff(&self, coeff: FieldElement<F>) -> FunctionFelt<F> {
  function print_as_sage_poly (line 83) | pub fn print_as_sage_poly(&self) -> String {
  type Output (line 95) | type Output = FunctionFelt<F>;
  function add (line 97) | fn add(self, other: FunctionFelt<F>) -> FunctionFelt<F> {

FILE: tools/garaga_rs/src/calldata/drand_calldata.rs
  function drand_calldata_builder (line 20) | pub fn drand_calldata_builder(values: &[BigUint]) -> Result<Vec<BigUint>...
  function drand_randomness_to_calldata (line 57) | pub fn drand_randomness_to_calldata(round: RandomnessBeacon) -> Result<V...
  function drand_round_to_calldata (line 95) | pub fn drand_round_to_calldata(round_number: usize) -> Result<Vec<BigUin...
  function digest_func (line 101) | pub fn digest_func(round_number: u64) -> [u8; 32] {
  function hash_to_curve (line 107) | pub fn hash_to_curve<F>(message: [u8; 32], hash_name: &str) -> Result<G1...
  function map_to_curve (line 137) | fn map_to_curve<F>(field_element: FieldElement<F>) -> G1Point<F>
  function hash_to_field (line 191) | fn hash_to_field<F>(
  function hash_to_bytes (line 211) | fn hash_to_bytes<H: Hasher>(message: [u8; 32], count: usize, len_per_ele...
  function get_len_per_elem (line 233) | fn get_len_per_elem<F>(sec_param: Option<usize>) -> usize
  function is_quad_residue (line 244) | fn is_quad_residue<F: IsPrimeField>(element: &FieldElement<F>) -> bool {
  function min_sqrt (line 252) | fn min_sqrt<F>(element: &FieldElement<F>) -> FieldElement<F>
  function max_sqrt (line 265) | fn max_sqrt<F>(element: &FieldElement<F>) -> FieldElement<F>
  type Hasher (line 278) | pub trait Hasher: Clone {
    method new (line 279) | fn new() -> Self;
    method reset (line 280) | fn reset(&mut self);
    method update (line 281) | fn update(&mut self, bytes: &[u8]);
    method digest_size (line 282) | fn digest_size(&self) -> usize;
    method digest (line 283) | fn digest(&self) -> Vec<u8>;
    method new (line 292) | fn new() -> Self {
    method reset (line 295) | fn reset(&mut self) {
    method update (line 298) | fn update(&mut self, bytes: &[u8]) {
    method digest_size (line 301) | fn digest_size(&self) -> usize {
    method digest (line 304) | fn digest(&self) -> Vec<u8> {
  type Sha256Hasher (line 287) | pub struct Sha256Hasher {
  constant G1_DOMAIN (line 309) | const G1_DOMAIN: &[u8] = b"BLS_SIG_BLS12381G1_XMD:SHA-256_SSWU_RO_NUL_";
  constant DST (line 310) | const DST: &[u8] = G1_DOMAIN;
  constant LONG_DST_PREFIX (line 311) | const LONG_DST_PREFIX: &[u8] = b"H2C-OVERSIZE-DST-";
  constant MAX_DST_LENGTH (line 312) | const MAX_DST_LENGTH: usize = 255;
  type ExpanderXmd (line 314) | pub struct ExpanderXmd<H: Hasher> {
  function new (line 321) | fn new(dst: &[u8], block_size: usize) -> Self {
  function construct_dst_prime (line 328) | fn construct_dst_prime(&self) -> Vec<u8> {
  function expand_message_xmd (line 340) | fn expand_message_xmd(&mut self, msg: &[u8], n: u16) -> Vec<u8> {
  function apply_isogeny (line 390) | fn apply_isogeny<F>(pt: G1Point<F>) -> G1Point<F>
  function get_isogeny_to_g1_map (line 402) | fn get_isogeny_to_g1_map<F>() -> (RationalFunction<F>, RationalFunction<F>)
  type MapToCurveHint (line 491) | pub struct MapToCurveHint {
    method to_calldata (line 498) | fn to_calldata(&self) -> Vec<BigUint> {
  type HashToCurveHint (line 507) | pub struct HashToCurveHint {
    method to_calldata (line 513) | fn to_calldata(&self) -> Result<Vec<BigUint>, String> {
  function build_hash_to_curve_hint (line 521) | fn build_hash_to_curve_hint(message: [u8; 32]) -> Result<HashToCurveHint...
  function build_map_to_curve_hint (line 530) | fn build_map_to_curve_hint(u: FieldElement<BLS12381PrimeField>) -> MapTo...
  function get_base_urls (line 578) | pub fn get_base_urls() -> Vec<&'static str> {
  type DrandNetwork (line 587) | pub enum DrandNetwork {
  function get_chain_hash (line 592) | pub fn get_chain_hash(network: DrandNetwork) -> [u8; 32] {
  type CurvePoint (line 603) | pub enum CurvePoint {
    method g1_point (line 609) | pub fn g1_point(&self) -> Option<&G1Point<BLS12381PrimeField>> {
    method g2_point (line 615) | pub fn g2_point(&self) -> Option<&G2Point<BLS12381PrimeField, BLS12381...
  function deserialize_bls_point (line 623) | pub fn deserialize_bls_point(s_string: &[u8]) -> Result<CurvePoint, Stri...
  type NetworkInfo (line 691) | pub struct NetworkInfo {
  function get_chain_info (line 701) | pub fn get_chain_info(chain_hash: [u8; 32]) -> Result<NetworkInfo, Strin...
  type RandomnessBeacon (line 750) | pub struct RandomnessBeacon {
  function from_hex (line 757) | fn from_hex(hex: &str) -> [u8; 32] {
  function get_randomness (line 766) | fn get_randomness(chain_hash: [u8; 32], round_number: u64) -> Randomness...
  function test_drand_round_to_calldata_1 (line 817) | fn test_drand_round_to_calldata_1() {
  function test_drand_round_to_calldata_2 (line 822) | fn test_drand_round_to_calldata_2() {
  function test_drand_round_to_calldata_3 (line 827) | fn test_drand_round_to_calldata_3() {

FILE: tools/garaga_rs/src/calldata/drand_tlock_calldata.rs
  function drand_tlock_encrypt_calldata_builder (line 19) | pub fn drand_tlock_encrypt_calldata_builder(values: &[BigUint]) -> Resul...
  type CipherText (line 58) | pub struct CipherText {
    method to_calldata (line 65) | pub fn to_calldata(&self) -> Vec<BigUint> {
  function encrypt_for_round (line 83) | pub fn encrypt_for_round(
  function bls12381_single_pairing (line 166) | fn bls12381_single_pairing(
  function expand_message_drand (line 179) | fn expand_message_drand(msg: &[u8], buf_size: usize) -> Vec<u8> {
  function sha256_digest (line 214) | fn sha256_digest(data: &[u8]) -> [u8; 32] {
  function get_drand_round_at (line 218) | pub fn get_drand_round_at(genesis_time: usize, period: usize, time: usiz...
  function get_drand_round_time (line 223) | pub fn get_drand_round_time(genesis_time: usize, period: usize, round_nu...
  function test_encrypt_for_round_1 (line 233) | fn test_encrypt_for_round_1() {

FILE: tools/garaga_rs/src/calldata/full_proof_with_hints/groth16.rs
  type Groth16Proof (line 21) | pub struct Groth16Proof {
    method flatten (line 31) | pub fn flatten(&self) -> Vec<BigUint> {
    method from (line 39) | pub fn from(
    method serialize_to_calldata (line 58) | pub fn serialize_to_calldata(&self) -> Vec<BigUint> {
    method from_risc0 (line 137) | pub fn from_risc0(seal: Vec<u8>, image_id: Vec<u8>, journal: Vec<u8>) ...
    method from_sp1 (line 180) | pub fn from_sp1(vkey: Vec<u8>, public_values: Vec<u8>, proof: Vec<u8>)...
  type Groth16VerificationKey (line 236) | pub struct Groth16VerificationKey {
    method from (line 245) | pub fn from(values: Vec<BigUint>) -> Self {
  function get_sp1_vk (line 265) | pub fn get_sp1_vk() -> Groth16VerificationKey {
  function get_groth16_calldata_felt (line 297) | pub fn get_groth16_calldata_felt(
  function get_groth16_calldata (line 307) | pub fn get_groth16_calldata(
  function calculate_vk_x (line 374) | fn calculate_vk_x(
  function vk_x_handle_curve (line 386) | fn vk_x_handle_curve<F>(vk: &Groth16VerificationKey, pub_inputs: &[BigUi...
  function get_risc0_vk (line 424) | pub fn get_risc0_vk() -> Groth16VerificationKey {
  function split_digest (line 462) | pub fn split_digest(digest: &BigUint) -> (BigUint, BigUint) {
  type ExitCode (line 475) | struct ExitCode {
  type Output (line 480) | struct Output {
    method digest (line 486) | fn digest(&self) -> Vec<u8> {
  type ReceiptClaim (line 496) | struct ReceiptClaim {
    method digest (line 506) | fn digest(&self) -> Vec<u8> {
  function ok_digest (line 520) | pub fn ok_digest(image_id: &[u8], journal_digest: &[u8]) -> Vec<u8> {
  function test_ok_digest_1 (line 549) | fn test_ok_digest_1() {
  function test_ok_digest_2 (line 580) | fn test_ok_digest_2() {
  function test_from_sp1_invalid_selector (line 603) | fn test_from_sp1_invalid_selector() {

FILE: tools/garaga_rs/src/calldata/full_proof_with_hints/zk_honk.rs
  constant NUMBER_OF_SUBRELATIONS (line 21) | pub const NUMBER_OF_SUBRELATIONS: usize = 28;
  constant NUMBER_OF_ALPHAS (line 22) | pub const NUMBER_OF_ALPHAS: usize = NUMBER_OF_SUBRELATIONS - 1;
  constant NUMBER_OF_ENTITIES (line 23) | pub const NUMBER_OF_ENTITIES: usize = 41;
  constant NUMBER_UNSHIFTED (line 24) | pub const NUMBER_UNSHIFTED: usize = 36;
  constant NUMBER_TO_BE_SHIFTED (line 25) | pub const NUMBER_TO_BE_SHIFTED: usize = 5;
  constant SHIFTED_COMMITMENTS_START (line 26) | pub const SHIFTED_COMMITMENTS_START: usize = 30;
  constant MAX_LOG_N (line 27) | pub const MAX_LOG_N: usize = 23;
  constant MAX_CIRCUIT_SIZE (line 28) | pub const MAX_CIRCUIT_SIZE: usize = 1 << MAX_LOG_N;
  constant PAIRING_POINT_OBJECT_LENGTH (line 29) | pub const PAIRING_POINT_OBJECT_LENGTH: usize = 16;
  constant CONST_PROOF_SIZE_LOG_N (line 30) | pub const CONST_PROOF_SIZE_LOG_N: usize = 28;
  constant NUM_WITNESS_ENTITIES (line 32) | pub const NUM_WITNESS_ENTITIES: usize = 8;
  constant NUM_ELEMENTS_COMM (line 33) | pub const NUM_ELEMENTS_COMM: usize = 2;
  constant NUM_ELEMENTS_FR (line 34) | pub const NUM_ELEMENTS_FR: usize = 1;
  function calculate_proof_size (line 37) | pub fn calculate_proof_size(log_circuit_size: usize) -> usize {
  constant ZK_BATCHED_RELATION_PARTIAL_LENGTH (line 50) | pub const ZK_BATCHED_RELATION_PARTIAL_LENGTH: usize = 9;
  constant SUBGROUP_SIZE (line 51) | pub const SUBGROUP_SIZE: usize = 256;
  constant LIBRA_COMMITMENTS (line 52) | pub const LIBRA_COMMITMENTS: usize = 3;
  constant LIBRA_EVALUATIONS (line 53) | pub const LIBRA_EVALUATIONS: usize = 4;
  constant LIBRA_UNIVARIATES_LENGTH (line 54) | pub const LIBRA_UNIVARIATES_LENGTH: usize = 9;
  constant VK_NUM_POINTS (line 57) | pub const VK_NUM_POINTS: usize = 28;
  type HonkVerificationKey (line 59) | pub struct HonkVerificationKey {
    method from_bytes (line 95) | pub fn from_bytes(vk_bytes: &[u8]) -> Result<Self, String> {
  type Hasher (line 201) | pub trait Hasher {
    method reset (line 202) | fn reset(&mut self);
    method digest_as_bytes (line 203) | fn digest_as_bytes(&self) -> Vec<u8>;
    method update_bytes (line 204) | fn update_bytes(&mut self, data: &[u8]);
    method digest (line 206) | fn digest(&self) -> BigUint {
    method digest_reset (line 211) | fn digest_reset(&mut self) -> Vec<u8> {
    method update (line 217) | fn update(&mut self, value: &BigUint) {
    method update_point (line 226) | fn update_point(&mut self, point: &G1PointBigUint) {
    method reset (line 249) | fn reset(&mut self) {
    method update_bytes (line 253) | fn update_bytes(&mut self, data: &[u8]) {
    method digest_as_bytes (line 257) | fn digest_as_bytes(&self) -> Vec<u8> {
  type KeccakHasher (line 232) | pub struct KeccakHasher {
    method new (line 243) | pub fn new() -> Self {
  method default (line 237) | fn default() -> Self {
  type ZKHonkProof (line 276) | pub struct ZKHonkProof {
    method from_bytes (line 303) | pub fn from_bytes(
    method from (line 338) | pub fn from(
  type ZKHonkTranscript (line 500) | pub struct ZKHonkTranscript {
    method from_proof (line 517) | pub fn from_proof(
  function get_zk_honk_calldata (line 539) | pub fn get_zk_honk_calldata(
  function compute_zk_transcript (line 883) | fn compute_zk_transcript<T: Hasher>(
  function compute_shplemini_msm_scalars (line 1040) | fn compute_shplemini_msm_scalars(
  function check_evals_consistency (line 1187) | fn check_evals_consistency(
  function extract_msm_scalars (line 1250) | fn extract_msm_scalars(

FILE: tools/garaga_rs/src/calldata/mod.rs
  type G1PointBigUint (line 15) | pub struct G1PointBigUint {
    method neg (line 29) | pub fn neg(&self, curve_id: CurveID) -> Self {
    method flatten (line 36) | pub fn flatten(&self) -> Vec<BigUint> {
    method from (line 39) | pub fn from(values: Vec<BigUint>) -> Self {
  type G2PointBigUint (line 21) | pub struct G2PointBigUint {
    method flatten (line 48) | pub fn flatten(&self) -> Vec<BigUint> {
    method from (line 56) | pub fn from(values: Vec<BigUint>) -> Self {

FILE: tools/garaga_rs/src/calldata/mpc_calldata.rs
  function mpc_calldata_builder (line 16) | pub fn mpc_calldata_builder(
  function handle_curve (line 67) | fn handle_curve<const USE_288: bool, F, E2, E6, E12>(
  function extra_miller_loop_result (line 91) | fn extra_miller_loop_result<F, E2>(public_pair: &G1G2Pair<F, E2>) -> Pol...
  function multi_pairing_check_result (line 103) | fn multi_pairing_check_result<F, E2, E6, E12>(
  function hash_hints_and_get_base_random_rlc_coeff (line 148) | fn hash_hints_and_get_base_random_rlc_coeff<F, E2>(
  function compute_big_q_coeffs (line 225) | fn compute_big_q_coeffs<F>(
  function hash_big_q_and_get_z (line 255) | fn hash_big_q_and_get_z<F, E2>(
  function build_mpcheck_hint (line 275) | fn build_mpcheck_hint<F, E2, E6, E12>(
  function init_hash_label (line 336) | fn init_hash_label<F: IsPrimeField + CurveParamsProvider<F>>(
  function seed_transcript_with_base_rlc (line 353) | fn seed_transcript_with_base_rlc<F>(
  function new_transcript_from_text (line 364) | fn new_transcript_from_text(init_hash_text: String) -> CairoPoseidonTran...
  function calldata_builder (line 378) | pub fn calldata_builder<const USE_288: bool, F, E2, E6, E12>(

FILE: tools/garaga_rs/src/calldata/msm_calldata.rs
  function msm_calldata_builder (line 18) | pub fn msm_calldata_builder(
  function handle_curve (line 75) | fn handle_curve<F>(
  function calldata_builder (line 104) | pub fn calldata_builder<F: IsPrimeField + CurveParamsProvider<F>>(
  function sqrt (line 216) | fn sqrt<F>(value: &FieldElement<F>) -> FieldElement<F>

FILE: tools/garaga_rs/src/calldata/signatures.rs
  function get_curve_order (line 19) | pub fn get_curve_order(curve_id: CurveID) -> BigUint {
  function schnorr_calldata_builder (line 39) | pub fn schnorr_calldata_builder(
  function ecdsa_calldata_builder (line 124) | pub fn ecdsa_calldata_builder(
  function eddsa_calldata_builder (line 202) | pub fn eddsa_calldata_builder(
  constant PKCS1_SHA256_DIGEST_INFO_PREFIX (line 350) | const PKCS1_SHA256_DIGEST_INFO_PREFIX: [u8; 19] = [
  function pkcs1_v1_5_encode_sha256 (line 358) | fn pkcs1_v1_5_encode_sha256(message_hash: &[u8; 32]) -> BigUint {
  function serialize_byte_array (line 371) | fn serialize_byte_array(data: &[u8]) -> Vec<BigUint> {
  function rsa_2048_sha256_calldata_builder (line 405) | pub fn rsa_2048_sha256_calldata_builder(
  function serialize_rsa2048_integer (line 430) | fn serialize_rsa2048_integer(x: &BigUint) -> Vec<BigUint> {
  function rsa_2048_calldata_builder (line 447) | pub fn rsa_2048_calldata_builder(
  function test_pkcs1_v1_5_encode_sha256_structure (line 508) | fn test_pkcs1_v1_5_encode_sha256_structure() {
  function test_serialize_byte_array_empty (line 526) | fn test_serialize_byte_array_empty() {
  function test_serialize_byte_array_short (line 536) | fn test_serialize_byte_array_short() {
  function test_serialize_byte_array_exact_word (line 547) | fn test_serialize_byte_array_exact_word() {
  function test_serialize_byte_array_multi (line 559) | fn test_serialize_byte_array_multi() {
  function test_rsa_2048_sha256_calldata_pkcs_encoding (line 568) | fn test_rsa_2048_sha256_calldata_pkcs_encoding() {

FILE: tools/garaga_rs/src/constants.rs
  function get_risc0_constants (line 9) | pub fn get_risc0_constants() -> (BigUint, BigUint) {
  constant SP1_VERIFIER_VERSION (line 25) | pub const SP1_VERIFIER_VERSION: &str = "v5.0.0";
  constant SP1_VERIFIER_HASH (line 26) | pub const SP1_VERIFIER_HASH: &str =
  constant RISC0_SYSTEM_STATE_ZERO_DIGEST (line 30) | pub const RISC0_SYSTEM_STATE_ZERO_DIGEST: &str =
  constant RISC0_TAG_DIGEST (line 32) | pub const RISC0_TAG_DIGEST: &str =
  constant RISC0_OUTPUT_TAG (line 34) | pub const RISC0_OUTPUT_TAG: &str =

FILE: tools/garaga_rs/src/crypto/digest.rs
  type HashFunction (line 25) | pub trait HashFunction: Clone + Copy + fmt::Debug + PartialEq {
    method hash_pair (line 30) | fn hash_pair(left: &Self::Element, right: &Self::Element) -> Self::Ele...
    method hash_single (line 31) | fn hash_single(element: &Self::Element) -> Self::Element;
    method random (line 32) | fn random() -> Self::Element;
    type Element (line 56) | type Element = FieldElement<GrumpkinPrimeField>;
    method hash_pair (line 58) | fn hash_pair(left: &Self::Element, right: &Self::Element) -> Self::Ele...
    method hash_single (line 61) | fn hash_single(element: &Self::Element) -> Self::Element {
    method random (line 65) | fn random() -> Self::Element {
  type PoseidonBn254Hash (line 53) | pub struct PoseidonBn254Hash;
  function random_elements (line 71) | pub fn random_elements<H: HashFunction>(n: usize) -> Vec<Digest<H>> {
  type Digest (line 77) | pub struct Digest<H: HashFunction>
  function all_zero (line 88) | pub(crate) fn all_zero() -> Self {
  function value (line 94) | pub const fn value(self) -> H::Element {
  function new (line 98) | pub const fn new(element: H::Element) -> Self {
  function hash_pair (line 103) | pub fn hash_pair(left: &Self, right: &Self) -> Self {
  function to_element (line 109) | pub fn to_element(self) -> H::Element {
  function from_element (line 113) | pub fn from_element(element: H::Element) -> Self {
  method default (line 119) | fn default() -> Self {
  function fmt (line 125) | fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
  type TryFromDigestError (line 168) | pub struct TryFromDigestError;
  type TryFromHexDigestError (line 171) | pub struct TryFromHexDigestError;
  function from (line 305) | fn from(_digest: Digest<PoseidonBn254Hash>) -> Self {
  function from (line 313) | fn from(_field: FieldElement<GrumpkinPrimeField>) -> Self {
  function as_ref (line 387) | fn as_ref(&self) -> &H::Element {
  function arbitrary (line 393) | fn arbitrary(_u: &mut arbitrary::Unstructured<'a>) -> arbitrary::Result<...

FILE: tools/garaga_rs/src/crypto/merkle_tree.rs
  constant DEFAULT_PARALLELIZATION_CUTOFF (line 14) | const DEFAULT_PARALLELIZATION_CUTOFF: usize = 512;
  constant MAX_NUM_NODES (line 31) | const MAX_NUM_NODES: usize = 1 << (32 - 1);
  constant MAX_NUM_LEAFS (line 32) | const MAX_NUM_LEAFS: usize = MAX_NUM_NODES / 2;
  constant MAX_TREE_HEIGHT (line 35) | pub const MAX_TREE_HEIGHT: usize = MAX_NUM_LEAFS.ilog2() as usize;
  type Result (line 37) | type Result<T> = result::Result<T, MerkleTreeError>;
  type MerkleTree (line 47) | pub struct MerkleTree<H: HashFunction> {
  type MerkleTreeInclusionProof (line 56) | pub struct MerkleTreeInclusionProof<H: HashFunction> {
  type PartialMerkleTree (line 95) | pub(crate) struct PartialMerkleTree<H: HashFunction> {
  constant ROOT_INDEX (line 105) | pub(crate) const ROOT_INDEX: usize = 1;
  function sequential_new (line 115) | pub fn sequential_new(leafs: &[Digest<H>]) -> Result<Self> {
  function par_new (line 136) | pub fn par_new(leafs: &[Digest<H>]) -> Result<Self> {
  function initialize_merkle_tree_nodes (line 169) | fn initialize_merkle_tree_nodes(leafs: &[Digest<H>]) -> Result<Vec<Diges...
  function authentication_structure_node_indices (line 193) | fn authentication_structure_node_indices(
  function authentication_structure (line 260) | pub fn authentication_structure(&self, leaf_indices: &[usize]) -> Result...
  function root (line 267) | pub fn root(&self) -> Digest<H> {
  function num_leafs (line 271) | pub fn num_leafs(&self) -> usize {
  function height (line 277) | pub fn height(&self) -> usize {
  function nodes (line 284) | pub fn nodes(&self) -> &[Digest<H>] {
  function node (line 289) | pub fn node(&self, index: usize) -> Option<Digest<H>> {
  function leafs (line 294) | pub fn leafs(&self) -> &[Digest<H>] {
  function leaf (line 300) | pub fn leaf(&self, index: usize) -> Option<Digest<H>> {
  function indexed_leafs (line 305) | pub fn indexed_leafs(&self, indices: &[usize]) -> Result<Vec<(usize, Dig...
  function inclusion_proof_for_leaf_indices (line 319) | pub fn inclusion_proof_for_leaf_indices(
  function arbitrary (line 343) | fn arbitrary(u: &mut Unstructured<'a>) -> arbitrary::Result<Self> {
  function leaf_indices (line 355) | fn leaf_indices(&self) -> impl Iterator<Item = &usize> {
  function is_trivial (line 359) | fn is_trivial(&self) -> bool {
  function verify (line 365) | pub fn verify(self, expected_root: Digest<H>) -> bool {
  function into_authentication_paths (line 404) | pub fn into_authentication_paths(self) -> Result<Vec<Vec<Digest<H>>>> {
  function root (line 411) | pub fn root(&self) -> Result<Digest<H>> {
  function node (line 418) | fn node(&self, index: usize) -> Result<Digest<H>> {
  function num_leafs (line 425) | fn num_leafs(&self) -> Result<usize> {
  function fill (line 438) | pub fn fill(&mut self) -> Result<()> {
  function first_layer_parent_node_indices (line 453) | fn first_layer_parent_node_indices(&self) -> Result<Vec<usize>> {
  function insert_digest_for_index (line 464) | fn insert_digest_for_index(&mut self, parent_index: usize) -> Result<()> {
  function children_of_node (line 475) | fn children_of_node(&self, parent_index: usize) -> Result<(Digest<H>, Di...
  function move_indices_one_layer_up (line 485) | fn move_indices_one_layer_up(mut indices: Vec<usize>) -> Vec<usize> {
  function into_authentication_paths (line 492) | fn into_authentication_paths(self) -> Result<Vec<Vec<Digest<H>>>> {
  function authentication_path_for_index (line 504) | fn authentication_path_for_index(&self, leaf_index: usize) -> Result<Vec...
  type Error (line 519) | type Error = MerkleTreeError;
  function try_from (line 521) | fn try_from(proof: MerkleTreeInclusionProof<H>) -> Result<Self> {
  type MerkleTreeError (line 562) | pub enum MerkleTreeError {

FILE: tools/garaga_rs/src/crypto/mmr/mmr_accumulator.rs
  type MmrAccumulator (line 22) | pub struct MmrAccumulator<H: HashFunction> {
  function init (line 28) | pub fn init(peaks: Vec<Digest<H>>, leaf_count: u64) -> Self {
  function new_from_leafs (line 32) | pub fn new_from_leafs(digests: Vec<Digest<H>>) -> Self {
  function is_consistent (line 46) | pub(crate) fn is_consistent(&self) -> bool {
  function bag_peaks (line 54) | fn bag_peaks(&self) -> Digest<H> {
  function peaks (line 60) | fn peaks(&self) -> Vec<Digest<H>> {
  function is_empty (line 65) | fn is_empty(&self) -> bool {
  function num_leafs (line 70) | fn num_leafs(&self) -> u64 {
  function append (line 76) | fn append(&mut self, new_leaf: Digest<H>) -> MmrMembershipProof<H> {
  function mutate_leaf (line 91) | fn mutate_leaf(&mut self, leaf_mutation: LeafMutation<H>) {
  function batch_mutate_leaf_and_update_mps (line 107) | fn batch_mutate_leaf_and_update_mps(
  function verify_batch_update (line 236) | fn verify_batch_update(
  function to_accumulator (line 300) | fn to_accumulator(&self) -> MmrAccumulator<H> {
  function bag_peaks (line 308) | pub(crate) fn bag_peaks<H: HashFunction>(peaks: &[Digest<H>], leaf_count...
  function mmra_with_mps (line 329) | pub fn mmra_with_mps<H: HashFunction>(
  function arbitrary (line 475) | fn arbitrary(u: &mut arbitrary::Unstructured<'a>) -> arbitrary::Result<S...

FILE: tools/garaga_rs/src/crypto/mmr/mmr_membership_proof.rs
  type MmrMembershipProof (line 25) | pub struct MmrMembershipProof<H: HashFunction> {
  function new (line 30) | pub fn new(authentication_path: Vec<Digest<H>>) -> Self {
  function verify (line 37) | pub fn verify(
  function get_node_indices (line 82) | pub(crate) fn get_node_indices(&self, leaf_index: u64) -> Vec<u64> {
  function get_direct_path_indices (line 107) | pub(crate) fn get_direct_path_indices(&self, leaf_index: u64) -> Vec<u64> {
  function get_peak_index_and_height (line 120) | fn get_peak_index_and_height(&self, leaf_index: u64) -> (u64, u32) {
  function update_from_append (line 129) | pub fn update_from_append(
  function batch_update_from_append (line 227) | pub fn batch_update_from_append(
  function update_from_leaf_mutation (line 341) | pub fn update_from_leaf_mutation(
  function batch_update_from_leaf_mutation (line 425) | pub fn batch_update_from_leaf_mutation(
  function batch_update_from_batch_leaf_mutation (line 527) | pub fn batch_update_from_batch_leaf_mutation(

FILE: tools/garaga_rs/src/crypto/mmr/mmr_successor_proof.rs
  type MmrSuccessorProof (line 18) | pub struct MmrSuccessorProof<H: HashFunction> {
  function new_from_batch_append (line 36) | pub fn new_from_batch_append(mmra: &MmrAccumulator<H>, new_leafs: &[Dige...
  function verify (line 103) | pub fn verify(&self, old: &MmrAccumulator<H>, new: &MmrAccumulator<H>) -...
  function verify_internal (line 151) | fn verify_internal(
  type Error (line 247) | enum Error {

FILE: tools/garaga_rs/src/crypto/mmr/mmr_trait.rs
  type LeafMutation (line 9) | pub struct LeafMutation<H: HashFunction> {
  function new (line 26) | pub fn new(
  function affected_node_indices (line 40) | pub fn affected_node_indices(&self) -> Vec<u64> {
  type Mmr (line 131) | pub trait Mmr<H: HashFunction> {
    method bag_peaks (line 133) | fn bag_peaks(&self) -> Digest<H>;
    method peaks (line 137) | fn peaks(&self) -> Vec<Digest<H>>;
    method is_empty (line 140) | fn is_empty(&self) -> bool;
    method num_leafs (line 143) | fn num_leafs(&self) -> u64;
    method append (line 146) | fn append(&mut self, new_leaf: Digest<H>) -> MmrMembershipProof<H>;
    method mutate_leaf (line 151) | fn mutate_leaf(&mut self, leaf_mutation: LeafMutation<H>);
    method batch_mutate_leaf_and_update_mps (line 156) | fn batch_mutate_leaf_and_update_mps(
    method verify_batch_update (line 165) | fn verify_batch_update(
    method to_accumulator (line 174) | fn to_accumulator(&self) -> MmrAccumulator<H>;

FILE: tools/garaga_rs/src/crypto/mmr/shared_advanced.rs
  function leftmost_ancestor (line 8) | pub fn leftmost_ancestor(node_index: u64) -> (u64, u32) {
  function right_lineage_length_and_own_height (line 21) | pub fn right_lineage_length_and_own_height(node_index: u64) -> (u32, u32) {
  function right_lineage_length_from_node_index (line 46) | pub fn right_lineage_length_from_node_index(node_index: u64) -> u32 {
  function leaf_index_to_node_index (line 62) | pub fn leaf_index_to_node_index(leaf_index: u64) -> u64 {
  function parent (line 69) | pub fn parent(node_index: u64) -> u64 {
  function left_sibling (line 82) | pub fn left_sibling(node_index: u64, height: u32) -> u64 {
  function right_sibling (line 89) | pub fn right_sibling(node_index: u64, height: u32) -> u64 {
  function num_leafs_to_num_nodes (line 94) | pub fn num_leafs_to_num_nodes(num_leafs: u64) -> u64 {
  function node_indices_added_by_append (line 101) | pub fn node_indices_added_by_append(old_leaf_count: u64) -> Vec<u64> {
  function auth_path_node_indices (line 121) | pub fn auth_path_node_indices(num_leafs: u64, leaf_index: u64) -> Vec<u6...
  function get_authentication_path_node_indices (line 155) | pub fn get_authentication_path_node_indices(
  function get_peak_heights (line 198) | pub fn get_peak_heights(leaf_count: u64) -> Vec<u32> {
  function get_peak_heights_and_peak_node_indices (line 222) | pub fn get_peak_heights_and_peak_node_indices(leaf_count: u64) -> (Vec<u...
  function node_index_to_leaf_index (line 256) | pub fn node_index_to_leaf_index(node_index: u64) -> Option<u64> {

FILE: tools/garaga_rs/src/crypto/mmr/shared_basic.rs
  constant USIZE_TO_U64_ERR (line 7) | pub(crate) const USIZE_TO_U64_ERR: &str =
  constant U32_TO_USIZE_ERR (line 9) | pub(crate) const U32_TO_USIZE_ERR: &str =
  function left_child (line 13) | pub fn left_child(node_index: u64, height: u32) -> u64 {
  function right_child (line 18) | pub fn right_child(node_index: u64) -> u64 {
  function leaf_index_to_mt_index_and_peak_index (line 31) | pub fn leaf_index_to_mt_index_and_peak_index(leaf_index: u64, num_leafs:...
  function right_lineage_length_from_leaf_index (line 72) | pub fn right_lineage_length_from_leaf_index(leaf_index: u64) -> u32 {
  function calculate_new_peaks_from_append (line 82) | pub fn calculate_new_peaks_from_append<H: HashFunction>(
  function calculate_new_peaks_from_leaf_mutation (line 117) | pub fn calculate_new_peaks_from_leaf_mutation<H: HashFunction>(

FILE: tools/garaga_rs/src/crypto/poseidon_bn254.rs
  type F (line 4) | type F = GrumpkinPrimeField;
  constant T (line 7) | const T: usize = 3;
  constant N_ROUNDS_F (line 8) | const N_ROUNDS_F: usize = 8;
  constant N_ROUNDS_P (line 9) | const N_ROUNDS_P: usize = 57;
  function poseidon_hash_bn254 (line 42) | pub fn poseidon_hash_bn254(x: &FieldElement<F>, y: &FieldElement<F>) -> ...
  function sigma (line 87) | fn sigma(value: &FieldElement<F>) -> FieldElement<F> {
  function ark (line 94) | fn ark(
  function mix (line 106) | fn mix(state: &[FieldElement<F>], matrix: &[Vec<FieldElement<F>>]) -> Ve...
  function mix_last (line 117) | fn mix_last(state: &[FieldElement<F>], matrix: &[Vec<FieldElement<F>>]) ...
  function mix_s (line 124) | fn mix_s(
  constant POSEIDON_M (line 144) | const POSEIDON_M: [[&str; 3]; 3] = [
  constant POSEIDON_P (line 162) | const POSEIDON_P: [[&str; 3]; 3] = [
  constant POSEIDON_S (line 180) | const POSEIDON_S: [&str; 285] = [
  constant POSEIDON_C (line 468) | const POSEIDON_C: [&str; 81] = [
  function test_poseidon_bn254 (line 557) | fn test_poseidon_bn254() {

FILE: tools/garaga_rs/src/definitions.rs
  type CurveID (line 21) | pub enum CurveID {
    type Error (line 31) | type Error = String;
    method try_from (line 33) | fn try_from(value: u8) -> Result<Self, Self::Error> {
    type Error (line 47) | type Error = String;
    method try_from (line 49) | fn try_from(value: usize) -> Result<Self, Self::Error> {
  type FieldElement (line 61) | pub type FieldElement<F> = Felt<F>;
  type BN254PrimeField (line 62) | pub type BN254PrimeField = BNPF;
    method get_curve_params (line 331) | fn get_curve_params() -> CurveParams<BN254PrimeField> {
  type BLS12381PrimeField (line 63) | pub type BLS12381PrimeField = BLSPF;
    method get_curve_params (line 388) | fn get_curve_params() -> CurveParams<BLS12381PrimeField> {
  type Stark252PrimeField (line 64) | pub type Stark252PrimeField = StrkPF;
  constant SECP256K1_PRIME_FIELD_ORDER (line 66) | pub const SECP256K1_PRIME_FIELD_ORDER: U256 =
  type SECP256K1FieldModulus (line 70) | pub struct SECP256K1FieldModulus;
    constant MODULUS (line 72) | const MODULUS: U256 = SECP256K1_PRIME_FIELD_ORDER;
  type SECP256K1PrimeField (line 75) | pub type SECP256K1PrimeField = MontgomeryBackendPrimeField<SECP256K1Fiel...
    method get_curve_params (line 185) | fn get_curve_params() -> CurveParams<SECP256K1PrimeField> {
  constant SECP256R1_PRIME_FIELD_ORDER (line 77) | pub const SECP256R1_PRIME_FIELD_ORDER: U256 =
  type SECP256R1FieldModulus (line 81) | pub struct SECP256R1FieldModulus;
    constant MODULUS (line 83) | const MODULUS: U256 = SECP256R1_PRIME_FIELD_ORDER;
  type SECP256R1PrimeField (line 86) | pub type SECP256R1PrimeField = MontgomeryBackendPrimeField<SECP256R1Fiel...
    method get_curve_params (line 224) | fn get_curve_params() -> CurveParams<SECP256R1PrimeField> {
  constant X25519_PRIME_FIELD_ORDER (line 88) | pub const X25519_PRIME_FIELD_ORDER: U256 =
  type X25519FieldModulus (line 92) | pub struct X25519FieldModulus;
    constant MODULUS (line 94) | const MODULUS: U256 = X25519_PRIME_FIELD_ORDER;
  type X25519PrimeField (line 97) | pub type X25519PrimeField = MontgomeryBackendPrimeField<X25519FieldModul...
    method get_curve_params (line 261) | fn get_curve_params() -> CurveParams<X25519PrimeField> {
  constant GRUMPKIN_PRIME_FIELD_ORDER (line 99) | pub const GRUMPKIN_PRIME_FIELD_ORDER: U256 =
  type GrumpkinFieldModulus (line 103) | pub struct GrumpkinFieldModulus;
    constant MODULUS (line 105) | const MODULUS: U256 = GRUMPKIN_PRIME_FIELD_ORDER;
  type GrumpkinPrimeField (line 108) | pub type GrumpkinPrimeField = MontgomeryBackendPrimeField<GrumpkinFieldM...
    method get_curve_params (line 298) | fn get_curve_params() -> CurveParams<GrumpkinPrimeField> {
  type Random (line 111) | pub trait Random<F: IsPrimeField> {
    method random (line 112) | fn random() -> Self;
  function random (line 119) | fn random() -> Self {
  type CurveParams (line 133) | pub struct CurveParams<F: IsPrimeField> {
  type SWUParams (line 154) | pub struct SWUParams<F: IsPrimeField> {
  function get_irreducible_poly (line 160) | pub fn get_irreducible_poly<F: IsPrimeField + CurveParamsProvider<F>>(
  type CurveParamsProvider (line 175) | pub trait CurveParamsProvider<F: IsPrimeField> {
    method get_curve_params (line 176) | fn get_curve_params() -> CurveParams<F>;
  type FromBigUint (line 180) | pub trait FromBigUint<F: IsPrimeField> {
    method from_biguint (line 181) | fn from_biguint(num: BigUint) -> FieldElement<F>;
  type ToWeierstrassCurve (line 435) | pub trait ToWeierstrassCurve {
    method to_weirstrass (line 436) | fn to_weirstrass(
    method to_weirstrass (line 456) | fn to_weirstrass(
  type ToTwistedEdwardsCurve (line 445) | pub trait ToTwistedEdwardsCurve {
    method to_twistededwards (line 446) | fn to_twistededwards(
    method to_twistededwards (line 488) | fn to_twistededwards(
  function get_modulus_from_curve_id (line 519) | pub fn get_modulus_from_curve_id(curve_id: CurveID) -> BigUint {
  function test_to_weierstrass_and_back (line 536) | fn test_to_weierstrass_and_back() {

FILE: tools/garaga_rs/src/ecip/core.rs
  function zk_ecip_hint (line 20) | pub fn zk_ecip_hint(
  function handle_curve (line 36) | fn handle_curve<F>(
  function construct_digits_vectors (line 51) | fn construct_digits_vectors<F: IsPrimeField + CurveParamsProvider<F>>(
  function neg_3_base_le (line 78) | pub fn neg_3_base_le(scalar: &BigUint) -> Vec<i8> {
  function floor_division (line 107) | fn floor_division(a: BigInt, b: BigInt) -> BigInt {
  function run_ecip (line 117) | pub fn run_ecip<F>(points: &[G1Point<F>], scalars: &[BigUint]) -> (G1Poi...
  function prepare_result (line 141) | fn prepare_result<F>(q: &G1Point<F>, sum_dlog: &FunctionFelt<F>) -> [Vec...
  function line_p_p_neg (line 161) | fn line_p_p_neg<F: IsPrimeField + CurveParamsProvider<F>>(p: &G1Point<F>...
  function mul_line_line_p_p_neg (line 172) | fn mul_line_line_p_p_neg<F: IsPrimeField>(p: &G1Point<F>, q: &G1Point<F>...
  function line (line 191) | fn line<F: IsPrimeField + CurveParamsProvider<F>>(p: &G1Point<F>, q: &G1...
  function construct_function (line 234) | fn construct_function<F: IsPrimeField + CurveParamsProvider<F>>(ps: Vec<...
  function row_function (line 278) | fn row_function<F: IsPrimeField + CurveParamsProvider<F>>(
  function ecip_functions (line 327) | fn ecip_functions<F: IsPrimeField + CurveParamsProvider<F>>(
  function dlog (line 346) | fn dlog<F: IsPrimeField + CurveParamsProvider<F>>(d: FF<F>) -> FunctionF...

FILE: tools/garaga_rs/src/ecip/ff.rs
  type FF (line 9) | pub struct FF<F: IsPrimeField> {
  function new (line 14) | pub fn new(coeffs: Vec<Polynomial<F>>) -> Self {
  function degree (line 18) | pub fn degree(&self) -> usize {
  function neg_y (line 22) | pub fn neg_y(self) -> FF<F> {
  function reduce (line 34) | pub fn reduce(&self) -> FF<F> {
  function normalize (line 68) | pub fn normalize(&self) -> FF<F> {
  function to_poly (line 81) | pub fn to_poly(&self) -> Polynomial<F> {
  function div_by_poly (line 86) | pub fn div_by_poly(&self, poly: &Polynomial<F>) -> FF<F> {
  function print_as_sage_poly (line 98) | pub fn print_as_sage_poly(&self) -> String {
  type Output (line 123) | type Output = Self;
  method add (line 125) | fn add(self, other: Self) -> Self::Output {
  type Output (line 142) | type Output = Self;
  method mul (line 144) | fn mul(self, other: Self) -> Self::Output {
  type Output (line 164) | type Output = FF<F>;
  method mul (line 166) | fn mul(self, other: Self) -> Self::Output {

FILE: tools/garaga_rs/src/frobenius.rs
  type FrobeniusMap (line 7) | type FrobeniusMap<F> = HashMap<usize, Vec<Vec<(usize, FieldElement<F>)>>>;
  function frobenius (line 9) | pub fn frobenius<F: IsPrimeField>(
  function get_frobenius_maps_ext_degree_12 (line 29) | pub fn get_frobenius_maps_ext_degree_12<F: IsPrimeField>(curve_id: Curve...

FILE: tools/garaga_rs/src/hints/eisenstein.rs
  constant NEIGHBOURS (line 5) | const NEIGHBOURS: [(i32, i32); 6] = [(1, 0), (0, 1), (-1, 1), (-1, 0), (...
  function round_nearest (line 8) | fn round_nearest(z: &BigInt, d: &BigInt) -> BigInt {
  type EisensteinInteger (line 30) | pub struct EisensteinInteger {
    method new (line 37) | pub fn new(a0: BigInt, a1: BigInt) -> Self {
    method set (line 41) | pub fn set(&mut self, other: &Self) -> &Self {
    method set_zero (line 47) | pub fn set_zero(&mut self) -> &Self {
    method set_one (line 53) | pub fn set_one(&mut self) -> &Self {
    method conjugate (line 63) | pub fn conjugate(&self) -> Self {
    method norm (line 72) | pub fn norm(&self) -> BigInt {
    method quo_rem (line 91) | pub fn quo_rem(&self, y: &Self) -> Result<[Self; 2], String> {
    method fmt (line 135) | fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
    type Output (line 173) | type Output = Self;
    method neg (line 176) | fn neg(self) -> Self::Output {
    type Output (line 185) | type Output = Self;
    method add (line 188) | fn add(self, other: Self) -> Self::Output {
    type Output (line 203) | type Output = Self;
    method sub (line 206) | fn sub(self, other: Self) -> Self::Output {
    type Output (line 221) | type Output = Self;
    method mul (line 229) | fn mul(self, other: Self) -> Self::Output {
    type Output (line 253) | type Output = Self;
    method mul (line 256) | fn mul(self, other: BigInt) -> Self::Output {
    type Output (line 289) | type Output = Self;
    method div (line 292) | fn div(self, other: Self) -> Self::Output {
    type Output (line 308) | type Output = Self;
    method rem (line 311) | fn rem(self, other: Self) -> Self::Output {
  type Output (line 194) | type Output = EisensteinInteger;
  function add (line 197) | fn add(self, other: Self) -> Self::Output {
  type Output (line 212) | type Output = EisensteinInteger;
  function sub (line 215) | fn sub(self, other: Self) -> Self::Output {
  type Output (line 235) | type Output = EisensteinInteger;
  function mul (line 243) | fn mul(self, other: Self) -> Self::Output {
  type Output (line 262) | type Output = EisensteinInteger;
  function mul (line 265) | fn mul(self, other: &BigInt) -> Self::Output {
  type Output (line 271) | type Output = EisensteinInteger;
  method mul (line 274) | fn mul(self, other: EisensteinInteger) -> Self::Output {
  type Output (line 280) | type Output = EisensteinInteger;
  function mul (line 283) | fn mul(self, other: &EisensteinInteger) -> Self::Output {
  type Output (line 298) | type Output = EisensteinInteger;
  function div (line 301) | fn div(self, other: Self) -> Self::Output {
  type Output (line 317) | type Output = EisensteinInteger;
  function rem (line 320) | fn rem(self, other: Self) -> Self::Output {
  method zero (line 327) | fn zero() -> Self {
  method is_zero (line 332) | fn is_zero(&self) -> bool {
  method one (line 338) | fn one() -> Self {
  function half_gcd (line 359) | pub fn half_gcd(
  function test_01 (line 422) | fn test_01() -> Result<(), String> {

FILE: tools/garaga_rs/src/hints/fake_glv.rs
  type Lattice (line 19) | struct Lattice {
  function half_gcd (line 40) | pub fn half_gcd(modu: &BigInt, input_val: &BigInt) -> Result<[BigInt; 2]...
  function precompute_lattice (line 69) | fn precompute_lattice(r: &BigInt, lam: &BigInt) -> Result<Lattice, Strin...
  function split_scalar (line 205) | fn split_scalar(s: &BigInt, l: &Lattice) -> [BigInt; 2] {
  function half_gcd_eisenstein_hint (line 234) | pub fn half_gcd_eisenstein_hint(
  function encode_value (line 264) | fn encode_value(value: &BigInt) -> BigUint {
  function encode_glv_fake_glv_hint (line 278) | fn encode_glv_fake_glv_hint(u1: &BigInt, u2: &BigInt, v1: &BigInt, v2: &...
  function get_glv_fake_glv_hint (line 290) | pub fn get_glv_fake_glv_hint<F>(
  function get_fake_glv_hint (line 326) | pub fn get_fake_glv_hint<F>(
  function test_bn254 (line 379) | fn test_bn254() -> Result<(), String> {
  function test_bls12_381 (line 402) | fn test_bls12_381() -> Result<(), String> {
  function test_secp256k1 (line 425) | fn test_secp256k1() -> Result<(), String> {

FILE: tools/garaga_rs/src/io.rs
  function biguint_to_u256 (line 13) | pub fn biguint_to_u256(x: &BigUint) -> U256 {
  function parse_g1_points_from_flattened_field_elements_list (line 17) | pub fn parse_g1_points_from_flattened_field_elements_list<F>(
  function parse_g1_g2_pairs_from_flattened_field_elements_list (line 29) | pub fn parse_g1_g2_pairs_from_flattened_field_elements_list<F, E2>(
  function field_elements_from_big_uints (line 49) | pub fn field_elements_from_big_uints<F>(values: &[BigUint]) -> Vec<Field...
  function element_from_biguint (line 57) | pub fn element_from_biguint<F>(value: &BigUint) -> FieldElement<F>
  function element_from_bytes_be (line 65) | pub fn element_from_bytes_be<F>(bytes: &[u8]) -> FieldElement<F>
  function field_elements_to_big_uints (line 82) | pub fn field_elements_to_big_uints<F>(values: &[FieldElement<F>]) -> Vec...
  function element_to_biguint (line 90) | pub fn element_to_biguint<F>(x: &FieldElement<F>) -> BigUint
  function felt252_to_element (line 98) | pub fn felt252_to_element<F>(x: &FieldElement<Stark252PrimeField>) -> Fi...
  function padd_function_felt (line 106) | pub fn padd_function_felt<F: IsPrimeField>(
  function u128_from_bytes_be (line 131) | pub fn u128_from_bytes_be(bytes: &[u8]) -> u128 {
  function u128_to_bytes_be (line 140) | pub fn u128_to_bytes_be(v: u128) -> Vec<u8> {
  function element_from_u128 (line 151) | pub fn element_from_u128<F>(value: u128) -> FieldElement<F>
  function field_element_to_u256_limbs (line 159) | pub fn field_element_to_u256_limbs<F>(x: &FieldElement<F>) -> [u128; 2]
  function field_element_to_u288_limbs (line 167) | pub fn field_element_to_u288_limbs<F>(x: &FieldElement<F>) -> [u128; 3]
  function field_element_to_u384_limbs (line 175) | pub fn field_element_to_u384_limbs<F>(x: &FieldElement<F>) -> [u128; 4]
  function scalar_to_limbs (line 183) | pub fn scalar_to_limbs(x: &BigUint) -> [u128; 2] {
  function biguint_split (line 187) | pub fn biguint_split<const N: usize, const SIZE: usize>(x: &BigUint) -> ...
  function byte_slice_split (line 191) | pub fn byte_slice_split<const N: usize, const SIZE: usize>(bytes: &[u8])...
  function biguint_from_hex (line 205) | pub fn biguint_from_hex(hex: &str) -> BigUint {
  function test_element_from_hex (line 222) | fn test_element_from_hex() {

FILE: tools/garaga_rs/src/lib.rs
  constant TOO_MANY_LEAFS_ERR (line 20) | pub const TOO_MANY_LEAFS_ERR: &str =

FILE: tools/garaga_rs/src/pairing/final_exp_witness/addchain_pow_generated.rs
  function square_n (line 12) | fn square_n<F: IsField>(x: &FieldElement<F>, n: usize) -> FieldElement<F> {
  function pow_exp (line 26) | pub fn pow_exp(
  function pow_exp0 (line 1526) | pub fn pow_exp0(
  function pow_r_m_d_inv (line 3011) | pub fn pow_r_m_d_inv(
  function pow_h3_s (line 5525) | pub fn pow_h3_s(
  function pow_e (line 7569) | pub fn pow_e(

FILE: tools/garaga_rs/src/pairing/final_exp_witness/bls12_381_final_exp_witness.rs
  function pow_custom (line 6) | pub fn pow_custom(
  function get_final_exp_witness (line 37) | pub fn get_final_exp_witness(
  function sample_element (line 60) | fn sample_element() -> FieldElement<Degree12ExtensionField> {
  function addchain_matches_pow_custom (line 75) | fn addchain_matches_pow_custom() {
  constant H3_S (line 84) | const H3_S: &str = "4c6694e4b592105c07d08efdd66cdf6b27a928fadb7f89cb2c5d...
  constant E (line 85) | const E: &str = "4ea48ccb940d75d40a077222142ac1801c949d8a72692b8d18d58ef...

FILE: tools/garaga_rs/src/pairing/final_exp_witness/bn254_final_exp_witness.rs
  function get_final_exp_witness (line 11) | pub fn get_final_exp_witness(
  function get_27th_root (line 34) | fn get_27th_root() -> FieldElement<Degree12ExtensionField> {
  function find_cube_root (line 52) | fn find_cube_root(
  function pow_3_ord (line 67) | fn pow_3_ord(a: &FieldElement<Degree12ExtensionField>) -> usize {
  function pow_custom (line 85) | fn pow_custom(
  function sample_element (line 115) | fn sample_element() -> FieldElement<Degree12ExtensionField> {
  function addchain_matches_pow_custom (line 130) | fn addchain_matches_pow_custom() {
  constant EXP (line 145) | const EXP: &str = "2fae42e4973924a5d67a5d2596440dd3153897c68d516d062f801...
  constant EXP0 (line 147) | const EXP0: &str = "1c41570c33b015b79b8ae1dd628724a303180e16d87c1aae5509...
  constant R_M_D_INV (line 150) | const R_M_D_INV: &str = "40d1e99cd525608c71cde087ba1c0a1e85458467c2fd0c5...

FILE: tools/garaga_rs/src/pairing/final_exp_witness/mod.rs
  function to_bn (line 13) | pub fn to_bn(v: FieldElement<bn_254::field_extension::Degree12ExtensionF...
  function to_bls (line 39) | pub fn to_bls(
  function get_final_exp_witness (line 67) | pub fn get_final_exp_witness(curve_id: usize, f: [BigUint; 12]) -> ([Big...
  function get_final_exp_witness_1 (line 155) | fn get_final_exp_witness_1() {
  function get_final_exp_witness_2 (line 205) | fn get_final_exp_witness_2() {

FILE: tools/garaga_rs/src/pairing/multi_miller_loop.rs
  function replace_by_zero_elements_given_sparsity (line 14) | pub fn replace_by_zero_elements_given_sparsity<F: IsPrimeField>(
  function remove_and_compact_elements_given_sparsity (line 32) | pub fn remove_and_compact_elements_given_sparsity<F: IsPrimeField>(
  function extf_mul (line 46) | pub fn extf_mul<F>(
  function extf_inv (line 70) | pub fn extf_inv<F, E2, E6, E12>(
  function conjugate_e12d (line 96) | pub fn conjugate_e12d<F: IsPrimeField>(f: Polynomial<F>) -> Polynomial<F> {
  function precompute_consts (line 114) | pub fn precompute_consts<F: IsPrimeField>(
  function build_sparse_line_eval (line 126) | fn build_sparse_line_eval<F, E2>(
  function add_step (line 174) | pub fn add_step<F, E2>(
  function line_compute_step (line 194) | pub fn line_compute_step<F, E2>(
  function double_step (line 211) | pub fn double_step<F, E2>(
  function double_and_add_step (line 230) | pub fn double_and_add_step<F, E2>(
  function triple_step (line 257) | pub fn triple_step<F, E2>(
  function bit_0_case (line 281) | fn bit_0_case<F, E2>(
  function bit_1_init_case (line 302) | fn bit_1_init_case<F, E2>(
  function bit_1_case (line 324) | fn bit_1_case<F, E2>(
  function bn254_finalize_step (line 347) | pub fn bn254_finalize_step<F, E2>(
  function miller_loop (line 410) | pub fn miller_loop<F, E2>(p: &[G1Point<F>], q: &[G2Point<F, E2>]) -> Pol...
  function test_extf_mul_1 (line 495) | fn test_extf_mul_1() {
  function test_extf_mul_2 (line 566) | fn test_extf_mul_2() {
  function test_extf_inv_1 (line 589) | fn test_extf_inv_1() {
  function test_precompute_consts_1 (line 681) | fn test_precompute_consts_1() {
  function test_precompute_consts_2 (line 725) | fn test_precompute_consts_2() {
  function test_build_sparse_line_eval_1 (line 754) | fn test_build_sparse_line_eval_1() {
  function test_build_sparse_line_eval_2 (line 804) | fn test_build_sparse_line_eval_2() {
  function test_bit_0_case_1 (line 835) | fn test_bit_0_case_1() {
  function test_bit_0_case_2 (line 949) | fn test_bit_0_case_2() {
  function test_bit_1_init_case_1 (line 1016) | fn test_bit_1_init_case_1() {
  function test_bit_1_case_1 (line 1085) | fn test_bit_1_case_1() {
  function test_bit_1_case_2 (line 1240) | fn test_bit_1_case_2() {

FILE: tools/garaga_rs/src/pairing/multi_pairing_check.rs
  function get_max_q_degree (line 15) | pub fn get_max_q_degree(curve_id: CurveID, n_pairs: usize) -> usize {
  function get_final_exp_witness (line 41) | fn get_final_exp_witness<F>(f: &[FieldElement<F>]) -> (Vec<FieldElement<...
  function get_root_and_scaling_factor (line 58) | pub fn get_root_and_scaling_factor<F, E2, E6, E12>(
  function bit_0_case (line 97) | fn bit_0_case<F, E2>(
  function bit_00_case (line 120) | fn bit_00_case<F, E2>(
  function bit_1_init_case (line 150) | fn bit_1_init_case<F, E2>(
  function bit_1_case (line 176) | fn bit_1_case<F, E2>(
  function bit_01_case (line 203) | fn bit_01_case<F, E2>(
  function bit_10_case (line 241) | fn bit_10_case<F, E2>(
  function multi_pairing_check (line 281) | pub fn multi_pairing_check<F, E2, E6, E12>(
  function test_get_root_and_scaling_factor_1 (line 527) | fn test_get_root_and_scaling_factor_1() {
  function test_get_root_and_scaling_factor_2 (line 623) | fn test_get_root_and_scaling_factor_2() {
  function test_get_root_and_scaling_factor_3 (line 748) | fn test_get_root_and_scaling_factor_3() {
  function test_get_root_and_scaling_factor_4 (line 807) | fn test_get_root_and_scaling_factor_4() {
  function test_bit_0_case_1 (line 872) | fn test_bit_0_case_1() {
  function test_bit_0_case_2 (line 1067) | fn test_bit_0_case_2() {
  function test_bit_00_case_1 (line 1161) | fn test_bit_00_case_1() {
  function test_bit_00_case_2 (line 1414) | fn test_bit_00_case_2() {
  function test_bit_1_init_case_1 (line 1509) | fn test_bit_1_init_case_1() {
  function test_bit_1_case_1 (line 1610) | fn test_bit_1_case_1() {
  function test_bit_1_case_2 (line 1884) | fn test_bit_1_case_2() {

FILE: tools/garaga_rs/src/poseidon_transcript.rs
  constant BASE_96_FELT252 (line 7) | const BASE_96_FELT252: FieldElement<Stark252PrimeField> =
  type CairoPoseidonTranscript (line 10) | pub struct CairoPoseidonTranscript {
    method new (line 26) | pub fn new(init_hash: FieldElement<Stark252PrimeField>) -> Self {
    method continuable_hash (line 32) | pub fn continuable_hash(&self) -> FieldElement<Stark252PrimeField> {
    method rlc_coeff (line 36) | pub fn rlc_coeff(&mut self) -> FieldElement<Stark252PrimeField> {
    method update_sponge_state (line 40) | pub fn update_sponge_state(
    method hash_u384_limbs (line 50) | fn hash_u384_limbs(&mut self, limbs: [u128; 4]) {
    method hash_emulated_field_element (line 64) | pub fn hash_emulated_field_element<F>(&mut self, element: &FieldElemen...
    method hash_emulated_field_elements (line 72) | pub fn hash_emulated_field_elements<F>(
    method hash_quadruple_u288 (line 109) | pub fn hash_quadruple_u288<F>(&mut self, xs: &[FieldElement<F>])
    method hash_u128 (line 149) | pub fn hash_u128(&mut self, x: &BigUint) -> FieldElement<Stark252Prime...
    method hash_u256 (line 156) | pub fn hash_u256(&mut self, x: &BigUint) -> FieldElement<Stark252Prime...
    method hash_u128_multi (line 164) | pub fn hash_u128_multi(&mut self, xs: &[BigUint]) -> FieldElement<Star...
    method hash_u256_multi (line 171) | pub fn hash_u256_multi(&mut self, xs: &[BigUint]) -> FieldElement<Star...
  function biguint_split_1_128 (line 15) | fn biguint_split_1_128(x: &BigUint) -> [FieldElement<Stark252PrimeField>...
  function biguint_split_2_128 (line 20) | fn biguint_split_2_128(x: &BigUint) -> [FieldElement<Stark252PrimeField>...
  function test_hash_u256 (line 216) | fn test_hash_u256() {

FILE: tools/garaga_rs/src/python_bindings/drand_calldata.rs
  function drand_calldata_builder (line 4) | pub fn drand_calldata_builder(py: Python, py_list1: &Bound<'_, PyList>) ...
  function drand_tlock_encrypt_calldata_builder (line 16) | pub fn drand_tlock_encrypt_calldata_builder(

FILE: tools/garaga_rs/src/python_bindings/ecip.rs
  function zk_ecip_hint (line 4) | pub fn zk_ecip_hint(

FILE: tools/garaga_rs/src/python_bindings/extf_mul.rs
  function nondeterministic_extension_field_mul_divmod (line 9) | pub fn nondeterministic_extension_field_mul_divmod(
  function handle_extension_field_mul_divmod (line 31) | fn handle_extension_field_mul_divmod<F>(

FILE: tools/garaga_rs/src/python_bindings/final_exp_witness.rs
  function get_final_exp_witness (line 4) | pub fn get_final_exp_witness(

FILE: tools/garaga_rs/src/python_bindings/g2.rs
  function g2_add (line 7) | pub fn g2_add(
  function g2_scalar_mul (line 119) | pub fn g2_scalar_mul(

FILE: tools/garaga_rs/src/python_bindings/groth16_calldata.rs
  function get_groth16_calldata (line 9) | pub fn get_groth16_calldata(

FILE: tools/garaga_rs/src/python_bindings/hades_permutation.rs
  function hades_permutation (line 4) | pub fn hades_permutation(

FILE: tools/garaga_rs/src/python_bindings/mod.rs
  constant CURVE_BN254 (line 31) | const CURVE_BN254: usize = 0;
  constant CURVE_BLS12_381 (line 32) | const CURVE_BLS12_381: usize = 1;
  function poseidon_hash_bn254 (line 35) | pub fn poseidon_hash_bn254(
  function garaga_rs (line 53) | fn garaga_rs(m: &Bound<'_, PyModule>) -> PyResult<()> {

FILE: tools/garaga_rs/src/python_bindings/mpc_calldata.rs
  function mpc_calldata_builder (line 4) | pub fn mpc_calldata_builder(

FILE: tools/garaga_rs/src/python_bindings/msm.rs
  function msm_calldata_builder (line 5) | pub fn msm_calldata_builder(

FILE: tools/garaga_rs/src/python_bindings/pairing.rs
  function multi_pairing (line 24) | pub fn multi_pairing(
  function multi_miller_loop (line 133) | pub fn multi_miller_loop(
  function final_exp (line 259) | pub fn final_exp(

FILE: tools/garaga_rs/src/python_bindings/signatures.rs
  function schnorr_calldata_builder (line 4) | pub fn schnorr_calldata_builder(
  function ecdsa_calldata_builder (line 36) | pub fn ecdsa_calldata_builder(
  function eddsa_calldata_builder (line 70) | pub fn eddsa_calldata_builder(
  function rsa_2048_calldata_builder (line 97) | pub fn rsa_2048_calldata_builder(
  function rsa_2048_sha256_calldata_builder (line 121) | pub fn rsa_2048_sha256_calldata_builder(

FILE: tools/garaga_rs/src/python_bindings/zk_honk_calldata.rs
  function get_zk_honk_calldata (line 8) | pub fn get_zk_honk_calldata(

FILE: tools/garaga_rs/src/wasm_bindings.rs
  function drand_calldata_builder (line 18) | pub fn drand_calldata_builder(values: Vec<JsValue>) -> Result<Vec<JsValu...
  function drand_tlock_encrypt_calldata_builder (line 33) | pub fn drand_tlock_encrypt_calldata_builder(values: Vec<JsValue>) -> Res...
  function msm_calldata_builder (line 49) | pub fn msm_calldata_builder(
  function mpc_calldata_builder (line 81) | pub fn mpc_calldata_builder(
  function schnorr_calldata_builder (line 108) | pub fn schnorr_calldata_builder(
  function ecdsa_calldata_builder (line 140) | pub fn ecdsa_calldata_builder(
  function eddsa_calldata_builder (line 177) | pub fn eddsa_calldata_builder(
  function rsa_2048_calldata_builder (line 199) | pub fn rsa_2048_calldata_builder(
  function rsa_2048_sha256_calldata_builder (line 221) | pub fn rsa_2048_sha256_calldata_builder(
  function jsvalue_to_biguint (line 245) | fn jsvalue_to_biguint(v: JsValue) -> Result<BigUint, JsValue> {
  function biguint_to_jsvalue (line 261) | fn biguint_to_jsvalue(v: BigUint) -> JsValue {
  function get_property (line 265) | fn get_property(obj: &js_sys::Object, key: &str) -> Result<JsValue, JsVa...
  function set_property (line 270) | fn set_property(obj: &js_sys::Object, key: &str, value: &JsValue) -> Res...
  function parse_g1_point (line 282) | fn parse_g1_point(value: JsValue) -> Result<G1PointBigUint, JsValue> {
  function jsvalue_from_g1_point (line 295) | fn jsvalue_from_g1_point(point: &G1PointBigUint, curve_id: usize) -> Res...
  function parse_g2_point (line 304) | fn parse_g2_point(value: JsValue) -> Result<G2PointBigUint, JsValue> {
  function parse_biguint_array (line 325) | fn parse_biguint_array(value: JsValue) -> Result<Vec<BigUint>, JsValue> {
  function jsvalue_from_biguint_array (line 344) | fn jsvalue_from_biguint_array(values: &[BigUint]) -> Result<JsValue, JsV...
  function parse_g1_point_array (line 354) | fn parse_g1_point_array(value: JsValue) -> Result<Vec<G1PointBigUint>, J...
  function jsvalue_from_g1_point_array (line 367) | fn jsvalue_from_g1_point_array(
  function _parse_optional_uint8_array (line 380) | fn _parse_optional_uint8_array(value: JsValue) -> Option<Vec<u8>> {
  function to_weirstrass (line 385) | pub fn to_weirstrass(x_twisted: JsValue, y_twisted: JsValue) -> Result<V...
  function to_twistededwards (line 406) | pub fn to_twistededwards(
  function get_groth16_calldata (line 428) | pub fn get_groth16_calldata(
  function get_zk_honk_calldata (line 529) | pub fn get_zk_honk_calldata(
  function poseidon_hash (line 555) | pub fn poseidon_hash(x: JsValue, y: JsValue) -> Result<JsValue, JsValue> {
  function test_biguint_marshalling (line 585) | pub fn test_biguint_marshalling() {
  function test_to_weierstrass_and_back (line 594) | pub fn test_to_weierstrass_and_back() {
  function test_to_twistededwards_and_back_from_js (line 610) | pub fn test_to_twistededwards_and_back_from_js() {
  function test_get_groth16_calldata (line 640) | pub fn test_get_groth16_calldata() {
  function mock_g1_point (line 665) | fn mock_g1_point(x: &str, y: &str) -> JsValue {
  function mock_g2_point (line 672) | fn mock_g2_point(x0: &str, x1: &str, y0: &str, y1: &str) -> JsValue {
  function mock_proof_js (line 681) | fn mock_proof_js() -> JsValue {
  function mock_vk_js (line 722) | fn mock_vk_js() -> JsValue {
  function test_poseidon_hash (line 782) | fn test_poseidon_hash() {

FILE: tools/make/generate_constants.py
  class FormatterProtocol (line 19) | class FormatterProtocol(Protocol):
    method format_file (line 22) | def format_file(self, file_path: str, cwd: Optional[str] = None) -> bool:
  class SubprocessFormatter (line 27) | class SubprocessFormatter:
    method __init__ (line 30) | def __init__(self, cmd: list[str], name: str):
    method format_file (line 34) | def format_file(self, file_path: str, cwd: Optional[str] = None) -> bool:
  class ConstantsError (line 66) | class ConstantsError(Exception):
  class VKError (line 70) | class VKError(ConstantsError):
  class UpdateConfig (line 75) | class UpdateConfig:
    method apply_update (line 86) | def apply_update(self, content: str, version: str) -> tuple[str, bool]:
  class VKConfig (line 94) | class VKConfig:
    method get_json_path (line 101) | def get_json_path(self, project_root: Path) -> Path:
    method get_function_pattern (line 112) | def get_function_pattern(self) -> str:
  class PathConfig (line 136) | class PathConfig:
    method python_output (line 142) | def python_output(self) -> Path:
    method rust_output (line 146) | def rust_output(self) -> Path:
    method typescript_output (line 150) | def typescript_output(self) -> Path:
    method readme_path (line 156) | def readme_path(self) -> Path:
    method pyproject_path (line 160) | def pyproject_path(self) -> Path:
    method garaga_rs_cargo_path (line 164) | def garaga_rs_cargo_path(self) -> Path:
    method package_json_path (line 168) | def package_json_path(self) -> Path:
    method npm_readme_path (line 172) | def npm_readme_path(self) -> Path:
    method noir_smart_contract_docs_path (line 176) | def noir_smart_contract_docs_path(self) -> Path:
    method groth16_rust_file (line 186) | def groth16_rust_file(self) -> Path:
  function load_constants (line 280) | def load_constants() -> Dict[str, Any]:
  class LanguageConfig (line 309) | class LanguageConfig:
  function hex_to_uint8array_literal (line 347) | def hex_to_uint8array_literal(hex_str: str) -> str:
  function safe_read_file (line 358) | def safe_read_file(file_path: str) -> str:
  function safe_write_file (line 367) | def safe_write_file(file_path: str, content: str) -> None:
  function generate_unified_constants (line 377) | def generate_unified_constants(
  function generate_language_constants (line 521) | def generate_language_constants(
  function generate_constants_by_language (line 540) | def generate_constants_by_language(
  function update_file_version (line 552) | def update_file_version(file_path: str, config: UpdateConfig, version: s...
  function update_vk_in_rust (line 574) | def update_vk_in_rust(
  function report_results (line 644) | def report_results(all_results: list[tuple[str, bool]]) -> int:
  function generate_all_constants (line 670) | def generate_all_constants(constants: Dict[str, Any], paths: PathConfig)...
  function update_all_versions (line 680) | def update_all_versions(
  function update_verification_keys (line 712) | def update_verification_keys(paths: PathConfig) -> list[tuple[str, bool]]:
  function main (line 736) | def main():

FILE: tools/make/update_bench_in_readme.py
  function run_benchmarks (line 5) | def run_benchmarks():
  function update_readme (line 20) | def update_readme(benchmarks_markdown):

FILE: tools/noir/transcript.py
  function deserialize_ultraproof (line 627) | def deserialize_ultraproof(proof: bytes) -> list[int]:

FILE: tools/npm/garaga_ts/patch.wasm.cjs
  function patch (line 7) | function patch() {

FILE: tools/npm/garaga_ts/src/constants.ts
  constant RISC0_CONTROL_ROOT (line 8) | const RISC0_CONTROL_ROOT = BigInt(
  constant RISC0_BN254_CONTROL_ID (line 11) | const RISC0_BN254_CONTROL_ID = BigInt(
  constant SP1_VERIFIER_VERSION (line 17) | const SP1_VERIFIER_VERSION = "v5.0.0";
  constant SP1_VERIFIER_HASH (line 18) | const SP1_VERIFIER_HASH =
  constant RISC0_SYSTEM_STATE_ZERO_DIGEST (line 22) | const RISC0_SYSTEM_STATE_ZERO_DIGEST = new Uint8Array([
  constant RISC0_TAG_DIGEST (line 27) | const RISC0_TAG_DIGEST =
  constant RISC0_OUTPUT_TAG (line 29) | const RISC0_OUTPUT_TAG =

FILE: tools/npm/garaga_ts/src/node/api.ts
  type G1Point (line 38) | type G1Point = [bigint, bigint];
  type G2Point (line 44) | type G2Point = [[bigint, bigint], [bigint, bigint]];
  type G1G2Pair (line 49) | type G1G2Pair = [G1Point, G2Point];
  function flatten (line 51) | function flatten(data: bigint[][]): bigint[] {
  function pairToList (line 55) | function pairToList(pair: G1G2Pair): bigint[] {
  type MsmCalldataBuilderOptons (line 63) | type MsmCalldataBuilderOptons = Partial<{
  function msmCalldataBuilder (line 87) | function msmCalldataBuilder(points: G1Point[], scalars: bigint[], curveI...
  function mpcCalldataBuilder (line 110) | function mpcCalldataBuilder(curveId: CurveId, pairs: G1G2Pair[], nFixedG...
  function schnorrCalldataBuilder (line 158) | function schnorrCalldataBuilder(rx: bigint, s: bigint, e: bigint, px: bi...
  function ecdsaCalldataBuilder (line 207) | function ecdsaCalldataBuilder(r: bigint, s: bigint, v: number, px: bigin...
  function eddsaCalldataBuilder (line 249) | function eddsaCalldataBuilder(ry_twisted_le: bigint, s: bigint, py_twist...
  function rsa2048CalldataBuilder (line 275) | function rsa2048CalldataBuilder(signature: bigint, expectedMessage: bigi...
  function rsa2048Sha256CalldataBuilder (line 303) | function rsa2048Sha256CalldataBuilder(signature: bigint, message: Uint8A...
  function toWeirstrass (line 322) | function toWeirstrass(x_twisted: bigint, y_twisted: bigint): [bigint, bi...
  function toTwistedEdwards (line 347) | function toTwistedEdwards(x_weierstrass: bigint, y_weierstrass: bigint):...
  function getGroth16CallData (line 377) | function getGroth16CallData(proof: Groth16Proof, verifyingKey: Groth16Ve...
  function getZKHonkCallData (line 399) | function getZKHonkCallData(proof: Uint8Array, publicInputs: Uint8Array, ...
  constant DRAND_BASE_URLS (line 406) | const DRAND_BASE_URLS = [
  constant DRAND_QUICKNET_HASH (line 416) | const DRAND_QUICKNET_HASH = '52db9ba70e0cc0f6eaf7803dd07447a1f5477735fd3...
  type DrandRandomnessBeacon (line 421) | type DrandRandomnessBeacon = {
  function fetchAndGetDrandCallData (line 448) | async function fetchAndGetDrandCallData(roundNumber: number | 'latest' =...
  function getDrandCallData (line 469) | function getDrandCallData({ round, randomness, signature }: DrandRandomn...
  function encryptToDrandRoundAndGetCallData (line 482) | function encryptToDrandRoundAndGetCallData(roundNumber: number, message:...
  function fetchDrandRandomness (line 512) | async function fetchDrandRandomness(roundNumber: number | 'latest' = 'la...
  function poseidonHashBN254 (line 552) | function poseidonHashBN254(x: bigint, y: bigint): bigint {

FILE: tools/npm/garaga_ts/src/node/definitions.ts
  type CurveId (line 12) | enum CurveId {
  type G1Point (line 21) | interface G1Point {
  type G2Point (line 27) | interface G2Point {
  type G1G2Pair (line 33) | interface G1G2Pair {
  type WeiertrassCurve (line 39) | interface WeiertrassCurve {
  type PairingCurve (line 52) | interface PairingCurve extends WeiertrassCurve {
  type TwistedEdwardsCurve (line 66) | interface TwistedEdwardsCurve extends WeiertrassCurve {
  constant CURVES (line 134) | const CURVES:  Record<CurveId, WeiertrassCurve | PairingCurve | TwistedE...

FILE: tools/npm/garaga_ts/src/node/index.ts
  function init (line 10) | function init(): ReturnType<typeof pkg_init> {

FILE: tools/npm/garaga_ts/src/node/starknet/groth16ContractGenerator/parsingUtils.ts
  type Groth16Proof (line 11) | interface Groth16Proof {
  type Groth16VerifyingKey (line 21) | interface Groth16VerifyingKey {
  type Output (line 29) | interface Output {
  type ExitCode (line 34) | interface ExitCode {
  type ReceiptClaim (line 40) | interface ReceiptClaim {
  class KeyPatternNotFoundError (line 49) | class KeyPatternNotFoundError extends Error {
    method constructor (line 50) | constructor(message: string) {
  function ok (line 431) | function ok(imageId: Uint8Array, journalDigest: Uint8Array): ReceiptClaim {

FILE: tools/npm/garaga_ts/src/node/starknet/honkContractGenerator/parsingUtils.ts
  type HonkFlavor (line 1) | enum HonkFlavor {

FILE: tools/npm/garaga_ts/src/wasm/pkg/garaga_rs.d.ts
  type InitInput (line 18) | type InitInput = RequestInfo | URL | Response | BufferSource | WebAssemb...
  type InitOutput (line 20) | interface InitOutput {
  type SyncInitInput (line 47) | type SyncInitInput = BufferSource | WebAssembly.Module;

FILE: tools/npm/garaga_ts/src/wasm/pkg/garaga_rs.js
  function addToExternrefTable0 (line 3) | function addToExternrefTable0(obj) {
  function handleError (line 9) | function handleError(f, args) {
  function getUint8ArrayMemory0 (line 24) | function getUint8ArrayMemory0() {
  function getStringFromWasm0 (line 31) | function getStringFromWasm0(ptr, len) {
  function debugString (line 36) | function debugString(val) {
  constant WASM_VECTOR_LEN (line 101) | let WASM_VECTOR_LEN = 0;
  function passStringToWasm0 (line 118) | function passStringToWasm0(arg, malloc, realloc) {
  function getDataViewMemory0 (line 159) | function getDataViewMemory0() {
  function isLikeNone (line 166) | function isLikeNone(x) {
  function passArrayJsValueToWasm0 (line 170) | function passArrayJsValueToWasm0(array, malloc) {
  function takeFromExternrefTable0 (line 180) | function takeFromExternrefTable0(idx) {
  function getArrayJsValueFromWasm0 (line 186) | function getArrayJsValueFromWasm0(ptr, len) {
  function drand_calldata_builder (line 200) | function drand_calldata_builder(values) {
  function drand_tlock_encrypt_calldata_builder (line 216) | function drand_tlock_encrypt_calldata_builder(values) {
  function msm_calldata_builder (line 236) | function msm_calldata_builder(values, scalars, curve_id, include_points_...
  function mpc_calldata_builder (line 257) | function mpc_calldata_builder(curve_id, values1, n_fixed_g2, values2) {
  function schnorr_calldata_builder (line 281) | function schnorr_calldata_builder(rx, s, e, px, py, prepend_public_key, ...
  function ecdsa_calldata_builder (line 302) | function ecdsa_calldata_builder(r, s, v, px, py, z, prepend_public_key, ...
  function eddsa_calldata_builder (line 320) | function eddsa_calldata_builder(ry_twisted, s, py_twisted, msg, prepend_...
  function rsa_2048_calldata_builder (line 337) | function rsa_2048_calldata_builder(signature, expected_message, modulus,...
  function rsa_2048_sha256_calldata_builder (line 354) | function rsa_2048_sha256_calldata_builder(signature, message, modulus, p...
  function to_weirstrass (line 369) | function to_weirstrass(x_twisted, y_twisted) {
  function to_twistededwards (line 384) | function to_twistededwards(x_weirstrass, y_weirstrass) {
  function get_groth16_calldata (line 400) | function get_groth16_calldata(proof_js, vk_js, curve_id_js) {
  function get_zk_honk_calldata (line 416) | function get_zk_honk_calldata(proof_js, public_inputs_js, vk_js) {
  function poseidon_hash (line 431) | function poseidon_hash(x, y) {
  function __wbg_load (line 439) | async function __wbg_load(module, imports) {
  function __wbg_get_imports (line 470) | function __wbg_get_imports() {
  function __wbg_init_memory (line 586) | function __wbg_init_memory(imports, memory) {
  function __wbg_finalize_init (line 590) | function __wbg_finalize_init(instance, module) {
  function initSync (line 601) | function initSync(module) {
  function __wbg_init (line 626) | async function __wbg_init(module_or_path) {

FILE: tools/npm/garaga_ts/tests/starknet/groth16Calldata.test.ts
  constant PATH (line 5) | const PATH = '../../../hydra/garaga/starknet/groth16_contract_generator/...

FILE: tools/npm/garaga_ts/tests/starknet/groth16VkProofParsing.test.ts
  constant PATH (line 3) | const PATH = '../../../hydra/garaga/starknet/groth16_contract_generator/...

FILE: tools/npm/garaga_ts/tests/starknet/zkHonkCalldata.test.ts
  constant PATH (line 5) | const PATH = '../../../hydra/garaga/starknet/honk_contract_generator/exa...

FILE: tools/npm/integration-test-suite/packages/nodejs-ts-cjs-tsc/src/index.ts
  function main (line 6) | async function main(): Promise<void> {

FILE: tools/npm/integration-test-suite/packages/nodejs-ts-esm-tsc/src/index.ts
  function main (line 4) | async function main(): Promise<void> {

FILE: tools/npm/integration-test-suite/packages/web-js-esm-react/scrape.cjs
  function loadWebContent (line 3) | async function loadWebContent(url) {
  function scrape (line 13) | async function scrape() {

FILE: tools/npm/integration-test-suite/packages/web-js-esm-react/src/app/layout.js
  function RootLayout (line 6) | function RootLayout({ children }) {

FILE: tools/npm/integration-test-suite/packages/web-js-esm-react/src/app/page.js
  function Home (line 7) | function Home() {

FILE: tools/npm/integration-test-suite/packages/web-js-esm-webpack/scrape.cjs
  function loadWebContent (line 3) | async function loadWebContent(url) {
  function scrape (line 13) | async function scrape() {

FILE: tools/npm/integration-test-suite/packages/web-js-esm-webpack/src/index.js
  function main (line 4) | async function main() {

FILE: tools/process_manager.py
  class ProcessManager (line 9) | class ProcessManager:
    method __init__ (line 12) | def __init__(self):
    method __enter__ (line 19) | def __enter__(self):
    method __exit__ (line 35) | def __exit__(self, exc_type, exc_val, exc_tb):
    method _signal_handler (line 38) | def _signal_handler(self, signum, frame):
    method cleanup (line 53) | def cleanup(self):
    method run_subprocess (line 85) | def run_subprocess(
  function managed_subprocess (line 152) | def managed_subprocess():

FILE: tools/profile_tests.py
  class Config (line 58) | class Config:
  class Paths (line 95) | class Paths:
    method __post_init__ (line 100) | def __post_init__(self):
    method ensure_dirs (line 106) | def ensure_dirs(self):
  class Logger (line 112) | class Logger:
    method log (line 124) | def log(message: str, level: str = "info", emoji: str = None):
    method header (line 137) | def header(title: str):
    method exit_panel (line 149) | def exit_panel(message: str, status: str, border_style: str = "green"):
  function handle_errors (line 160) | def handle_errors(func):
  function fail_on_error (line 174) | def fail_on_error(func):
  function log_step (line 192) | def log_step(description: str):
  class UIBuilder (line 208) | class UIBuilder:
    method progress (line 212) | def progress(advanced: bool = False) -> Progress:
  class TestResourceInfo (line 247) | class TestResourceInfo:
    method __post_init__ (line 258) | def __post_init__(self):
    method from_trace_file (line 265) | def from_trace_file(
    method predict_trace_path (line 288) | def predict_trace_path(test_name: str, base_dir: Path) -> Path:
    method extract_hierarchy_parts (line 293) | def extract_hierarchy_parts(test_name: str) -> List[str]:
    method _calculate_sierra_gas (line 302) | def _calculate_sierra_gas(self) -> int:
    method to_benchmark_row (line 311) | def to_benchmark_row(self) -> dict:
  class JsonManager (line 332) | class JsonManager:
    method read (line 337) | def read(file_path: Path, default=None):
    method write (line 346) | def write(file_path: Path, data, indent: int = 2) -> bool:
  class TraceProcessor (line 353) | class TraceProcessor:
    method __init__ (line 356) | def __init__(self, config: Config):
    method process (line 371) | def process(
    method _generate_profile (line 412) | def _generate_profile(self, trace_file: Path, run_cmd) -> Optional[Path]:
    method _extract_resources (line 437) | def _extract_resources(self, profile_file: Path, run_cmd) -> dict:
    method _generate_image (line 486) | def _generate_image(self, profile_file: Path, output_path: Path, run_c...
  class Command (line 515) | class Command(ABC):
    method execute (line 519) | def execute(self) -> bool:
    method can_execute (line 523) | def can_execute(self) -> bool:
  class CheckDependenciesCommand (line 527) | class CheckDependenciesCommand(Command):
    method __init__ (line 530) | def __init__(self, config: Config):
    method execute (line 540) | def execute(self) -> bool:
    method can_execute (line 556) | def can_execute(self) -> bool:
  class RunTestsCommand (line 560) | class RunTestsCommand(Command):
    method __init__ (line 563) | def __init__(self, paths: Paths, test_filter: Optional[str] = None):
    method execute (line 570) | def execute(self) -> bool:
    method can_execute (line 642) | def can_execute(self) -> bool:
    method _get_contract_paths (line 645) | def _get_contract_paths(self) -> List[Path]:
  class ProcessTracesCommand (line 654) | class ProcessTracesCommand(Command):
    method __init__ (line 657) | def __init__(self, paths: Paths, passed_tests: List[str], parallel_job...
    method execute (line 664) | def execute(self) -> bool:
    method can_execute (line 705) | def can_execute(self) -> bool:
    method _find_trace_files (line 708) | def _find_trace_files(self) -> List[Tuple[str, Path, Path]]:
    method _get_trace_directories (line 726) | def _get_trace_directories(self) -> List[Path]:
    method _process_futures_interruptible (line 740) | def _process_futures_interruptible(self, futures, pm) -> int:
    method _update_summary (line 798) | def _update_summary(self):
  class GenerateBenchmarksCommand (line 814) | class GenerateBenchmarksCommand(Command):
    method __init__ (line 817) | def __init__(self, paths: Paths):
    method execute (line 821) | def execute(self) -> bool:
    method can_execute (line 839) | def can_execute(self) -> bool:
    method _update_readme (line 843) | def _update_readme(self, test_data: dict) -> bool:
    method _find_benchmarks_section (line 881) | def _find_benchmarks_section(
    method _generate_benchmarks_content (line 904) | def _generate_benchmarks_content(self, test_data: dict) -> str:
  class ReportBuilder (line 928) | class ReportBuilder:
    method __init__ (line 931) | def __init__(self, test_data: dict):
    method build (line 935) | def build(self) -> str:
    method _group_by_module (line 941) | def _group_by_module(self):
    method _generate_nested_hierarchy (line 972) | def _generate_nested_hierarchy(
    method _merge_single_children (line 1010) | def _merge_single_children(self, name: str, data: dict) -> Tuple[str, ...
    method _create_dataframe (line 1030) | def _create_dataframe(self, tests: List[dict]) -> pd.DataFrame:
    method _generate_table (line 1067) | def _generate_table(self, df: pd.DataFrame) -> str:
    method _collapsible_section (line 1124) | def _collapsible_section(
  class WorkflowExecutor (line 1145) | class WorkflowExecutor:
    method __init__ (line 1148) | def __init__(self, config: Config, paths: Paths):
    method execute_workflow (line 1153) | def execute_workflow(
  class CLIConfig (line 1224) | class CLIConfig:
  function main (line 1234) | def main():