Functions — github.com/DoHoonKim8/stark-verifier

hub / github.com/DoHoonKim8/stark-verifier / functions

Functions418 in github.com/DoHoonKim8/stark-verifier

⨍ Functions 418◇ Types & classes 103

↓ 1 callersMethodmds_partial_layer_init

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/poseidon.rs:504

↓ 1 callersMethodmds_row_shf

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/poseidon_mds.rs:36

↓ 1 callersMethodmds_row_shf

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/poseidon.rs:450

↓ 1 callersMethodmul

Multiplies two MDS matrices. Used in sparse matrix calculations

src/plonky2_verifier/chip/poseidon_spec/spec.rs:183

↓ 1 callersMethodmul_add

( &self, ctx: &mut RegionCtx<'_, F>, a: &AssignedValue<F>, b: &AssignedValue<F

src/plonky2_verifier/chip/goldilocks_chip.rs:175

↓ 1 callersMethodmul_add_no_mod

returns a*b + c without taking modulo

src/plonky2_verifier/chip/native_chip/arithmetic_chip.rs:414

↓ 1 callersMethodmul_const_add

( &self, ctx: &mut RegionCtx<'_, F>, a: &AssignedValue<F>, constant: Goldilock

src/plonky2_verifier/chip/goldilocks_chip.rs:191

↓ 1 callersMethodnext_eval

( &self, ctx: &mut RegionCtx<'_, F>, x_index_within_coset_bits: &[AssignedValue<F>],

src/plonky2_verifier/chip/fri_chip.rs:168

↓ 1 callersMethodnum_constraints

(&self)

src/plonky2_verifier/chip/plonk/gates/reducing.rs:44

↓ 1 callersMethodnum_constraints

(&self)

src/plonky2_verifier/chip/plonk/gates/reducing_extension.rs:48

↓ 1 callersMethodnum_constraints

(&self)

src/plonky2_verifier/chip/plonk/gates/random_access.rs:64

↓ 1 callersMethodnum_preprocessed_polys

(&self)

src/plonky2_verifier/types/common_data.rs:160

↓ 1 callersMethodnum_quotient_polys

(&self)

src/plonky2_verifier/types/common_data.rs:184

↓ 1 callersMethodnum_routed_wires

All above wires are routed.

src/plonky2_verifier/chip/plonk/gates/random_access.rs:60

↓ 1 callersMethodnum_selectors

(&self)

src/plonky2_verifier/types/common_data.rs:63

↓ 1 callersMethodnum_zs_partial_products_polys

(&self)

src/plonky2_verifier/types/common_data.rs:169

↓ 1 callersMethodpartial

Returns rounds constants for partial rounds

src/plonky2_verifier/chip/poseidon_spec/spec.rs:103

↓ 1 callersMethodpartial_first_constant_layer

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/poseidon.rs:406

↓ 1 callersFunctionpartial_sbox_layer

(state: &mut [Fr; T_BN254_POSEIDON])

src/plonky2_verifier/bn245_poseidon/native.rs:29

↓ 1 callersFunctionpartial_sbox_layer

(state: &mut [Value<F>; T_BN254_POSEIDON])

src/plonky2_verifier/bn245_poseidon/value.rs:25

↓ 1 callersFunctionpermute_value

(state: &mut [Value<F>; T_BN254_POSEIDON])

src/plonky2_verifier/bn245_poseidon/value.rs:58

↓ 1 callersMethodposeidon_chip

(&self)

src/plonky2_verifier/chip/native_chip/all_chip.rs:48

↓ 1 callersMethodpre_sparse_mds

(&self)

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:133

↓ 1 callersMethodr_f

Number of full rounds

src/plonky2_verifier/chip/poseidon_spec/spec.rs:73

↓ 1 callersMethodr_f_half

(&self)

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:113

↓ 1 callersMethodrange_check

assert 0 <= x < GOLDILOCKS_MODULUS

src/plonky2_verifier/chip/native_chip/arithmetic_chip.rs:271

↓ 1 callersMethodreduce_base_field_terms_extension

( &self, ctx: &mut RegionCtx<'_, F>, base: &AssignedExtensionFieldValue<F, 2>,

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:344

↓ 1 callersMethodreduce_extension_field_terms_base

( &self, ctx: &mut RegionCtx<'_, F>, base: &AssignedValue<F>, terms: &Vec<Assi

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:357

↓ 1 callersMethodregister_fixed

(&mut self, value: F, cell: AssignedCell<F, F>)

src/plonky2_verifier/context/mod.rs:53

↓ 1 callersFunctionreport_elapsed

(now: Instant)

src/plonky2_verifier/verifier_api.rs:22

↓ 1 callersMethodrow

Returns the first row

src/plonky2_verifier/chip/poseidon_spec/spec.rs:242

↓ 1 callersFunctionsbox_layer

(state: &mut [Value<F>; T_BN254_POSEIDON])

src/plonky2_verifier/bn245_poseidon/value.rs:19

↓ 1 callersMethodsbox_part

Applies sbox to the first word then adds constants to each word in the state

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:161

↓ 1 callersFunctionsemaphore_aggregation

( num_proofs: usize, access_set: &AccessSet, private_keys: &Vec<Digest>, )

src/plonky2_semaphore/recursion.rs:285

↓ 1 callersMethodsemaphore_circuit

(&self, builder: &mut CircuitBuilder<F, 2>)

src/plonky2_semaphore/circuit.rs:25

↓ 1 callersMethodshift

shifted * factor^power

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:368

↓ 1 callersMethodsigmas_range

Range of the sigma polynomials in the `constants_sigmas_commitment`.

src/plonky2_verifier/types/common_data.rs:139

↓ 1 callersMethodsparse_matrices

(&self)

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:137

↓ 1 callersMethodstart

Returns rounds constants for first part of full rounds

src/plonky2_verifier/chip/poseidon_spec/spec.rs:98

↓ 1 callersMethodtest_membership_proof

( &self, private_key: Digest, public_key_index: usize, )

src/plonky2_semaphore/access_set.rs:106

↓ 1 callersFunctiontest_verify_on_contract

(k: u32, circuit: &(impl Circuit<Fr> + Clone), instance: &[Fr])

src/plonky2_verifier/chip/native_chip/test_utils.rs:30

↓ 1 callersMethodunsalted_eval

( &self, oracle_index: usize, poly_index: usize, salted: bool, )

src/plonky2_verifier/types/assigned.rs:58

↓ 1 callersMethodunsalted_evals

(&self, oracle_index: usize, salted: bool)

src/plonky2_verifier/types/assigned.rs:67

↓ 1 callersMethodupdate

Appends field elements to the absorbation line. It won't perform permutation here

src/plonky2_verifier/chip/hasher_chip.rs:51

↓ 1 callersMethodverify_fri_proof

( &self, ctx: &mut RegionCtx<'_, F>, initial_merkle_caps: &[AssignedMerkleCapValues<F>

src/plonky2_verifier/chip/fri_chip.rs:329

↓ 1 callersMethodverify_initial_merkle_proof

evaluation proof for initial polynomials at `x`

src/plonky2_verifier/chip/fri_chip.rs:85

↓ 1 callersFunctionverify_inside_snark_mock

Public API for generating Halo2 proof for Plonky2 verifier circuit feed Plonky2 proof, `VerifierOnlyCircuitData`, `CommonCircuitData` This runs only m

src/plonky2_verifier/verifier_api.rs:34

↓ 1 callersMethodverify_proof_with_challenges

( &self, ctx: &mut RegionCtx<'_, F>, proof: &AssignedProofValues<F, 2>, public

src/plonky2_verifier/chip/plonk/plonk_verifier_chip.rs:156

↓ 1 callersMethodverify_signal

( &self, signal: Signal, verifier_data: &VerifierCircuitData<F, C, 2>, )

src/plonky2_semaphore/access_set.rs:28

↓ 1 callersMethodw

(&self)

src/plonky2_verifier/chip/poseidon_spec/matrix.rs:131

↓ 1 callersMethodwire_access_index

For each copy, a wire containing the claimed index of the element.

src/plonky2_verifier/chip/plonk/gates/random_access.rs:32

↓ 1 callersMethodwire_bit

An intermediate wire where the prover gives the (purported) binary decomposition of the index.

src/plonky2_verifier/chip/plonk/gates/random_access.rs:71

↓ 1 callersMethodwire_claimed_element

For each copy, a wire containing the element claimed to be at the index.

src/plonky2_verifier/chip/plonk/gates/random_access.rs:38

↓ 1 callersMethodwire_extra_constant

(&self, i: usize)

src/plonky2_verifier/chip/plonk/gates/random_access.rs:54

↓ 1 callersMethodwire_list_item

For each copy, wires containing the entire list.

src/plonky2_verifier/chip/plonk/gates/random_access.rs:44

↓ 1 callersMethodwires_accs

(&self, i: usize)

src/plonky2_verifier/chip/plonk/gates/reducing.rs:36

↓ 1 callersMethodwires_accs

(&self, i: usize)

src/plonky2_verifier/chip/plonk/gates/reducing_extension.rs:39

↓ 1 callersMethodwires_coeffs

(&self)

src/plonky2_verifier/chip/plonk/gates/reducing.rs:30

↓ 1 callersMethodwrite_cap

( &mut self, ctx: &mut RegionCtx<'_, N>, cap: &AssignedMerkleCapValues<N>, )

src/plonky2_verifier/chip/transcript_chip.rs:56

↓ 1 callersMethodwrite_extension

( &mut self, ctx: &mut RegionCtx<'_, N>, extension: &AssignedExtensionFieldValue<N, D>

src/plonky2_verifier/chip/transcript_chip.rs:34

↓ 1 callersMethodwrite_hash

( &mut self, ctx: &mut RegionCtx<'_, N>, hash: &AssignedHashValues<N>, )

src/plonky2_verifier/chip/transcript_chip.rs:45

↓ 1 callersMethodx_from_subgroup

obtain subgroup element at index `x_index_bits` from the domain

src/plonky2_verifier/chip/fri_chip.rs:152

↓ 1 callersMethodzs_range

Range of the `z`s polynomials in the `zs_partial_products_commitment`.

src/plonky2_verifier/types/common_data.rs:144

Methodadd_constant

Only adds a constant to the first element of the state.It is used with optimized rounds constants where only single element is added in each partial r

src/plonky2_verifier/chip/poseidon_spec/spec.rs:45

Methodadd_constants

Adds constants to all elements of the state

src/plonky2_verifier/chip/poseidon_spec/spec.rs:36

Methodapply

( &self, ctx: &mut RegionCtx<'_, F>, a: Term<F>, b: Term<F>, c: Term<F

src/plonky2_verifier/chip/native_chip/arithmetic_chip.rs:351

Methodassign

( config: &GoldilocksChipConfig<F>, ctx: &mut RegionCtx<'_, F>, hash_value: &Self,

src/plonky2_verifier/types/mod.rs:38

Methodassign

( config: &GoldilocksChipConfig<F>, ctx: &mut RegionCtx<'_, F>, opening_set_values: &S

src/plonky2_verifier/types/proof.rs:59

Methodassign_constant

( config: &GoldilocksChipConfig<F>, ctx: &mut RegionCtx<'_, F>, hash_value: &Self,

src/plonky2_verifier/types/mod.rs:55

Functionbg_to_fe

(x: &BigUint)

src/plonky2_verifier/bn245_poseidon/value.rs:8

Methodcalculate_optimized_constants

( r_f: usize, r_p: usize, constants: Vec<[F; T]>, mds: &MDSMatrix<T, T_MINUS_O

src/plonky2_verifier/chip/poseidon_spec/spec.rs:328

Methodcalculate_sparse_matrices

( r_p: usize, mds: &MDSMatrix<T, T_MINUS_ONE>, )

src/plonky2_verifier/chip/poseidon_spec/spec.rs:387

Methodclear_fixed

(&mut self)

src/plonky2_verifier/context/mod.rs:57

Methodconfigure

(meta: &mut ConstraintSystem<Fr>)

src/plonky2_verifier/verifier_circuit.rs:143

Methodconfigure

(meta: &mut ConstraintSystem<Fr>)

src/plonky2_verifier/chip/hasher_chip.rs:216

Methodconfigure

(all_chip_config: &AllChipConfig<F>)

src/plonky2_verifier/chip/goldilocks_chip.rs:32

Methodconfigure

(meta: &mut ConstraintSystem<F>)

src/plonky2_verifier/chip/native_chip/all_chip.rs:22

Methodconfigure

(meta: &mut ConstraintSystem<F>)

src/plonky2_verifier/chip/native_chip/poseidon_bn254_chip.rs:27

Methodconfigure

(meta: &mut ConstraintSystem<F>)

src/plonky2_verifier/chip/native_chip/arithmetic_chip.rs:44

Methodconfigure

(meta: &mut ConstraintSystem<Fr>)

src/plonky2_verifier/chip/plonk/gates/gate_test.rs:91

Methodconstants_range

Range of the constants polynomials in the `constants_sigmas_commitment`.

src/plonky2_verifier/types/common_data.rs:134

Methodconstruct

( goldilocks_chip_config: &GoldilocksChipConfig<F>, offset: &AssignedValue<F>, fri_pa

src/plonky2_verifier/chip/fri_chip.rs:35

Methodconstruct

(goldilocks_chip_config: &GoldilocksChipConfig<F>)

src/plonky2_verifier/chip/plonk/plonk_verifier_chip.rs:32

Methoddefault

()

src/plonky2_verifier/types/mod.rs:132

Methoddefault

()

src/plonky2_verifier/chip/poseidon_spec/matrix.rs:14

Methoddefault

()

src/plonky2_verifier/chip/poseidon_spec/spec.rs:14

Methodeval_unfiltered_constraint

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/poseidon_mds.rs:99

Methodeval_unfiltered_constraint

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/poseidon.rs:593

Methodeval_unfiltered_constraint

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/reducing.rs:50

Methodeval_unfiltered_constraint

( &self, ctx: &mut RegionCtx<'_, F>, main_gate_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/constant.rs:19

Methodeval_unfiltered_constraint

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/multiplication_extension.rs:34

Methodeval_unfiltered_constraint

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/arithmetic.rs:38

Methodeval_unfiltered_constraint

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/arithmetic_extension.rs:37

Methodeval_unfiltered_constraint

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/public_input.rs:23

Methodeval_unfiltered_constraint

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/reducing_extension.rs:54

Methodeval_unfiltered_constraint

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/random_access.rs:79

Methodeval_unfiltered_constraint

( &self, ctx: &mut RegionCtx<'_, F>, goldilocks_chip_config: &GoldilocksChipConfig<F>,

src/plonky2_verifier/chip/plonk/gates/base_sum.rs:29

Functionfe_to_goldilocks

(x: F)

src/plonky2_verifier/chip/native_chip/utils.rs:12

Methodfrom

(value: HashOut<GoldilocksField>)

src/plonky2_verifier/types/mod.rs:74

Methodfrom

(value: VerifierOnlyCircuitData<Bn254PoseidonGoldilocksConfig, 2>)

src/plonky2_verifier/types/verification_key.rs:17

← previous next →201–300 of 418, ranked by callers