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

↓ 2 callersMethodinner_product_extension

Returns `sum_{(a,b) in vecs} constant * a * b`.

src/plonky2_verifier/chip/goldilocks_extension_algebra_chip.rs:59

↓ 2 callersMethodinner_product_no_mod

( &self, ctx: &mut RegionCtx<'_, F>, x: &[AssignedCell<F, F>], y: &[AssignedCe

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

↓ 2 callersMethodinvert

Inverts the MDS matrix

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

↓ 2 callersMethodis_zero

4 rows

src/plonky2_verifier/chip/goldilocks_chip.rs:279

↓ 2 callersMethodlde_bits

(&self)

src/plonky2_verifier/types/common_data.rs:51

↓ 2 callersMethodload_table

( &self, layouter: &mut impl Layouter<F>, )

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

↓ 2 callersMethodmake_signal

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

src/plonky2_semaphore/access_set.rs:61

↓ 2 callersFunctionmds_layer

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

src/plonky2_verifier/bn245_poseidon/value.rs:29

↓ 2 callersMethodmds_layer

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

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

↓ 2 callersMethodmds_partial_layer_fast

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

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

↓ 2 callersMethodmul_ext_algebra

Returns `a * b`.

src/plonky2_verifier/chip/goldilocks_extension_algebra_chip.rs:149

↓ 2 callersMethodmul_vector

(&self, v: &[F; T])

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

↓ 2 callersMethodnative_fe_to_goldilocks

assumes `fe` is already in goldilocks field

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:40

↓ 2 callersMethodpack

pack 3 goldilocks field elements to a single field element

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

↓ 2 callersFunctionpartial_round_value

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

src/plonky2_verifier/bn245_poseidon/value.rs:40

↓ 2 callersMethodpermute

( &mut self, ctx: &mut RegionCtx<'_, F>, input: Vec<AssignedValue<F>>, num_out

src/plonky2_verifier/chip/hasher_chip.rs:150

↓ 2 callersMethodrows

Returns rows of the MDS matrix

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

↓ 2 callersFunctionsbox_layer

(state: &mut [Fr; T_BN254_POSEIDON])

src/plonky2_verifier/bn245_poseidon/native.rs:23

↓ 2 callersMethodsbox_layer

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

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

↓ 2 callersMethodscalar_mul_ext_algebra

Returns `a * b`, where `b` is in the extension algebra and `a` in the extension field.

src/plonky2_verifier/chip/goldilocks_extension_algebra_chip.rs:101

↓ 2 callersMethodset

(&mut self, row: usize, col: usize, value: F)

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

↓ 2 callersMethodsquare_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:244

↓ 2 callersFunctionstandard_inner_stark_verifier_config

If you use recursive proof in the plonky2's circuit, use this config for the inner circuit.

src/plonky2_verifier/bn245_poseidon/plonky2_config.rs:78

↓ 2 callersMethodstart_accs

(&self)

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

↓ 2 callersMethodstart_accs

(&self)

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

↓ 2 callersMethodstart_extra_constants

(&self)

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

↓ 2 callersMethodto_bits

Assigns array values of bit values which is equal to decomposition of given assigned value

src/plonky2_verifier/chip/goldilocks_chip.rs:310

↓ 2 callersMethodto_fri_openings

(&self)

src/plonky2_verifier/types/assigned.rs:26

↓ 2 callersMethodtwo_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:193

↓ 2 callersMethodunpack

unpack a field element to 3 goldilocks field elements

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

↓ 2 callersMethodverify_merkle_proof_to_cap_with_cap_index

( &self, ctx: &mut RegionCtx<'_, F>, leaf_data: &Vec<AssignedValue<F>>, leaf_i

src/plonky2_verifier/chip/merkle_proof_chip.rs:39

↓ 2 callersMethodwords

Copies elements of the state

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

↓ 1 callersMethodabsorb_buffered_inputs

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

src/plonky2_verifier/chip/hasher_chip.rs:61

↓ 1 callersMethodabsorb_buffered_inputs

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

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:72

↓ 1 callersMethodabsorb_with_pre_constants

Adds pre constants to the state.

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:177

↓ 1 callersMethodadd_constant

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

src/plonky2_verifier/chip/goldilocks_chip.rs:208

↓ 1 callersMethodaggregate

( &self, aggregation_targets: Arc<Mutex<Vec<Signal>>>, mut verifier_circuit_data: Arc<

src/plonky2_semaphore/recursion.rs:187

↓ 1 callersMethodaggregate_signals

( &self, signal0: Signal, signal1: Signal, verifier_data: &VerifierCircuitData

src/plonky2_semaphore/recursion.rs:25

↓ 1 callersMethodall_chip

(&self)

src/plonky2_verifier/chip/goldilocks_chip.rs:53

↓ 1 callersMethodapply_sparse_mds

Applies sparse MDS to the state

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:225

↓ 1 callersMethodarithmetic_chip

(&self)

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:31

↓ 1 callersMethodassert_equal_ext

( &self, ctx: &mut RegionCtx<'_, F>, a: &[AssignedCell<F, F>; 2], b: &[Assigne

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

↓ 1 callersMethodassert_one

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

src/plonky2_verifier/chip/goldilocks_chip.rs:227

↓ 1 callersMethodassert_one_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:391

↓ 1 callersMethodassign

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

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

↓ 1 callersMethodassign_bit

( &self, ctx: &mut RegionCtx<'_, F>, bit: &Value<F>, )

src/plonky2_verifier/chip/goldilocks_chip.rs:245

↓ 1 callersMethodassign_ext

( &self, ctx: &mut RegionCtx<'_, F>, a: [Value<F>; 2], b: [Value<F>; 2],

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

↓ 1 callersFunctionassign_hash_values

( ctx: &mut RegionCtx<'_, Fr>, goldilocks_chip: &GoldilocksChip<Fr>, input: &HashOut<F>, )

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

↓ 1 callersMethodassign_partial_round

assume that the state is already assigned and apply partial round

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

↓ 1 callersMethodassign_proof_with_pis

( &self, config: &GoldilocksChipConfig<Fr>, ctx: &mut RegionCtx<'_, Fr>, proof

src/plonky2_verifier/verifier_circuit.rs:81

↓ 1 callersMethodassign_verification_key

( &self, config: &GoldilocksChipConfig<Fr>, ctx: &mut RegionCtx<'_, Fr>, vk: &

src/plonky2_verifier/verifier_circuit.rs:113

↓ 1 callersMethodbatch_initial_polynomials

( &self, ctx: &mut RegionCtx<'_, F>, fri_instance_info: &FriInstanceInfo<F, 2>,

src/plonky2_verifier/chip/fri_chip.rs:112

↓ 1 callersMethodcalculate_cap_index

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

src/plonky2_verifier/chip/fri_chip.rs:72

↓ 1 callersMethodcheck_consistency

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

src/plonky2_verifier/chip/fri_chip.rs:228

↓ 1 callersMethodcheck_partial_products

\prod(g_i'(x))\phi_1(x) - \prod(f_i'(x))Z(x) .. \prod(g_i'(x))Z(gx) - \prod(f_i'(x))\phi_s(x)

src/plonky2_verifier/chip/plonk/vanishing_poly.rs:183

↓ 1 callersMethodclone_box

(&self)

src/plonky2_verifier/chip/plonk/gates/mod.rs:214

↓ 1 callersMethodcol_hat

Returns the first column without first element in the first row

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

↓ 1 callersMethodcompute_reduced_openings

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

src/plonky2_verifier/chip/fri_chip.rs:58

↓ 1 callersMethodconstants_end

(&self)

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:125

↓ 1 callersMethodconstants_partial

(&self)

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:121

↓ 1 callersMethodconstants_start

(&self)

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:117

↓ 1 callersMethodconvert_to_ext_algebra

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

src/plonky2_verifier/chip/goldilocks_extension_algebra_chip.rs:46

↓ 1 callersFunctiondecode_fe

(x: Fr)

src/plonky2_verifier/bn245_poseidon/native.rs:69

↓ 1 callersMethoddegree

(&self)

src/plonky2_verifier/types/common_data.rs:129

↓ 1 callersMethodduplexing

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

src/plonky2_verifier/chip/hasher_chip.rs:107

↓ 1 callersMethodduplexing

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

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:300

↓ 1 callersFunctionencode_fe

(x: [GoldilocksField; 3])

src/plonky2_verifier/bn245_poseidon/native.rs:62

↓ 1 callersMethodend

Returns rounds constants for second part of full rounds

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

↓ 1 callersMethodeval_filtered_constraint

In Plonky2, each custom gate's constraint is multiplied by filtering polynomial `j`th gate's constraint is filtered by f_j(x) = \prod_{k=0, k \neq j}^

src/plonky2_verifier/chip/plonk/gates/mod.rs:87

↓ 1 callersMethodeval_gate_constraints

( &self, ctx: &mut RegionCtx<'_, F>, common_data: &CommonData<F>, local_consta

src/plonky2_verifier/chip/plonk/vanishing_poly.rs:126

↓ 1 callersMethodeval_l_0_x

( &self, ctx: &mut RegionCtx<'_, F>, n: usize, x: &AssignedExtensionFieldValue

src/plonky2_verifier/chip/plonk/vanishing_poly.rs:155

↓ 1 callersMethodeval_vanishing_poly

( &self, ctx: &mut RegionCtx<'_, F>, common_data: &CommonData<F>, x: &Assigned

src/plonky2_verifier/chip/plonk/vanishing_poly.rs:18

↓ 1 callersMethodexp_power_of_2

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

src/plonky2_verifier/chip/goldilocks_chip.rs:375

↓ 1 callersMethodexp_power_of_2_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:252

↓ 1 callersMethodexpose_public

( &self, mut layouter: impl Layouter<F>, value: AssignedCell<F, F>, row: usize

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

↓ 1 callersMethodfactorise

See Section B in Supplementary Material https://eprint.iacr.org/2019/458.pdf Factorises an MDS matrix `M` into `M'` and `M''` where `M = M' * M''`. R

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

↓ 1 callersMethodfill_semaphore_targets

( &self, pw: &mut PartialWitness<F>, private_key: Digest, topic: Digest,

src/plonky2_semaphore/circuit.rs:67

↓ 1 callersMethodfinalize

(&self, _final_signal: &Signal)

src/plonky2_semaphore/recursion.rs:249

↓ 1 callersMethodfri_all_polys

(&self)

src/plonky2_verifier/types/common_data.rs:192

↓ 1 callersMethodfri_oracles

(&self)

src/plonky2_verifier/types/common_data.rs:202

↓ 1 callersMethodfri_preprocessed_polys

(&self)

src/plonky2_verifier/types/common_data.rs:153

↓ 1 callersMethodfri_quotient_polys

(&self)

src/plonky2_verifier/types/common_data.rs:188

↓ 1 callersMethodfri_verify_proof_of_work

( &self, ctx: &mut RegionCtx<'_, F>, fri_pow_response: &AssignedCell<F, F>, co

src/plonky2_verifier/chip/fri_chip.rs:364

↓ 1 callersMethodfri_wire_polys

(&self)

src/plonky2_verifier/types/common_data.rs:164

↓ 1 callersMethodfri_zs_partial_products_polys

(&self)

src/plonky2_verifier/types/common_data.rs:173

↓ 1 callersMethodfri_zs_polys

(&self)

src/plonky2_verifier/types/common_data.rs:180

↓ 1 callersMethodget_challenges

( &self, ctx: &mut RegionCtx<'_, F>, public_inputs_hash: &AssignedHashValues<F>,

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

↓ 1 callersMethodget_fixed

(&self, value: &F)

src/plonky2_verifier/context/mod.rs:61

↓ 1 callersMethodget_public_inputs_hash

( &self, ctx: &mut RegionCtx<'_, F>, public_inputs: &Vec<AssignedValue<F>>, )

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

↓ 1 callersFunctionget_round_constants

()

src/plonky2_verifier/chip/poseidon_spec/constants.rs:454

↓ 1 callersMethodgoldilocks_chip

(&self)

src/plonky2_verifier/chip/merkle_proof_chip.rs:31

↓ 1 callersMethodgoldilocks_chip

Construct main gate

src/plonky2_verifier/chip/hasher_chip.rs:94

↓ 1 callersMethodgoldilocks_chip

(&self)

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

↓ 1 callersMethodgoldilocks_to_native_fe

(&self, goldilocks: GoldilocksField)

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:35

↓ 1 callersMethodis_equal

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

src/plonky2_verifier/chip/goldilocks_chip.rs:406

↓ 1 callersMethodlimbs

Returns the index of the `i`th limb wire.

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

↓ 1 callersMethodload_table

( &self, layouter: &mut impl Layouter<F>, )

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

↓ 1 callersMethodmain_gate

(&self)

src/plonky2_verifier/chip/vector_chip.rs:22

↓ 1 callersMethodmds

(&self)

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:129

↓ 1 callersMethodmds_layer

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

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

← previous next →101–200 of 418, ranked by callers