SYMBOL INDEX (112 symbols across 13 files)

FILE: TESTING_verifier_DO_NOT_OPEN.py
  class TestingVerificationKey (line 10) | class TestingVerificationKey:
    method verify_proof (line 39) | def verify_proof(self, group_order: int, pf, public=[]) -> bool:
    method verify_proof_unoptimized (line 166) | def verify_proof_unoptimized(self, group_order: int, pf, public=[]) ->...
    method compute_challenges (line 267) | def compute_challenges(

FILE: compiler/assembly.py
  class GateWires (line 8) | class GateWires:
    method as_list (line 15) | def as_list(self) -> list[Optional[str]]:
  class Gate (line 20) | class Gate:
  class AssemblyEqn (line 31) | class AssemblyEqn:
    method L (line 37) | def L(self) -> Scalar:
    method R (line 40) | def R(self) -> Scalar:
    method C (line 45) | def C(self) -> Scalar:
    method O (line 48) | def O(self) -> Scalar:
    method M (line 51) | def M(self) -> Scalar:
    method gate (line 58) | def gate(self) -> Gate:
  function evaluate (line 71) | def evaluate(exprs: list[str], first_is_negative=False) -> dict[Optional...
  function eq_to_assembly (line 122) | def eq_to_assembly(eq: str) -> AssemblyEqn:

FILE: compiler/program.py
  class CommonPreprocessedInput (line 11) | class CommonPreprocessedInput:
  class Program (line 33) | class Program:
    method __init__ (line 37) | def __init__(self, constraints: list[str], group_order: int):
    method common_preprocessed_input (line 44) | def common_preprocessed_input(self) -> CommonPreprocessedInput:
    method from_str (line 60) | def from_str(cls, constraints: str, group_order: int):
    method coeffs (line 64) | def coeffs(self) -> list[dict[Optional[str], int]]:
    method wires (line 67) | def wires(self) -> list[GateWires]:
    method make_s_polynomials (line 70) | def make_s_polynomials(self) -> dict[Column, Polynomial]:
    method get_public_assignments (line 116) | def get_public_assignments(self) -> list[Optional[str]]:
    method make_gate_polynomials (line 134) | def make_gate_polynomials(
    method fill_variable_assignments (line 161) | def fill_variable_assignments(

FILE: compiler/utils.py
  class Column (line 6) | class Column(Enum):
    method __lt__ (line 11) | def __lt__(self, other):
    method variants (line 17) | def variants():
  class Cell (line 22) | class Cell:
    method __key (line 26) | def __key(self):
    method __hash__ (line 29) | def __hash__(self):
    method __lt__ (line 32) | def __lt__(self, other):
    method __repr__ (line 37) | def __repr__(self) -> str:
    method __str__ (line 40) | def __str__(self) -> str:
    method label (line 45) | def label(self, group_order: int) -> Scalar:
  function get_product_key (line 54) | def get_product_key(key1, key2):
  function is_valid_variable_name (line 59) | def is_valid_variable_name(name: str) -> bool:

FILE: curve.py
  class Scalar (line 10) | class Scalar(Field):
    method root_of_unity (line 15) | def root_of_unity(cls, group_order: int):
    method roots_of_unity (line 20) | def roots_of_unity(cls, group_order: int):
  function ec_mul (line 30) | def ec_mul(pt, coeff):
  function ec_lincomb (line 38) | def ec_lincomb(pairs):
  function multisubset (line 59) | def multisubset(numbers, subsets, adder=lambda x, y: x + y, zero=0):
  function lincomb (line 91) | def lincomb(numbers, factors, adder=lambda x, y: x + y, zero=0):
  function make_mock_adder (line 115) | def make_mock_adder():
  function test_multisubset (line 126) | def test_multisubset(numcount, setcount):
  function test_lincomb (line 137) | def test_lincomb(numcount, bitlength=256):

FILE: poly.py
  class Basis (line 5) | class Basis(Enum):
  class Polynomial (line 10) | class Polynomial:
    method __init__ (line 14) | def __init__(self, values: list[Scalar], basis: Basis):
    method __eq__ (line 20) | def __eq__(self, other):
    method __add__ (line 23) | def __add__(self, other):
    method __sub__ (line 45) | def __sub__(self, other):
    method __mul__ (line 68) | def __mul__(self, other):
    method __truediv__ (line 85) | def __truediv__(self, other):
    method shift (line 102) | def shift(self, shift: int):
    method fft (line 113) | def fft(self, inv=False):
    method ifft (line 147) | def ifft(self):
    method to_coset_extended_lagrange (line 156) | def to_coset_extended_lagrange(self, offset):
    method coset_extended_lagrange_to_coeffs (line 169) | def coset_extended_lagrange_to_coeffs(self, offset):
    method barycentric_eval (line 181) | def barycentric_eval(self, x: Scalar):

FILE: prover.py
  class Proof (line 11) | class Proof:
    method flatten (line 18) | def flatten(self):
  class Prover (line 39) | class Prover:
    method __init__ (line 45) | def __init__(self, setup: Setup, program: Program):
    method prove (line 51) | def prove(self, witness: dict[Optional[str], int]) -> Proof:
    method round_1 (line 86) | def round_1(
    method round_2 (line 121) | def round_2(self) -> Message2:
    method round_3 (line 154) | def round_3(self) -> Message3:
    method round_4 (line 228) | def round_4(self) -> Message4:
    method round_5 (line 241) | def round_5(self) -> Message5:
    method fft_expand (line 308) | def fft_expand(self, x: Polynomial):
    method expanded_evals_to_coeffs (line 311) | def expanded_evals_to_coeffs(self, x: Polynomial):
    method rlc (line 314) | def rlc(self, term_1, term_2):

FILE: setup.py
  class Setup (line 16) | class Setup(object):
    method from_file (line 24) | def from_file(cls, filename):
    method commit (line 66) | def commit(self, values: Polynomial) -> G1Point:
    method verification_key (line 75) | def verification_key(self, pk: CommonPreprocessedInput) -> Verificatio...

FILE: test.py
  function setup_test (line 14) | def setup_test():
  function basic_test (line 37) | def basic_test():
  function ab_plus_a_test (line 67) | def ab_plus_a_test(setup):
  function one_public_input_test (line 85) | def one_public_input_test(setup):
  function prover_test_dummy_verifier (line 103) | def prover_test_dummy_verifier(setup):
  function prover_test (line 136) | def prover_test(setup):
  function verifier_test_unoptimized (line 148) | def verifier_test_unoptimized(setup, proof):
  function verifier_test_full (line 159) | def verifier_test_full(setup, proof):
  function factorization_test (line 171) | def factorization_test(setup):
  function output_proof_lang (line 216) | def output_proof_lang() -> str:
  function poseidon_test (line 242) | def poseidon_test(setup):

FILE: test/mini_poseidon.py
  function poseidon_hash (line 27) | def poseidon_hash(in1, in2):

FILE: transcript.py
  class Message1 (line 9) | class Message1:
  class Message2 (line 19) | class Message2:
  class Message3 (line 25) | class Message3:
  class Message4 (line 35) | class Message4:
  class Message5 (line 51) | class Message5:
  class Transcript (line 58) | class Transcript(MerlinTranscript):
    method append (line 59) | def append(self, label: bytes, item: bytes) -> None:
    method append_scalar (line 62) | def append_scalar(self, label: bytes, item: Scalar):
    method append_point (line 65) | def append_point(self, label: bytes, item: G1Point):
    method get_and_append_challenge (line 69) | def get_and_append_challenge(self, label: bytes) -> Scalar:
    method round_1 (line 77) | def round_1(self, message: Message1) -> tuple[Scalar, Scalar]:
    method round_2 (line 88) | def round_2(self, message: Message2) -> tuple[Scalar, Scalar]:
    method round_3 (line 99) | def round_3(self, message: Message3) -> Scalar:
    method round_4 (line 107) | def round_4(self, message: Message4) -> Scalar:
    method round_5 (line 118) | def round_5(self, message: Message5) -> Scalar:

FILE: utils.py
  function interpret_json_point (line 10) | def interpret_json_point(p):

FILE: verifier.py
  class VerificationKey (line 10) | class VerificationKey:
    method verify_proof (line 40) | def verify_proof(self, group_order: int, pf, public=[]) -> bool:
    method verify_proof_unoptimized (line 75) | def verify_proof_unoptimized(self, group_order: int, pf, public=[]) ->...
    method compute_challenges (line 95) | def compute_challenges(