Index A | B | C | D | E | F | G | H | I | K | L | M | N | O | P | Q | R | S | T | U | V | W | Z A accumulate_constraints() (in module protocol.quotient) accumulate_constraints_ef4() (in module protocol.quotient) ADD (protocol.proof.SymbolicNodeKind attribute) AdjacentOpenedValues (class in protocol.proof) after_challenge (protocol.proof.Commitments attribute) (protocol.proof.OpenedValues attribute) (protocol.proof.TraceWidth attribute) air_id (protocol.proof.AirInputData attribute) (protocol.proof.AirProofData attribute) AirInputData (class in protocol.proof) AirProofData (class in protocol.proof) all_round_evals (protocol.fri.CommitPhaseResult attribute) answer_query() (in module protocol.fri) B BABYBEAR_PRIME (in module primitives.field) batch_inverse() (in module primitives.field) batch_inverse_base() (in module primitives.field) BatchOpening (class in protocol.proof) betas (protocol.fri.CommitPhaseOutput attribute) (protocol.fri.CommitPhaseResult attribute) bit_reverse_list() (in module primitives.field) broadcast() (primitives.field.FF4 class method) build_merkle_tree() (in module primitives.merkle) bus_index (protocol.proof.Interaction attribute) C c0 (primitives.field.FF4 property) cached_mains (protocol.proof.AirInputData attribute) (protocol.proof.TraceWidth attribute) CHALLENGE (protocol.proof.EntryType attribute) ChallengePhaseError Challenger (class in primitives.transcript) check_witness() (in module primitives.transcript) clone() (primitives.transcript.Challenger method) coefficients (protocol.proof.LinearConstraint attribute) coeffs (primitives.field.FF4 property) (protocol.pcs.CommittedData attribute) commit (protocol.proof.VerifierSinglePreprocessedData attribute) commit_phase() (in module protocol.fri) commit_phase_commits (protocol.fri.CommitPhaseOutput attribute) (protocol.proof.FriProof attribute) commit_phase_openings (protocol.fri.FriQueryResult attribute) (protocol.proof.QueryProof attribute) commit_pow_witnesses (protocol.fri.CommitPhaseResult attribute) (protocol.proof.FriProof attribute) commit_proof_of_work_bits (protocol.proof.FriParameters attribute) commitment (protocol.pcs.PcsRound attribute) Commitments (class in protocol.proof) commitments (protocol.proof.Proof attribute) CommitPhaseOutput (class in protocol.fri) CommitPhaseProofStep (class in protocol.proof) CommitPhaseResult (class in protocol.fri) commits (protocol.fri.CommitPhaseResult attribute) committed (protocol.pcs.PcsOpeningRound attribute) CommittedData (class in protocol.pcs) common_main (protocol.proof.AirInputData attribute) (protocol.proof.TraceWidth attribute) compress() (in module primitives.poseidon2) compress_batch() (in module primitives.poseidon2) compute_after_challenge_trace() (in module protocol.logup) compute_max_constraint_degree() (in module protocol.logup) compute_quotient_chunks() (in module protocol.quotient) compute_quotient_values() (in module protocol.quotient) CONSTANT (protocol.proof.SymbolicNodeKind attribute) constant_value (protocol.proof.SymbolicExpressionNode attribute) constraint_idx (protocol.proof.SymbolicExpressionDag attribute) constraints module constraints (protocol.proof.SymbolicConstraintsDag attribute) constraints.fibonacci_air module coset_lde() (in module primitives.ntt) coset_lde_column() (in module protocol.quotient) CosetSelectors (class in protocol.quotient) count (protocol.proof.Interaction attribute) count_weight (protocol.proof.Interaction attribute) create_disjoint_domain() (in module protocol.domain) cumsum() (primitives.field.FF4 method) D deep_pow_bits (protocol.proof.MultiStarkVerifyingKey0 attribute) deep_pow_witness (protocol.proof.OpeningProof attribute) degree (protocol.proof.AirProofData attribute) degree_multiple (protocol.proof.SymbolicExpressionNode attribute) Digest (in module primitives.field) DIGEST_WIDTH (in module primitives.field) domains (protocol.pcs.CommittedData attribute) domains_and_openings (protocol.pcs.PcsRound attribute) DomainSelectors (class in protocol.domain) E ef4_add() (in module primitives.field) ef4_batch_inverse() (in module primitives.field) ef4_div() (in module primitives.field) ef4_exp_power_of_2() (in module primitives.field) ef4_from_base() (in module primitives.field) ef4_from_json() (in module primitives.field) ef4_idft() (in module primitives.ntt) ef4_inv() (in module primitives.field) ef4_mul() (in module primitives.field) ef4_mul_base() (in module primitives.field) ef4_neg() (in module primitives.field) ef4_pairs_to_leaves() (in module protocol.fri) ef4_pow() (in module primitives.field) ef4_sub() (in module primitives.field) ef4_to_json() (in module primitives.field) ef4v_add() (in module primitives.field) ef4v_cumsum() (in module primitives.field) ef4v_from_base() (in module primitives.field) ef4v_from_rows() (in module primitives.field) ef4v_from_scalar() (in module primitives.field) ef4v_inv() (in module primitives.field) ef4v_mul() (in module primitives.field) ef4v_mul_base() (in module primitives.field) ef4v_mul_scalar() (in module primitives.field) ef4v_neg() (in module primitives.field) ef4v_roll() (in module primitives.field) ef4v_sub() (in module primitives.field) ef4v_to_rows() (in module primitives.field) ef4v_zeros() (in module primitives.field) Entry (class in protocol.proof) entry (protocol.proof.SymbolicVariable attribute) EntryType (class in protocol.proof) eval_constraints() (constraints.fibonacci_air.FibonacciAir method) eval_dag_all_rows() (in module protocol.constraints) eval_dag_at_row() (in module protocol.logup) eval_poly_ef4_batch() (in module primitives.field) eval_symbolic_dag() (in module protocol.constraints) eval_symbolic_expression_dag() (in module protocol.quotient) eval_symbolic_expression_dag_full() (in module protocol.quotient) EXPOSED (protocol.proof.EntryType attribute) exposed_values_after_challenge (protocol.proof.AirProofData attribute) EXT_DEGREE (in module protocol.stark) extend_after_challenge_to_quotient_domain() (in module protocol.quotient) extend_trace_to_quotient_domain() (in module protocol.quotient) F Fe (in module primitives.field) FF (in module primitives.field) FF4 (class in primitives.field) ff4() (in module primitives.field) ff4_array() (in module primitives.field) ff4_coeffs() (in module primitives.field) ff4_from_base() (in module primitives.field) ff4_from_json() (in module primitives.field) ff4_to_json() (in module primitives.field) FF4Coeffs (in module primitives.field) FF4Vec (in module primitives.field) ff_column() (in module primitives.field) ff_constant() (in module primitives.field) ff_roll() (in module primitives.field) ff_zeros() (in module primitives.field) FFPoly (in module primitives.field) fibonacci_public_values() (in module witness.fibonacci) FibonacciAir (class in constraints.fibonacci_air) FIELD_EXTENSION_DEGREE (in module primitives.field) final_poly (protocol.fri.CommitPhaseOutput attribute) (protocol.fri.CommitPhaseResult attribute) (protocol.proof.FriProof attribute) find_interaction_chunks() (in module protocol.logup) first_point() (protocol.domain.TwoAdicMultiplicativeCoset method) fold_constraints() (in module protocol.constraints) fold_matrix() (in module protocol.fri) fold_row() (in module protocol.fri) folded_per_round (protocol.fri.CommitPhaseOutput attribute) (protocol.fri.CommitPhaseResult attribute) fri_fold() (in module protocol.fri) FRI_LOG_UP (protocol.proof.RapPhaseSeqKind attribute) fri_verify_query() (in module protocol.fri) FriLogUpPartialProof (class in protocol.proof) FriParameters (class in protocol.proof) FriProof (class in protocol.proof) FriQueryResult (class in protocol.fri) FriQueryStep (class in protocol.fri) from_base() (primitives.field.FF4 class method) from_monty() (in module primitives.field) from_rows() (primitives.field.FF4 class method) from_state() (primitives.transcript.Challenger class method) G GaloisFF4 (in module primitives.field) GaloisFF4Poly (in module primitives.field) gen() (protocol.domain.TwoAdicMultiplicativeCoset method) generate_betas() (in module protocol.logup) generate_fibonacci_trace() (in module witness.fibonacci) GENERATOR (in module primitives.field) get_omega() (in module primitives.field) get_omega_inv() (in module primitives.field) get_opening_proof() (in module primitives.merkle) grind() (in module primitives.transcript) H hash_batch() (in module primitives.poseidon2) hash_fri_leaf() (in module protocol.fri) hash_to_digest() (in module primitives.poseidon2) HashOutput (in module primitives.field) I idx (protocol.proof.SymbolicExpressionNode attribute) index (protocol.fri.FriQueryResult attribute) (protocol.proof.SymbolicVariable attribute) inner (protocol.proof.MultiStarkVerifyingKey attribute) input_buffer (primitives.transcript.Challenger attribute) input_proof (protocol.proof.QueryProof attribute) Interaction (class in protocol.proof) interactions (protocol.proof.SymbolicConstraintsDag attribute) inv() (primitives.field.FF4 method) inv_mod() (in module primitives.field) inv_zeroifier (protocol.domain.DomainSelectors attribute) (protocol.quotient.CosetSelectors attribute) InvalidDeepPowWitness InvalidOpeningArgument InvalidProofShape is_first_row (protocol.domain.DomainSelectors attribute) IS_FIRST_ROW (protocol.proof.SymbolicNodeKind attribute) is_first_row (protocol.quotient.CosetSelectors attribute) is_last_row (protocol.domain.DomainSelectors attribute) IS_LAST_ROW (protocol.proof.SymbolicNodeKind attribute) is_last_row (protocol.quotient.CosetSelectors attribute) is_scalar (primitives.field.FF4 property) is_transition (protocol.domain.DomainSelectors attribute) IS_TRANSITION (protocol.proof.SymbolicNodeKind attribute) is_transition (protocol.quotient.CosetSelectors attribute) K kind (protocol.proof.Entry attribute) (protocol.proof.SymbolicExpressionNode attribute) L lde_rows (protocol.pcs.CommittedData attribute) left_idx (protocol.proof.SymbolicExpressionNode attribute) LinearConstraint (class in protocol.proof) local (protocol.proof.AdjacentOpenedValues attribute) log_blowup (protocol.proof.FriParameters attribute) log_final_poly_len (protocol.proof.FriParameters attribute) log_n (protocol.domain.TwoAdicMultiplicativeCoset attribute) log_up_pow_bits (protocol.proof.MultiStarkVerifyingKey0 attribute) logup_pow_witness (protocol.proof.FriLogUpPartialProof attribute) M MAIN (protocol.proof.EntryType attribute) main (protocol.proof.OpenedValues attribute) main_trace (protocol.proof.Commitments attribute) MerklePath (in module primitives.field) message (protocol.proof.Interaction attribute) module constraints constraints.fibonacci_air primitives primitives.field primitives.merkle primitives.ntt primitives.poseidon2 primitives.transcript protocol protocol.constraints protocol.domain protocol.fri protocol.logup protocol.pcs protocol.proof protocol.quotient protocol.stark witness witness.fibonacci MONTY_R (in module primitives.field) MONTY_RINV (in module primitives.field) MUL (protocol.proof.SymbolicNodeKind attribute) mul_base() (primitives.field.FF4 method) MultiStarkVerifyingKey (class in protocol.proof) MultiStarkVerifyingKey0 (class in protocol.proof) N natural_domain_for_degree() (in module protocol.domain) NEG (protocol.proof.SymbolicNodeKind attribute) next (protocol.proof.AdjacentOpenedValues attribute) next_point() (protocol.domain.TwoAdicMultiplicativeCoset method) node_degree() (in module protocol.logup) nodes (protocol.proof.SymbolicExpressionDag attribute) ntt() (in module primitives.ntt) num_challenges_to_sample (protocol.proof.StarkVerifyingParams attribute) num_exposed_values_after_challenge (protocol.proof.StarkVerifyingParams attribute) num_public_values (constraints.fibonacci_air.FibonacciAir attribute) (protocol.proof.StarkVerifyingParams attribute) num_queries (protocol.proof.FriParameters attribute) O observe() (primitives.transcript.Challenger method) observe_many() (primitives.transcript.Challenger method) offset (protocol.proof.Entry attribute) one() (primitives.field.FF4 class method) OodEvaluationMismatch opened_values (protocol.proof.BatchOpening attribute) OpenedValues (class in protocol.proof) opening (protocol.proof.Proof attribute) opening_proof (protocol.fri.FriQueryStep attribute) (protocol.proof.BatchOpening attribute) (protocol.proof.CommitPhaseProofStep attribute) OpeningProof (class in protocol.proof) output_buffer (primitives.transcript.Challenger attribute) P p (in module protocol.domain) (in module protocol.fri) (in module protocol.logup) (in module protocol.pcs) (in module protocol.quotient) (in module protocol.stark) P (in module witness.fibonacci) params (protocol.proof.StarkVerifyingKey attribute) parse_e2e_vectors() (in module protocol.proof) parse_fri_params() (in module protocol.proof) parse_proof_json() (in module protocol.proof) parse_prover_inputs() (in module protocol.proof) parse_vk_json() (in module protocol.proof) part_index (protocol.proof.Entry attribute) pcs_commit() (in module protocol.pcs) pcs_open() (in module protocol.pcs) pcs_verify() (in module protocol.pcs) PcsOpeningRound (class in protocol.pcs) PcsRound (class in protocol.pcs) per_air (protocol.proof.MultiStarkVerifyingKey0 attribute) (protocol.proof.Proof attribute) (protocol.proof.ProverInputs attribute) PERMUTATION (protocol.proof.EntryType attribute) permute() (in module primitives.poseidon2) points_per_mat (protocol.pcs.PcsOpeningRound attribute) pre_hash (protocol.proof.MultiStarkVerifyingKey attribute) preprocessed (protocol.proof.AirInputData attribute) PREPROCESSED (protocol.proof.EntryType attribute) preprocessed (protocol.proof.OpenedValues attribute) (protocol.proof.TraceWidth attribute) preprocessed_data (protocol.proof.StarkVerifyingKey attribute) primitives module primitives.field module primitives.merkle module primitives.ntt module primitives.poseidon2 module primitives.transcript module Proof (class in protocol.proof) proof (protocol.proof.OpeningProof attribute) protocol module protocol.constraints module protocol.domain module protocol.fri module protocol.logup module protocol.pcs module protocol.proof module protocol.quotient module protocol.stark module prove_fri() (in module protocol.fri) prove_stark() (in module protocol.stark) ProverInputs (class in protocol.proof) PUBLIC (protocol.proof.EntryType attribute) public_values (protocol.proof.AirProofData attribute) Q query_pow_witness (protocol.proof.FriProof attribute) query_proof_of_work_bits (protocol.proof.FriParameters attribute) query_proofs (protocol.fri.CommitPhaseOutput attribute) (protocol.proof.FriProof attribute) QueryProof (class in protocol.proof) quotient (protocol.proof.Commitments attribute) (protocol.proof.OpenedValues attribute) quotient_degree (protocol.proof.StarkVerifyingKey attribute) quotient_degree() (constraints.fibonacci_air.FibonacciAir method) quotient_values_to_chunks() (in module protocol.quotient) R rap_phase_seq_kind (protocol.proof.StarkVerifyingKey attribute) rap_phase_seq_proof (protocol.proof.Proof attribute) RapPhaseSeqKind (class in protocol.proof) RATE (in module primitives.transcript) reconstruct_quotient() (in module protocol.constraints) reverse_bits_len() (in module primitives.field) right_idx (protocol.proof.SymbolicExpressionNode attribute) roll() (primitives.field.FF4 method) root (protocol.pcs.CommittedData attribute) S sample() (primitives.transcript.Challenger method) sample_bits() (primitives.transcript.Challenger method) sample_ext() (primitives.transcript.Challenger method) selectors_at_point() (protocol.domain.TwoAdicMultiplicativeCoset method) selectors_on_coset() (in module protocol.quotient) serialize_proof_json() (in module protocol.proof) shift (protocol.domain.TwoAdicMultiplicativeCoset attribute) shift_inverse() (protocol.domain.TwoAdicMultiplicativeCoset method) sibling_value (protocol.fri.FriQueryStep attribute) (protocol.proof.CommitPhaseProofStep attribute) size() (protocol.domain.TwoAdicMultiplicativeCoset method) split_domains() (protocol.domain.TwoAdicMultiplicativeCoset method) sponge_state (primitives.transcript.Challenger attribute) STARK_LU_NUM_CHALLENGES (in module protocol.stark) STARK_LU_NUM_EXPOSED_VALUES (in module protocol.stark) StarkVerifyingKey (class in protocol.proof) StarkVerifyingParams (class in protocol.proof) SUB (protocol.proof.SymbolicNodeKind attribute) symbolic_constraints (protocol.proof.StarkVerifyingKey attribute) SymbolicConstraintsDag (class in protocol.proof) SymbolicExpressionDag (class in protocol.proof) SymbolicExpressionNode (class in protocol.proof) SymbolicNodeKind (class in protocol.proof) SymbolicVariable (class in protocol.proof) T threshold (protocol.proof.LinearConstraint attribute) to_list() (primitives.field.FF4 method) to_monty() (in module primitives.field) to_rows() (primitives.field.FF4 method) trace_height_constraints (protocol.proof.MultiStarkVerifyingKey0 attribute) TraceWidth (class in protocol.proof) tree (protocol.pcs.CommittedData attribute) trees (protocol.fri.CommitPhaseResult attribute) TWO_ADICITY (in module primitives.field) TWO_INV (in module primitives.field) TwoAdicMultiplicativeCoset (class in protocol.domain) U unflatten_ext_values() (in module protocol.constraints) V values (protocol.proof.OpeningProof attribute) vanishing_poly_at_point() (protocol.domain.TwoAdicMultiplicativeCoset method) variable (protocol.proof.SymbolicExpressionNode attribute) VARIABLE (protocol.proof.SymbolicNodeKind attribute) VerificationError VerifierSinglePreprocessedData (class in protocol.proof) verify_fri() (in module protocol.fri) verify_opening() (in module primitives.merkle) verify_opening_prehashed() (in module primitives.merkle) verify_single_rap_constraints() (in module protocol.constraints) verify_stark() (in module protocol.stark) W W (in module primitives.field) W_INV (in module primitives.field) width (constraints.fibonacci_air.FibonacciAir attribute) WIDTH (in module primitives.transcript) width (protocol.proof.StarkVerifyingParams attribute) witness module witness.fibonacci module Z zero() (primitives.field.FF4 class method) zeros() (primitives.field.FF4 class method)