SYMBOL INDEX (176 symbols across 22 files)

FILE: code/algebra.py
  function xgcd (line 1) | def xgcd( x, y ):
  class FieldElement (line 14) | class FieldElement:
    method __init__ (line 15) | def __init__( self, value, field ):
    method __add__ (line 19) | def __add__( self, right ):
    method __mul__ (line 22) | def __mul__( self, right ):
    method __sub__ (line 25) | def __sub__( self, right ):
    method __truediv__ (line 28) | def __truediv__( self, right ):
    method __neg__ (line 31) | def __neg__( self ):
    method inverse (line 34) | def inverse( self ):
    method __xor__ (line 38) | def __xor__( self, exponent ):
    method __eq__ (line 47) | def __eq__( self, other ):
    method __neq__ (line 50) | def __neq__( self, other ):
    method __str__ (line 53) | def __str__( self ):
    method __bytes__ (line 56) | def __bytes__( self ):
    method is_zero (line 59) | def is_zero( self ):
  class Field (line 65) | class Field:
    method __init__ (line 66) | def __init__( self, p ):
    method zero (line 69) | def zero( self ):
    method one (line 72) | def one( self ):
    method multiply (line 75) | def multiply( self, left, right ):
    method add (line 78) | def add( self, left, right ):
    method subtract (line 81) | def subtract( self, left, right ):
    method negate (line 84) | def negate( self, operand ):
    method inverse (line 87) | def inverse( self, operand ):
    method divide (line 91) | def divide( self, left, right ):
    method main (line 96) | def main():
    method generator (line 100) | def generator( self ):
    method primitive_nth_root (line 104) | def primitive_nth_root( self, n ):
    method sample (line 116) | def sample( self, byte_array ):

FILE: code/fast_rpsss.py
  class SignatureProofStream (line 7) | class SignatureProofStream(ProofStream):
    method __init__ (line 8) | def __init__( self, document ):
    method prover_fiat_shamir (line 13) | def prover_fiat_shamir( self, num_bytes=32 ):
    method verifier_fiat_shamir (line 16) | def verifier_fiat_shamir( self, num_bytes=32 ):
    method deserialize (line 19) | def deserialize( self, bb ):
  class FastRPSSS (line 24) | class FastRPSSS:
    method __init__ (line 25) | def __init__( self ):
    method stark_prove (line 38) | def stark_prove( self, input_element, proof_stream ):
    method stark_verify (line 48) | def stark_verify( self, output_element, stark_proof, proof_stream ):
    method keygen (line 53) | def keygen( self ):
    method sign (line 58) | def sign( self, sk, document ):
    method verify (line 63) | def verify( self, pk, document, signature ):

FILE: code/fast_stark.py
  class FastStark (line 8) | class FastStark:
    method __init__ (line 9) | def __init__( self, field, expansion_factor, num_colinearity_checks, s...
    method preprocess (line 36) | def preprocess( self ):
    method transition_degree_bounds (line 42) | def transition_degree_bounds( self, transition_constraints ):
    method transition_quotient_degree_bounds (line 46) | def transition_quotient_degree_bounds( self, transition_constraints ):
    method max_degree (line 49) | def max_degree( self, transition_constraints ):
    method boundary_zerofiers (line 53) | def boundary_zerofiers( self, boundary ):
    method boundary_interpolants (line 60) | def boundary_interpolants( self, boundary ):
    method boundary_quotient_degree_bounds (line 69) | def boundary_quotient_degree_bounds( self, randomized_trace_length, bo...
    method sample_weights (line 73) | def sample_weights( self, number, randomness ):
    method prove (line 76) | def prove( self, trace, transition_constraints, boundary, transition_z...
    method verify (line 180) | def verify( self, proof, transition_constraints, boundary, transition_...

FILE: code/fri.py
  class Fri (line 11) | class Fri:
    method __init__ (line 12) | def __init__( self, offset, omega, initial_domain_length, expansion_fa...
    method num_rounds (line 22) | def num_rounds( self ):
    method sample_index (line 30) | def sample_index( byte_array, size ):
    method sample_indices (line 36) | def sample_indices( self, seed, size, reduced_size, number ):
    method eval_domain (line 53) | def eval_domain( self ):
    method commit (line 56) | def commit( self, codeword, proof_stream, round_index=0 ):
    method query (line 98) | def query( self, current_codeword, next_codeword, c_indices, proof_str...
    method prove (line 115) | def prove( self, codeword, proof_stream ):
    method verify (line 132) | def verify( self, proof_stream, polynomial_values ):

FILE: code/ip.py
  class ProofStream (line 4) | class ProofStream:
    method __init__ (line 5) | def __init__( self ):
    method push (line 9) | def push( self, obj ):
    method pull (line 12) | def pull( self ):
    method serialize (line 18) | def serialize( self ):
    method prover_fiat_shamir (line 21) | def prover_fiat_shamir( self, num_bytes=32 ):
    method verifier_fiat_shamir (line 24) | def verifier_fiat_shamir( self, num_bytes=32 ):
    method deserialize (line 27) | def deserialize( self, bb ):

FILE: code/merkle.py
  class Merkle (line 3) | class Merkle:
    method commit_ (line 6) | def commit_( leafs ):
    method commit (line 13) | def commit( data_array ):
    method open_ (line 16) | def open_( index, leafs ):
    method open (line 26) | def open( index, data_array ):
    method verify_ (line 29) | def verify_( root, index, path, leaf ):
    method verify (line 42) | def verify( root, index, path, data_element ):

FILE: code/multivariate.py
  class MPolynomial (line 3) | class MPolynomial:
    method __init__ (line 4) | def __init__( self, dictionary ):
    method zero (line 16) | def zero():
    method __add__ (line 19) | def __add__( self, other ):
    method __mul__ (line 35) | def __mul__( self, other ):
    method __sub__ (line 52) | def __sub__( self, other ):
    method __neg__ (line 55) | def __neg__( self ):
    method __xor__ (line 61) | def __xor__( self, exponent ):
    method constant (line 74) | def constant( element ):
    method is_zero (line 77) | def is_zero( self ):
    method variables (line 89) | def variables( num_variables, field ):
    method evaluate (line 96) | def evaluate( self, point ):
    method evaluate_symbolic (line 105) | def evaluate_symbolic( self, point ):
    method lift (line 114) | def lift( polynomial, variable_index ):

FILE: code/ntt.py
  function ntt (line 3) | def ntt( primitive_root, values ):
  function intt (line 20) | def intt( primitive_root, values ):
  function fast_multiply (line 32) | def fast_multiply( lhs, rhs, primitive_root, root_order ):
  function fast_zerofier (line 66) | def fast_zerofier( domain, primitive_root, root_order ):
  function fast_evaluate (line 82) | def fast_evaluate( polynomial, domain, primitive_root, root_order ):
  function fast_interpolate (line 102) | def fast_interpolate( domain, values, primitive_root, root_order ):
  function fast_coset_evaluate (line 132) | def fast_coset_evaluate( polynomial, offset, generator, order ):
  function fast_coset_divide (line 137) | def fast_coset_divide( lhs, rhs, offset, primitive_root, root_order ): #...

FILE: code/rescue_prime.py
  class RescuePrime (line 5) | class RescuePrime:
    method __init__ (line 6) | def __init__( self ):
    method hash (line 128) | def hash( self, input_element ):
    method trace (line 162) | def trace( self, input_element ):
    method boundary_constraints (line 206) | def boundary_constraints( self, output_element ):
    method round_constants_polynomials (line 217) | def round_constants_polynomials( self, omicron ):
    method transition_constraints (line 239) | def transition_constraints( self, omicron ):
    method randomizer_freedom (line 269) | def randomizer_freedom( self, omicron, num_randomizers ):

FILE: code/rpsss.py
  class SignatureProofStream (line 7) | class SignatureProofStream(ProofStream):
    method __init__ (line 8) | def __init__( self, document ):
    method prover_fiat_shamir (line 13) | def prover_fiat_shamir( self, num_bytes=32 ):
    method verifier_fiat_shamir (line 16) | def verifier_fiat_shamir( self, num_bytes=32 ):
    method deserialize (line 19) | def deserialize( self, bb ):
  class RPSSS (line 24) | class RPSSS:
    method __init__ (line 25) | def __init__( self ):
    method stark_prove (line 37) | def stark_prove( self, input_element, proof_stream ):
    method stark_verify (line 47) | def stark_verify( self, output_element, stark_proof, proof_stream ):
    method keygen (line 52) | def keygen( self ):
    method sign (line 57) | def sign( self, sk, document ):
    method verify (line 62) | def verify( self, pk, document, signature ):

FILE: code/stark.py
  class Stark (line 7) | class Stark:
    method __init__ (line 8) | def __init__( self, field, expansion_factor, num_colinearity_checks, s...
    method transition_degree_bounds (line 35) | def transition_degree_bounds( self, transition_constraints ):
    method transition_quotient_degree_bounds (line 39) | def transition_quotient_degree_bounds( self, transition_constraints ):
    method max_degree (line 42) | def max_degree( self, transition_constraints ):
    method transition_zerofier (line 46) | def transition_zerofier( self ):
    method boundary_zerofiers (line 50) | def boundary_zerofiers( self, boundary ):
    method boundary_interpolants (line 57) | def boundary_interpolants( self, boundary ):
    method boundary_quotient_degree_bounds (line 66) | def boundary_quotient_degree_bounds( self, randomized_trace_length, bo...
    method sample_weights (line 70) | def sample_weights( self, number, randomness ):
    method prove (line 73) | def prove( self, trace, transition_constraints, boundary, proof_stream...
    method verify (line 172) | def verify( self, proof, transition_constraints, boundary, proof_strea...

FILE: code/test_fast_stark.py
  function test_fast_stark (line 9) | def test_fast_stark( ):

FILE: code/test_fri.py
  function test_fri (line 4) | def test_fri( ):

FILE: code/test_ip.py
  function test_serialize (line 3) | def test_serialize( ):

FILE: code/test_merkle.py
  function test_merkle (line 4) | def test_merkle():

FILE: code/test_multivariate.py
  function test_evaluate (line 3) | def test_evaluate( ):
  function test_lift (line 28) | def test_lift( ):

FILE: code/test_ntt.py
  function test_ntt (line 6) | def test_ntt( ):
  function test_intt (line 21) | def test_intt( ):
  function test_multiply (line 34) | def test_multiply( ):
  function test_divide (line 53) | def test_divide( ):
  function test_interpolate (line 72) | def test_interpolate( ):
  function test_coset_evaluate (line 98) | def test_coset_evaluate( ):

FILE: code/test_rescue_prime.py
  function test_rescue_prime (line 4) | def test_rescue_prime( ):
  function test_trace (line 20) | def test_trace( ):

FILE: code/test_rpsss.py
  function test_rpsss (line 5) | def test_rpsss( ):
  function test_fast_rpsss (line 43) | def test_fast_rpsss( ):

FILE: code/test_stark.py
  function test_stark (line 9) | def test_stark( ):

FILE: code/test_univariate.py
  function test_distributivity (line 4) | def test_distributivity():
  function test_division (line 21) | def test_division():
  function test_interpolate (line 51) | def test_interpolate():
  function test_zerofier (line 73) | def test_zerofier( ):

FILE: code/univariate.py
  class Polynomial (line 3) | class Polynomial:
    method __init__ (line 4) | def __init__( self, coefficients ):
    method degree (line 7) | def degree( self ):
    method __neg__ (line 19) | def __neg__( self ):
    method __add__ (line 22) | def __add__( self, other ):
    method __sub__ (line 35) | def __sub__( self, other ):
    method __mul__ (line 38) | def __mul__(self, other ):
    method __truediv__ (line 50) | def __truediv__( self, other ):
    method __mod__ (line 55) | def __mod__( self, other ):
    method __eq__ (line 59) | def __eq__( self, other ):
    method __neq__ (line 66) | def __neq__( self, other ):
    method is_zero (line 69) | def is_zero( self ):
    method __str__ (line 74) | def __str__( self ):
    method leading_coefficient (line 77) | def leading_coefficient( self ):
    method divide (line 80) | def divide( numerator, denominator ):
    method is_zero (line 99) | def is_zero( self ):
    method interpolate_domain (line 107) | def interpolate_domain( domain, values ):
    method zerofier_domain (line 122) | def zerofier_domain( domain ):
    method evaluate (line 130) | def evaluate( self, point ):
    method evaluate_domain (line 138) | def evaluate_domain( self, domain ):
    method __xor__ (line 141) | def __xor__( self, exponent ):
    method scale (line 153) | def scale( self, factor ):
  function test_colinearity (line 156) | def test_colinearity( points ):