Index A | B | C | D | E | F | G | H | I | L | M | N | O | P | Q | R | S | T | U | V | W | X | Z A acc_mul_hint_fields() (in module primitives.expression_bytecode.witness_generation) accumulate_contributions() (in module protocol.utils.challenge_utils) agg_types (protocol.global_info.GlobalInfo attribute) air_config (protocol.simple_pilout.AIRProveData attribute) (protocol.simple_pilout.AIRStage1Data attribute) air_groups (protocol.global_info.GlobalInfo attribute) air_values (primitives.expression_bytecode.expression_evaluator.BufferSet attribute) (protocol.proof.STARKProof attribute) air_values_flat (protocol.data.VerifierData attribute) air_values_map (protocol.stark_info.StarkInfo attribute) AIR_VALUES_OFFSET (in module primitives.expression_bytecode.expression_evaluator) air_values_size (protocol.stark_info.StarkInfo attribute) AirConfig (class in protocol.air_config) airgroup_value() (constraints.base.ConstraintContext method) (constraints.base.ProverConstraintContext method) (constraints.base.VerifierConstraintContext method) airgroup_values (primitives.expression_bytecode.expression_evaluator.BufferSet attribute) (protocol.data.ProverData attribute) (protocol.data.VerifierData attribute) (protocol.proof.STARKProof attribute) airgroup_values_map (protocol.stark_info.StarkInfo attribute) AIRGROUP_VALUES_OFFSET (in module primitives.expression_bytecode.expression_evaluator) airgroup_values_size (protocol.stark_info.StarkInfo attribute) airgroupvalue (primitives.expression_bytecode.expressions_bin.OpType attribute) AIRProveData (class in protocol.simple_pilout) airs (protocol.global_info.GlobalInfo attribute) AIRStage1Data (class in protocol.simple_pilout) airvalue (primitives.expression_bytecode.expressions_bin.OpType attribute) args (primitives.expression_bytecode.expressions_bin.ParserArgs attribute) args_offset (primitives.expression_bytecode.expressions_bin.ParserParams attribute) arity (primitives.merkle_tree.MerkleTree attribute) (primitives.merkle_verifier.MerkleConfig attribute) (primitives.transcript.Transcript attribute) aux_trace (primitives.expression_bytecode.expression_evaluator.BufferSet attribute) B batch (primitives.expression_bytecode.expression_evaluator.Params attribute) batch_inverse() (in module primitives.field) batch_inverse_ff() (in module primitives.batch_inverse) batch_inverse_ff3() (in module primitives.batch_inverse) batch_inverse_ff3_array() (in module primitives.batch_inverse) batch_inverse_ff_array() (in module primitives.batch_inverse) BinFileReader (class in primitives.expression_bytecode.expressions_bin) boundaries (protocol.stark_info.StarkInfo attribute) Boundary (class in primitives.pol_map) buffer_commits_size (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) BufferOffset (in module protocol.stages) BufferSet (class in primitives.expression_bytecode.expression_evaluator) build_column_name_map() (protocol.stark_info.StarkInfo method) build_const_tree() (protocol.stages.PolynomialCommitter method) build_frame_zerofier_inv() (protocol.air_config.ProverHelpers method) build_one_row_zerofier_inv() (protocol.air_config.ProverHelpers method) build_zh_inv() (protocol.air_config.ProverHelpers method) BYTECODE_AIRS (in module constraints) (in module witness) BytecodeConstraintModule (class in constraints.bytecode_adapter) BytecodeWitnessModule (class in witness.bytecode_adapter) C c_exp_id (protocol.stark_info.StarkInfo attribute) calculate_expression() (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx method) calculate_expressions() (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx method) (primitives.expression_bytecode.expression_evaluator.ExpressionsPack method) calculate_internal_contribution() (in module protocol.utils.challenge_utils) calculate_witness() (in module protocol.stages) calculate_witness_std() (in module primitives.expression_bytecode.witness_generation) calculateFRIPolynomial() (protocol.stages.PolynomialCommitter method) calculateQuotientPolynomial() (protocol.stages.PolynomialCommitter method) Challenge (in module primitives.transcript) challenge (primitives.expression_bytecode.expressions_bin.OpType attribute) challenge() (constraints.base.ConstraintContext method) (constraints.base.ProverConstraintContext method) (constraints.base.VerifierConstraintContext method) ChallengeMap (class in primitives.pol_map) challenges (primitives.expression_bytecode.expression_evaluator.BufferSet attribute) (protocol.data.ProverData attribute) (protocol.data.VerifierData attribute) challenges_map (protocol.stark_info.StarkInfo attribute) CHALLENGES_OFFSET (in module primitives.expression_bytecode.expression_evaluator) ChallengesDict (in module protocol.prover) (in module protocol.stages) cm (primitives.expression_bytecode.expressions_bin.OpType attribute) (primitives.pol_map.EvMap.Type attribute) cm_pols_map (protocol.stark_info.StarkInfo attribute) col() (constraints.base.ConstraintContext method) (constraints.base.ProverConstraintContext method) (constraints.base.VerifierConstraintContext method) columns (protocol.data.ProverData attribute) commit() (primitives.merkle_prover.MerkleProver method) commit_id (primitives.expression_bytecode.expressions_bin.HintFieldValue attribute) (primitives.pol_map.EvMap attribute) (primitives.pol_map.PolMap attribute) commitStage() (protocol.stages.PolynomialCommitter method) compress_2col() (in module constraints.base) compute_fri_polynomial() (in module protocol.fri_polynomial) compute_fri_polynomial_verifier() (in module protocol.fri_polynomial) compute_grand_sums() (witness.base.WitnessModule method) (witness.bytecode_adapter.BytecodeWitnessModule method) (witness.lookup2_12.Lookup2_12Witness method) (witness.permutation1_6.Permutation1_6Witness method) (witness.simple_left.SimpleLeftWitness method) (witness.simple_right.SimpleRightWitness method) (witness.specified_ranges.SpecifiedRangesWitness method) (witness.u16_air.U16AirWitness method) (witness.u8_air.U8AirWitness method) compute_intermediates() (witness.base.WitnessModule method) (witness.bytecode_adapter.BytecodeWitnessModule method) (witness.lookup2_12.Lookup2_12Witness method) (witness.permutation1_6.Permutation1_6Witness method) (witness.simple_left.SimpleLeftWitness method) (witness.simple_right.SimpleRightWitness method) (witness.specified_ranges.SpecifiedRangesWitness method) (witness.u16_air.U16AirWitness method) (witness.u8_air.U8AirWitness method) compute_trace() (witness.simple_right.SimpleRightWitness static method) (witness.specified_ranges.SpecifiedRangesWitness static method) (witness.u16_air.U16AirWitness static method) (witness.u8_air.U8AirWitness static method) compute_x() (protocol.air_config.ProverHelpers method) compute_zerofier() (protocol.air_config.ProverHelpers method) computeEvals() (protocol.stages.PolynomialCommitter method) computeFriPol() (protocol.stages.PolynomialCommitter method) computeLEv() (protocol.stages.PolynomialCommitter method) config (primitives.merkle_prover.MerkleProver attribute) (primitives.merkle_verifier.MerkleVerifier attribute) (protocol.pcs.FriPcs attribute) const() (constraints.base.ConstraintContext method) (constraints.base.ProverConstraintContext method) (constraints.base.VerifierConstraintContext method) const_ (primitives.expression_bytecode.expressions_bin.OpType attribute) (primitives.pol_map.EvMap.Type attribute) const_pols (primitives.expression_bytecode.expression_evaluator.BufferSet attribute) (protocol.simple_pilout.AIRProveData attribute) (protocol.simple_pilout.AIRStage1Data attribute) const_pols_extended (primitives.expression_bytecode.expression_evaluator.BufferSet attribute) (protocol.simple_pilout.AIRProveData attribute) (protocol.simple_pilout.AIRStage1Data attribute) const_pols_map (protocol.stark_info.StarkInfo attribute) const_tree (protocol.stages.PolynomialCommitter attribute) constants (protocol.data.ProverData attribute) constraint_polynomial() (constraints.base.ConstraintModule method) (constraints.bytecode_adapter.BytecodeConstraintModule method) (constraints.lookup2_12.Lookup2_12Constraints method) (constraints.permutation1_6.Permutation1_6Constraints method) (constraints.simple_left.SimpleLeftConstraints method) CONSTRAINT_REGISTRY (in module constraints) ConstraintContext (class in constraints.base) ConstraintModule (class in constraints.base) constraints module constraints.base module constraints.bytecode_adapter module constraints.lookup2_12 module constraints.permutation1_6 module constraints.simple_left module constraints_info_debug (primitives.expression_bytecode.expressions_bin.ExpressionsBin attribute) CONSTRAINTS_SECTION (in module primitives.expression_bytecode.expressions_bin) curve (protocol.global_info.GlobalInfo attribute) custom (primitives.expression_bytecode.expressions_bin.OpType attribute) (primitives.merkle_tree.MerkleTree attribute) (primitives.pol_map.EvMap.Type attribute) custom_commits (primitives.expression_bytecode.expression_evaluator.BufferSet attribute) (protocol.proof.STARKProof attribute) (protocol.stark_info.StarkInfo attribute) custom_commits_map (protocol.stark_info.StarkInfo attribute) CustomCommits (class in primitives.pol_map) D default() (protocol.global_info.GlobalInfo class method) DEFAULT_LATTICE_SIZE (in module protocol.prover) derive_challenges_for_stage() (in module protocol.prover) derive_global_challenge() (in module protocol.utils.challenge_utils) derive_global_challenge_multi_air() (in module protocol.utils.challenge_utils) Dest (class in primitives.expression_bytecode.expression_evaluator) dest (primitives.expression_bytecode.expression_evaluator.Dest attribute) dest_dim (primitives.expression_bytecode.expressions_bin.ParserParams attribute) dest_id (primitives.expression_bytecode.expressions_bin.ParserParams attribute) dim (primitives.expression_bytecode.expression_evaluator.Dest attribute) (primitives.expression_bytecode.expression_evaluator.Params attribute) (primitives.expression_bytecode.expressions_bin.HintFieldValue attribute) (primitives.pol_map.ChallengeMap property) (primitives.pol_map.PolMap property) domain_bits (primitives.merkle_verifier.MerkleConfig attribute) (protocol.stark_info.FriFoldStep attribute) domain_size (primitives.expression_bytecode.expression_evaluator.Dest attribute) E end_read_section() (primitives.expression_bytecode.expressions_bin.BinFileReader method) ev_map (protocol.stark_info.StarkInfo attribute) eval (primitives.expression_bytecode.expressions_bin.OpType attribute) EVAL_STAGE_OFFSET (in module protocol.verifier) EvalPoly (in module protocol.pcs) evals (primitives.expression_bytecode.expression_evaluator.BufferSet attribute) (protocol.data.VerifierData attribute) (protocol.proof.STARKProof attribute) EVALS_HASH_WIDTH (in module protocol.verifier) EVALS_OFFSET (in module primitives.expression_bytecode.expression_evaluator) evaluate_hint_field_with_expressions() (in module primitives.expression_bytecode.witness_generation) EvMap (class in primitives.pol_map) evmap() (protocol.stages.PolynomialCommitter method) EvMap.Type (class in primitives.pol_map) exp_id (primitives.expression_bytecode.expression_evaluator.Dest attribute) (primitives.expression_bytecode.expression_evaluator.Params attribute) (primitives.expression_bytecode.expressions_bin.ParserParams attribute) (primitives.pol_map.PolMap attribute) expr (primitives.expression_bytecode.expression_evaluator.Dest attribute) expressions_bin (protocol.air_config.AirConfig attribute) expressions_bin_args_constraints (primitives.expression_bytecode.expressions_bin.ExpressionsBin attribute) expressions_bin_args_expressions (primitives.expression_bytecode.expressions_bin.ExpressionsBin attribute) expressions_info (primitives.expression_bytecode.expressions_bin.ExpressionsBin attribute) EXPRESSIONS_SECTION (in module primitives.expression_bytecode.expressions_bin) ExpressionsBin (class in primitives.expression_bytecode.expressions_bin) ExpressionsCtx (class in primitives.expression_bytecode.expression_evaluator) ExpressionsPack (class in primitives.expression_bytecode.expression_evaluator) extend (protocol.data.ProverData attribute) extend_pol() (primitives.ntt.NTT method) extend_to_domain() (in module primitives.polynomial) extendAndMerkelize() (protocol.stages.PolynomialCommitter method) extension (primitives.ntt.NTT attribute) F f (primitives.expression_bytecode.expressions_bin.OpType attribute) FastValue (in module primitives.expression_bytecode.expression_evaluator) FF (in module primitives.field) (primitives.pol_map.FieldType attribute) FF3 (in module primitives.field) (primitives.pol_map.FieldType attribute) ff3() (in module primitives.field) ff3_array() (in module primitives.field) ff3_array_from_base() (in module primitives.field) ff3_batch_inverse() (in module primitives.goldilocks_jit) ff3_coeffs() (in module primitives.field) ff3_from_base() (in module primitives.field) ff3_from_buffer_at() (in module primitives.field) ff3_from_flat_list() (in module primitives.field) ff3_from_interleaved_numpy() (in module primitives.field) ff3_from_json() (in module primitives.field) ff3_from_numpy_coeffs() (in module primitives.field) ff3_store_to_buffer() (in module primitives.field) ff3_to_flat_list() (in module primitives.field) ff3_to_interleaved_numpy() (in module primitives.field) ff3_to_json() (in module primitives.field) ff3_to_numpy_coeffs() (in module primitives.field) FF3Array (in module primitives.field) FF3Poly (in module constraints.base) (in module primitives.field) (in module protocol.data) FFArray (in module primitives.field) FFPoly (in module constraints.base) (in module primitives.field) (in module protocol.data) FIELD_EXTENSION (in module primitives.field) FIELD_EXTENSION_DEGREE (in module primitives.field) field_type (primitives.pol_map.ChallengeMap attribute) (primitives.pol_map.PolMap attribute) fields (primitives.expression_bytecode.expressions_bin.Hint attribute) FieldType (class in primitives.pol_map) final_pol (protocol.pcs.FriProof attribute) first_row (primitives.expression_bytecode.expressions_bin.ParserParams attribute) fold() (protocol.fri.FRI static method) for_const() (primitives.merkle_prover.MerkleProver class method) (primitives.merkle_verifier.MerkleVerifier class method) for_custom_commit() (primitives.merkle_verifier.MerkleVerifier class method) for_fri_step() (primitives.merkle_prover.MerkleProver class method) (primitives.merkle_verifier.MerkleVerifier class method) for_stage() (primitives.merkle_prover.MerkleProver class method) (primitives.merkle_verifier.MerkleVerifier class method) FRI (class in protocol.fri) fri (protocol.proof.STARKProof attribute) fri_exp_id (protocol.stark_info.StarkInfo attribute) fri_fold_steps (protocol.stark_info.StarkStruct attribute) fri_roots (protocol.pcs.FriProof attribute) fri_round_log_sizes (protocol.pcs.FriPcsConfig attribute) FRI_STAGE_OFFSET (in module protocol.verifier) fri_trees (protocol.pcs.FriPcs attribute) FriFoldStep (class in protocol.stark_info) FriPcs (class in protocol.pcs) FriPcsConfig (class in protocol.pcs) FriProof (class in protocol.pcs) (class in protocol.proof) FRIQueryIndex (in module protocol.verifier) from_bytes_full() (in module protocol.proof) from_challenge() (protocol.air_config.ProverHelpers class method) from_file() (primitives.expression_bytecode.expressions_bin.ExpressionsBin class method) from_json() (protocol.global_info.GlobalInfo class method) (protocol.stark_info.StarkInfo class method) from_stark_info() (protocol.air_config.ProverHelpers class method) from_starkinfo() (protocol.air_config.AirConfig class method) from_vadcop_final_bytes() (in module protocol.proof) G gen_proof() (in module protocol.prover) get_challenge_index() (protocol.stark_info.StarkInfo method) get_column_key() (protocol.stark_info.StarkInfo method) get_const_query_proof() (protocol.stages.PolynomialCommitter method) get_constraint_module() (in module constraints) get_expression() (primitives.expression_bytecode.expressions_bin.ExpressionsBin method) get_field() (primitives.transcript.Transcript method) get_fri_tree() (protocol.pcs.FriPcs method) get_group_proof() (primitives.merkle_tree.MerkleTree method) get_hint_field() (primitives.expression_bytecode.expressions_bin.ExpressionsBin method) get_hint_field_values() (in module primitives.expression_bytecode.witness_generation) get_hint_ids_by_name() (primitives.expression_bytecode.expressions_bin.ExpressionsBin method) get_last_level_nodes() (primitives.merkle_prover.MerkleProver method) (primitives.merkle_tree.MerkleTree method) get_merkle_proof_length() (primitives.merkle_tree.MerkleTree method) get_merkle_proof_size() (primitives.merkle_tree.MerkleTree method) get_n_cols() (protocol.stark_info.StarkInfo method) get_num_siblings() (primitives.merkle_tree.MerkleTree method) get_number_hint_ids_by_name() (primitives.expression_bytecode.expressions_bin.ExpressionsBin method) get_offset() (protocol.stark_info.StarkInfo method) get_omega() (in module primitives.field) get_omega_inv() (in module primitives.field) get_permutations() (primitives.transcript.Transcript method) get_query_proof() (primitives.merkle_prover.MerkleProver method) (primitives.merkle_tree.MerkleTree method) get_root() (primitives.merkle_tree.MerkleTree method) get_stage_query_proof() (protocol.stages.PolynomialCommitter method) get_stage_tree() (protocol.stages.PolynomialCommitter method) get_state() (primitives.transcript.Transcript method) get_witness_module() (in module witness) gl_add_vec() (in module primitives.goldilocks_jit) gl_inv_vec() (in module primitives.goldilocks_jit) gl_mul_vec() (in module primitives.goldilocks_jit) gl_sub_vec() (in module primitives.goldilocks_jit) global_challenge (protocol.simple_pilout.SimplePiloutStage1Result attribute) GLOBAL_CONSTRAINTS_SECTION (in module primitives.expression_bytecode.expressions_bin) GLOBAL_HINTS_SECTION (in module primitives.expression_bytecode.expressions_bin) global_info (protocol.air_config.AirConfig attribute) GlobalInfo (class in protocol.global_info) GOLDILOCKS_PRIME (in module primitives.field) H has_challenge() (protocol.stark_info.StarkInfo method) Hash (in module primitives.transcript) (in module protocol.proof) hash_commits (protocol.pcs.FriPcsConfig attribute) (protocol.stark_info.StarkStruct attribute) HASH_SIZE (in module primitives.merkle_tree) (in module primitives.transcript) (in module protocol.stark_info) HashOutput (in module primitives.field) height (primitives.merkle_tree.MerkleTree attribute) Hint (class in primitives.expression_bytecode.expressions_bin) HintField (class in primitives.expression_bytecode.expressions_bin) HintFieldValue (class in primitives.expression_bytecode.expressions_bin) hints (primitives.expression_bytecode.expressions_bin.ExpressionsBin attribute) HINTS_SECTION (in module primitives.expression_bytecode.expressions_bin) I id (primitives.expression_bytecode.expressions_bin.HintFieldValue attribute) (primitives.pol_map.EvMap attribute) im_pol (primitives.expression_bytecode.expressions_bin.ParserParams attribute) (primitives.pol_map.PolMap attribute) index (primitives.pol_map.PolynomialId attribute) InterleavedFF3 (in module primitives.field) intt (in module primitives.field) intt() (primitives.ntt.NTT method) inverse (primitives.expression_bytecode.expression_evaluator.Params attribute) L last_level_verification (primitives.merkle_tree.MerkleTree attribute) (primitives.merkle_verifier.MerkleConfig attribute) (protocol.pcs.FriPcsConfig attribute) (protocol.stark_info.StarkStruct attribute) last_levels (protocol.proof.ProofTree attribute) (protocol.proof.STARKProof attribute) last_row (primitives.expression_bytecode.expressions_bin.ParserParams attribute) LATTICE_SIZE (in module protocol.simple_pilout) lattice_size (protocol.global_info.GlobalInfo attribute) LeafData (in module primitives.merkle_tree) lengths (primitives.pol_map.PolMap attribute) line (primitives.expression_bytecode.expressions_bin.ParserParams attribute) load_proof_from_json() (in module protocol.proof) Lookup2_12Constraints (class in constraints.lookup2_12) Lookup2_12Witness (class in witness.lookup2_12) M map_offset_fri_pol (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) map_offsets (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) (protocol.stark_info.StarkInfo attribute) map_offsets_custom_fixed (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) map_offsets_custom_fixed_extended (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) map_offsets_extended (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) map_sections_n (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) (protocol.stark_info.StarkInfo attribute) map_sections_n_custom_fixed (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) map_total_n (protocol.stark_info.StarkInfo attribute) map_total_n_custom_commits_fixed (protocol.stark_info.StarkInfo attribute) max_args (primitives.expression_bytecode.expressions_bin.ExpressionsBin attribute) max_ops (primitives.expression_bytecode.expressions_bin.ExpressionsBin attribute) max_row (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) max_row_extended (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) max_tmp1 (primitives.expression_bytecode.expressions_bin.ExpressionsBin attribute) max_tmp3 (primitives.expression_bytecode.expressions_bin.ExpressionsBin attribute) merkelize() (primitives.merkle_tree.MerkleTree method) (protocol.fri.FRI static method) merkle_arity (protocol.pcs.FriPcsConfig attribute) merkle_tree_arity (protocol.stark_info.StarkStruct attribute) merkle_tree_custom (protocol.pcs.FriPcsConfig attribute) (protocol.stark_info.StarkStruct attribute) MerkleConfig (class in primitives.merkle_verifier) MerkleProof (class in protocol.proof) MerkleProver (class in primitives.merkle_prover) MerkleRoot (in module primitives.merkle_tree) (in module primitives.merkle_verifier) (in module protocol.prover) MerkleTree (class in primitives.merkle_tree) MerkleVerifier (class in primitives.merkle_verifier) min_row (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) min_row_extended (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) module constraints constraints.base constraints.bytecode_adapter constraints.lookup2_12 constraints.permutation1_6 constraints.simple_left primitives primitives.batch_inverse primitives.expression_bytecode primitives.expression_bytecode.expression_evaluator primitives.expression_bytecode.expressions_bin primitives.expression_bytecode.witness_generation primitives.field primitives.goldilocks_jit primitives.merkle_prover primitives.merkle_tree primitives.merkle_verifier primitives.ntt primitives.pol_map primitives.polynomial primitives.transcript protocol protocol.air_config protocol.data protocol.fri protocol.fri_polynomial protocol.global_info protocol.pcs protocol.proof protocol.prover protocol.simple_pilout protocol.stages protocol.stark_info protocol.utils.challenge_utils protocol.verifier witness witness.base witness.bytecode_adapter witness.lookup2_12 witness.permutation1_6 witness.simple_left witness.simple_right witness.specified_ranges witness.u16_air witness.u8_air mp (primitives.merkle_tree.QueryProof attribute) (protocol.proof.MerkleProof attribute) multiply_hint_fields() (in module primitives.expression_bytecode.witness_generation) N n (primitives.ntt.NTT attribute) n_args (primitives.expression_bytecode.expressions_bin.ParserParams attribute) n_args_total (primitives.expression_bytecode.expressions_bin.ExpressionsBin attribute) n_bits (primitives.ntt.NTT attribute) (protocol.stark_info.StarkStruct attribute) n_bits_ext (protocol.pcs.FriPcsConfig attribute) (protocol.stark_info.StarkStruct attribute) n_challenges (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) n_cols (primitives.merkle_tree.MerkleTree attribute) n_constants (protocol.stark_info.StarkInfo attribute) n_evals (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) n_field_elements (primitives.merkle_tree.MerkleTree attribute) N_GLOBAL_SECTIONS (in module primitives.expression_bytecode.expressions_bin) n_numbers (primitives.expression_bytecode.expressions_bin.ParserArgs attribute) n_ops (primitives.expression_bytecode.expressions_bin.ParserParams attribute) n_ops_total (primitives.expression_bytecode.expressions_bin.ExpressionsBin attribute) n_publics (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) (protocol.global_info.GlobalInfo attribute) (protocol.stark_info.StarkInfo attribute) n_queries (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) (protocol.pcs.FriPcsConfig attribute) (protocol.stark_info.StarkStruct attribute) N_SECTIONS (in module primitives.expression_bytecode.expressions_bin) n_sections (primitives.expression_bytecode.expressions_bin.BinFileReader attribute) n_siblings (primitives.merkle_verifier.MerkleConfig property) n_stages (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) (protocol.stark_info.StarkInfo attribute) n_temp1 (primitives.expression_bytecode.expressions_bin.ParserParams attribute) n_temp3 (primitives.expression_bytecode.expressions_bin.ParserParams attribute) name (primitives.expression_bytecode.expressions_bin.Hint attribute) (primitives.expression_bytecode.expressions_bin.HintField attribute) (primitives.pol_map.Boundary attribute) (primitives.pol_map.ChallengeMap attribute) (primitives.pol_map.CustomCommits attribute) (primitives.pol_map.PolMap attribute) (primitives.pol_map.PolynomialId attribute) (protocol.global_info.GlobalInfo attribute) (protocol.stark_info.StarkInfo attribute) next_col() (constraints.base.ConstraintContext method) (constraints.base.ProverConstraintContext method) (constraints.base.VerifierConstraintContext method) next_const() (constraints.base.ConstraintContext method) (constraints.base.ProverConstraintContext method) (constraints.base.VerifierConstraintContext method) next_strides (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) next_strides_extended (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) nodes (primitives.merkle_tree.MerkleTree attribute) Nonce (in module protocol.pcs) nonce (protocol.pcs.FriProof attribute) (protocol.proof.STARKProof attribute) NROWS_PACK (in module primitives.expression_bytecode.expression_evaluator) NTT (class in primitives.ntt) ntt (in module primitives.field) ntt() (primitives.ntt.NTT method) num_challenges (protocol.global_info.GlobalInfo attribute) num_nodes (primitives.merkle_tree.MerkleTree attribute) number (primitives.expression_bytecode.expressions_bin.OpType attribute) numbers (primitives.expression_bytecode.expressions_bin.ParserArgs attribute) NUMBERS_OFFSET (in module primitives.expression_bytecode.expression_evaluator) O offset (primitives.expression_bytecode.expression_evaluator.Dest attribute) offset_max (primitives.pol_map.Boundary attribute) offset_min (primitives.pol_map.Boundary attribute) op (primitives.expression_bytecode.expression_evaluator.Params attribute) opening_points (protocol.stark_info.StarkInfo attribute) opening_pos (primitives.pol_map.EvMap attribute) operand (primitives.expression_bytecode.expressions_bin.HintFieldValue attribute) ops (primitives.expression_bytecode.expressions_bin.ParserArgs attribute) ops_offset (primitives.expression_bytecode.expressions_bin.ParserParams attribute) OpType (class in primitives.expression_bytecode.expressions_bin) optype_from_string() (in module primitives.expression_bytecode.expressions_bin) out (primitives.transcript.Transcript attribute) out_cursor (primitives.transcript.Transcript attribute) P Params (class in primitives.expression_bytecode.expression_evaluator) params (primitives.expression_bytecode.expression_evaluator.Dest attribute) ParserArgs (class in primitives.expression_bytecode.expressions_bin) ParserParams (class in primitives.expression_bytecode.expressions_bin) path (primitives.expression_bytecode.expressions_bin.BinFileReader attribute) pending (primitives.transcript.Transcript attribute) pending_cursor (primitives.transcript.Transcript attribute) Permutation1_6Constraints (class in constraints.permutation1_6) Permutation1_6Witness (class in witness.permutation1_6) pol (protocol.proof.FriProof attribute) pol_queries (protocol.proof.ProofTree attribute) PolMap (class in primitives.pol_map) pols_map_id (primitives.expression_bytecode.expression_evaluator.Params attribute) (primitives.pol_map.PolMap attribute) PolynomialCommitter (class in protocol.stages) PolynomialId (class in primitives.pol_map) pos (primitives.expression_bytecode.expressions_bin.BinFileReader attribute) (primitives.expression_bytecode.expressions_bin.HintFieldValue attribute) POSEIDON2_LINEAR_HASH_WIDTH (in module protocol.prover) pow_bits (protocol.pcs.FriPcsConfig attribute) (protocol.stark_info.StarkStruct attribute) pow_two_inv (primitives.ntt.NTT attribute) prev_col() (constraints.base.ConstraintContext method) (constraints.base.ProverConstraintContext method) (constraints.base.VerifierConstraintContext method) prev_const() (constraints.base.ConstraintContext method) (constraints.base.ProverConstraintContext method) (constraints.base.VerifierConstraintContext method) primitives module primitives.batch_inverse module primitives.expression_bytecode module primitives.expression_bytecode.expression_evaluator module primitives.expression_bytecode.expressions_bin module primitives.expression_bytecode.witness_generation module primitives.field module primitives.goldilocks_jit module primitives.merkle_prover module primitives.merkle_tree module primitives.merkle_verifier module primitives.ntt module primitives.pol_map module primitives.polynomial module primitives.transcript module proof_size (protocol.stark_info.StarkInfo attribute) proof_to_json() (in module protocol.proof) proof_values (primitives.expression_bytecode.expression_evaluator.BufferSet attribute) proof_values_flat (protocol.data.VerifierData attribute) proof_values_map (protocol.global_info.GlobalInfo attribute) PROOF_VALUES_OFFSET (in module primitives.expression_bytecode.expression_evaluator) ProofTree (class in protocol.proof) proofvalue (primitives.expression_bytecode.expressions_bin.OpType attribute) protocol module protocol.air_config module protocol.data module protocol.fri module protocol.fri_polynomial module protocol.global_info module protocol.pcs module protocol.proof module protocol.prover module protocol.simple_pilout module protocol.stages module protocol.stark_info module protocol.utils.challenge_utils module protocol.verifier module prove() (protocol.pcs.FriPcs method) prove_queries() (protocol.fri.FRI static method) prove_simple_pilout() (in module protocol.simple_pilout) prove_simple_pilout_stage1() (in module protocol.simple_pilout) prover_helpers (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) ProverConstraintContext (class in constraints.base) ProverData (class in protocol.data) ProverHelpers (class in protocol.air_config) public_ (primitives.expression_bytecode.expressions_bin.OpType attribute) public_inputs (primitives.expression_bytecode.expression_evaluator.BufferSet attribute) (protocol.data.ProverData attribute) (protocol.data.VerifierData attribute) (protocol.simple_pilout.AIRProveData attribute) PUBLIC_INPUTS_OFFSET (in module primitives.expression_bytecode.expression_evaluator) public_values (primitives.pol_map.CustomCommits attribute) publics_flat (protocol.data.VerifierData attribute) publics_map (protocol.global_info.GlobalInfo attribute) put() (primitives.transcript.Transcript method) Q q (primitives.expression_bytecode.expressions_bin.OpType attribute) q_deg (protocol.stark_info.StarkInfo attribute) q_dim (protocol.stark_info.StarkInfo attribute) query_indices (protocol.pcs.FriProof attribute) query_proofs (protocol.pcs.FriProof attribute) QueryIndex (in module protocol.pcs) QueryPolynomials (in module protocol.fri_polynomial) (in module protocol.verifier) QueryProof (class in primitives.merkle_tree) QUOTIENT_STAGE_OFFSET (in module protocol.verifier) R r (primitives.ntt.NTT attribute) r_ (primitives.ntt.NTT attribute) read_bytes() (primitives.expression_bytecode.expressions_bin.BinFileReader method) read_string() (primitives.expression_bytecode.expressions_bin.BinFileReader method) read_u16_le() (primitives.expression_bytecode.expressions_bin.BinFileReader method) read_u32_le() (primitives.expression_bytecode.expressions_bin.BinFileReader method) read_u64_le() (primitives.expression_bytecode.expressions_bin.BinFileReader method) read_u8_le() (primitives.expression_bytecode.expressions_bin.BinFileReader method) reading_section (primitives.expression_bytecode.expressions_bin.BinFileReader attribute) root (primitives.merkle_verifier.MerkleVerifier attribute) (protocol.proof.ProofTree attribute) roots (primitives.ntt.NTT attribute) (protocol.proof.STARKProof attribute) row_offset (primitives.pol_map.EvMap attribute) row_offset_index (primitives.expression_bytecode.expression_evaluator.Params attribute) (primitives.expression_bytecode.expressions_bin.HintFieldValue attribute) rows_per_batch (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) (primitives.expression_bytecode.expression_evaluator.ExpressionsPack attribute) S sections (primitives.expression_bytecode.expressions_bin.BinFileReader attribute) set_state() (primitives.transcript.Transcript method) set_xi() (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx method) setupCtx (protocol.stages.PolynomialCommitter attribute) SHIFT (in module primitives.field) SHIFT_INV (in module primitives.field) SiblingHash (in module primitives.merkle_verifier) siblings_per_level (primitives.merkle_verifier.MerkleConfig property) SimpleLeftConstraints (class in constraints.simple_left) SimpleLeftWitness (class in witness.simple_left) SimplePiloutStage1Result (class in protocol.simple_pilout) SimpleRightWitness (class in witness.simple_right) source_data (primitives.merkle_tree.MerkleTree attribute) SpecifiedRangesWitness (class in witness.specified_ranges) sponge_width (primitives.merkle_tree.MerkleTree attribute) (primitives.merkle_verifier.MerkleConfig property) (primitives.transcript.Transcript attribute) SpongeState (in module primitives.transcript) stage (primitives.expression_bytecode.expression_evaluator.Params attribute) (primitives.expression_bytecode.expressions_bin.ParserParams attribute) (primitives.pol_map.ChallengeMap attribute) (primitives.pol_map.PolMap attribute) (primitives.pol_map.PolynomialId attribute) stage1_commitments (protocol.simple_pilout.SimplePiloutStage1Result attribute) stage_cols (primitives.expression_bytecode.expression_evaluator.Dest attribute) stage_id (primitives.pol_map.ChallengeMap attribute) (primitives.pol_map.PolMap attribute) stage_pos (primitives.expression_bytecode.expression_evaluator.Dest attribute) (primitives.expression_bytecode.expression_evaluator.Params attribute) (primitives.pol_map.PolMap attribute) stage_trees (protocol.stages.PolynomialCommitter attribute) stage_widths (primitives.pol_map.CustomCommits attribute) StageIndex (in module protocol.stages) StageNum (in module protocol.prover) stark_info (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) (protocol.air_config.AirConfig attribute) stark_struct (protocol.stark_info.StarkInfo attribute) stark_verify() (in module protocol.verifier) StarkInfo (class in protocol.stark_info) STARKProof (class in protocol.proof) StarkStruct (class in protocol.stark_info) start_read_section() (primitives.expression_bytecode.expressions_bin.BinFileReader method) state (primitives.transcript.Transcript attribute) string_ (primitives.expression_bytecode.expressions_bin.OpType attribute) string_value (primitives.expression_bytecode.expressions_bin.HintFieldValue attribute) T tmp (primitives.expression_bytecode.expressions_bin.OpType attribute) to_bytes_full() (in module protocol.proof) to_bytes_full_from_dict() (in module protocol.proof) to_bytes_partial() (in module protocol.proof) to_coefficients() (in module primitives.polynomial) to_coefficients_cubic() (in module primitives.polynomial) to_evaluations() (in module primitives.polynomial) trace (primitives.expression_bytecode.expression_evaluator.BufferSet attribute) (protocol.simple_pilout.AIRProveData attribute) (protocol.simple_pilout.AIRStage1Data attribute) Transcript (class in primitives.transcript) TRANSCRIPT_ARITY (in module protocol.simple_pilout) transcript_arity (protocol.global_info.GlobalInfo attribute) (protocol.pcs.FriPcsConfig attribute) (protocol.stark_info.StarkStruct attribute) transcript_out_size (primitives.transcript.Transcript attribute) transcript_pending_size (primitives.transcript.Transcript attribute) transcript_state_size (primitives.transcript.Transcript attribute) transpose_for_merkle() (in module primitives.merkle_tree) tree (primitives.merkle_prover.MerkleProver property) trees (protocol.proof.FriProof attribute) trees_fri (protocol.proof.FriProof attribute) type (primitives.pol_map.EvMap attribute) (primitives.pol_map.PolynomialId attribute) type_from_string() (primitives.pol_map.EvMap static method) U U16AirWitness (class in witness.u16_air) U8AirWitness (class in witness.u8_air) update_airgroup_value() (in module primitives.expression_bytecode.witness_generation) update_columns() (protocol.data.ProverData method) V v (primitives.merkle_tree.QueryProof attribute) (protocol.proof.MerkleProof attribute) validate_proof_structure() (in module protocol.proof) value (primitives.expression_bytecode.expression_evaluator.Params attribute) (primitives.expression_bytecode.expressions_bin.HintFieldValue attribute) values (primitives.expression_bytecode.expressions_bin.HintField attribute) verification_hash_type (protocol.stark_info.StarkStruct attribute) VerifierConstraintContext (class in constraints.base) VerifierData (class in protocol.data) verify (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) verify_fold() (protocol.fri.FRI static method) verify_group_proof() (primitives.merkle_tree.MerkleTree method) verify_merkle_root() (primitives.merkle_tree.MerkleTree static method) verify_query() (primitives.merkle_verifier.MerkleVerifier method) verkeys (protocol.simple_pilout.SimplePiloutStage1Result attribute) W W (in module primitives.field) W_INV (in module primitives.field) width (primitives.merkle_tree.MerkleTree attribute) witness module witness.base module witness.bytecode_adapter module witness.lookup2_12 module witness.permutation1_6 module witness.simple_left module witness.simple_right module witness.specified_ranges module witness.u16_air module witness.u8_air module WITNESS_REGISTRY (in module witness) WitnessModule (class in witness.base) X x (primitives.expression_bytecode.expressions_bin.OpType attribute) (protocol.air_config.ProverHelpers attribute) x_div_x_sub (primitives.expression_bytecode.expression_evaluator.BufferSet attribute) x_n (protocol.air_config.ProverHelpers attribute) xDivXSubXi (primitives.expression_bytecode.expressions_bin.OpType attribute) xis (primitives.expression_bytecode.expression_evaluator.ExpressionsCtx attribute) Z Zi (primitives.expression_bytecode.expressions_bin.OpType attribute) zi (protocol.air_config.ProverHelpers attribute)