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

↓ 188 callersMethodclone

(&self)

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

↓ 38 callersMethodassign_constant

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

src/plonky2_verifier/chip/goldilocks_chip.rs:76

↓ 23 callersMethodsub_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:295

↓ 22 callersMethodassign_advice

( &mut self, annotation: A, column: Column<Advice>, value: Value<F>, )

src/plonky2_verifier/context/mod.rs:65

↓ 18 callersMethodmul

( &self, ctx: &mut RegionCtx<'_, F>, lhs: &AssignedValue<F>, rhs: &AssignedVal

src/plonky2_verifier/chip/goldilocks_chip.rs:137

↓ 16 callersMethodget_local_ext_algebra

( &self, local_wires: &[AssignedExtensionFieldValue<F, 2>], wire_range: Range<usize>,

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

↓ 14 callersMethodarithmetic_chip

(&self)

src/plonky2_verifier/chip/goldilocks_chip.rs:44

↓ 13 callersMethodmul_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:223

↓ 12 callersMethodconstant_extension

( &self, ctx: &mut RegionCtx<'_, F>, constant: &[GoldilocksField; 2], )

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:306

↓ 12 callersMethodgoldilocks_extension_chip

( &self, goldilocks_chip_config: &GoldilocksChipConfig<F>, )

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

↓ 11 callersMethodassert_equal

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

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

↓ 11 callersMethodgoldilocks_chip

(&self)

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:27

↓ 11 callersFunctiongoldilocks_to_fe

(x: GoldilocksField)

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

↓ 11 callersMethodmul_add_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:56

↓ 11 callersFunctiontest_custom_gate

( plonky2_gate: PG, halo2_gate: HG, k: u32, )

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

↓ 11 callersMethodzero_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:170

↓ 9 callersMethodapply

Applies the sparse MDS matrix to the state

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

↓ 9 callersMethodassert_equal

( &self, ctx: &mut RegionCtx<'_, F>, lhs: &AssignedValue<F>, rhs: &AssignedVal

src/plonky2_verifier/chip/goldilocks_chip.rs:218

↓ 9 callersMethodassign_constant

If the given constant is already assigned, return the cell. If not, assign it.

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

↓ 9 callersMethodenable

(&mut self, selector: Selector)

src/plonky2_verifier/context/mod.rs:83

↓ 9 callersMethodnext

(&mut self)

src/plonky2_verifier/context/mod.rs:87

↓ 9 callersMethodprove

( &self, inner_proof: &ProofWithPublicInputs<F, InnerC, D>, )

src/plonky2_semaphore/wrapper.rs:49

↓ 9 callersMethodwrite_scalar

Write scalar to the transcript

src/plonky2_verifier/chip/transcript_chip.rs:26

↓ 8 callersMethodadd_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:119

↓ 8 callersMethodassign_value

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

src/plonky2_verifier/chip/goldilocks_chip.rs:68

↓ 8 callersMethodconvert_to_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:319

↓ 8 callersMethodsqueeze

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

src/plonky2_verifier/chip/hasher_chip.rs:73

↓ 7 callersMethodarithmetic_extension

const_0 * multiplicand_0 * multiplicand_1 + const_1 * addend

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:152

↓ 7 callersMethodone_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:181

↓ 7 callersMethodpermutation

Constrains poseidon permutation while mutating the given state

src/plonky2_verifier/chip/hasher_chip.rs:101

↓ 7 callersMethodreduce_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:331

↓ 7 callersFunctionto_extension_field_values

( extension_fields: Vec<<GoldilocksField as Extendable<2>>::Extension>, )

src/plonky2_verifier/types/mod.rs:171

↓ 6 callersMethodassign_value

assign value with range check 0 <= x < GOLDILOCKS_MODULUS

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

↓ 6 callersMethodgoldilocks_extension_algebra_chip

( &self, goldilocks_chip_config: &GoldilocksChipConfig<F>, )

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

↓ 6 callersMethodpermutation

Constrains poseidon permutation while mutating the given state

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:265

↓ 5 callersMethodgoldilocks_chip

Construct main gate

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:105

↓ 5 callersMethodgoldilocks_chip

(&self)

src/plonky2_verifier/chip/fri_chip.rs:48

↓ 5 callersMethodgoldilocks_extension_chip

(&self)

src/plonky2_verifier/chip/goldilocks_extension_algebra_chip.rs:30

↓ 5 callersMethodmul_sub_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:233

↓ 5 callersFunctionreport_elapsed

(now: Instant)

src/plonky2_semaphore/mod.rs:11

↓ 5 callersMethodscalar_mul

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:135

↓ 5 callersMethodselect

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

src/plonky2_verifier/chip/goldilocks_chip.rs:266

↓ 5 callersMethodsub_ext_algebra

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

src/plonky2_verifier/chip/goldilocks_extension_algebra_chip.rs:159

↓ 5 callersMethodto_ext_array

(&self)

src/plonky2_verifier/chip/goldilocks_extension_algebra_chip.rs:14

↓ 5 callersMethodvec_size

Length of the list being accessed.

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

↓ 4 callersMethodapply_mds

Applies MDS State multiplication

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:193

↓ 4 callersFunctionassign_q_and_r

assign q and r with limb decomposition

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

↓ 4 callersMethodmul_add_constant

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

src/plonky2_verifier/chip/goldilocks_chip.rs:158

↓ 4 callersMethodmul_constants

Used in calculation of optimized round constants. Calculates `v' = M v` where vectors are `T` sized

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

↓ 4 callersMethodoffset

(&self)

src/plonky2_verifier/context/mod.rs:27

↓ 4 callersMethodsbox_full

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

src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:144

↓ 4 callersMethodscalar_mul_add_ext_algebra

Returns `a * b + c`, where `b, c` are in the extension algebra and `a` in the extension field.

src/plonky2_verifier/chip/goldilocks_extension_algebra_chip.rs:85

↓ 4 callersMethodsub

( &self, ctx: &mut RegionCtx<'_, F>, lhs: &AssignedValue<F>, rhs: &AssignedVal

src/plonky2_verifier/chip/goldilocks_chip.rs:121

↓ 4 callersFunctionto_goldilocks

(e: GoldilocksField)

src/plonky2_verifier/types/mod.rs:27

↓ 4 callersMethodtree_height

(&self)

src/plonky2_semaphore/circuit.rs:21

↓ 3 callersMethodapply_permute

( &self, ctx: &mut RegionCtx<'_, F>, state: [AssignedCell<F, F>; T_BN254_POSEIDON],

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

↓ 3 callersMethodassert_zero

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

src/plonky2_verifier/chip/goldilocks_chip.rs:236

↓ 3 callersMethodassign_fixed

( &mut self, annotation: A, column: Column<Fixed>, value: F, )

src/plonky2_verifier/context/mod.rs:39

↓ 3 callersFunctionassign_quadratic_extensions

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

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

↓ 3 callersFunctionconstant_layer

(state: &mut [Fr; T_BN254_POSEIDON], counter: &mut usize)

src/plonky2_verifier/bn245_poseidon/native.rs:16

↓ 3 callersMethodconstants

Optimised round constants

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

↓ 3 callersMethodconstrain_equal

(&mut self, cell_0: Cell, cell_1: Cell)

src/plonky2_verifier/context/mod.rs:79

↓ 3 callersMethoddegree_bits

(&self)

src/plonky2_verifier/types/common_data.rs:125

↓ 3 callersFunctionfull_round_value

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

src/plonky2_verifier/bn245_poseidon/value.rs:49

↓ 3 callersMethodgoldilocks_extension_chip

(&self)

src/plonky2_verifier/chip/fri_chip.rs:52

↓ 3 callersFunctiongoldilocks_to_fr

(x: GoldilocksField)

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

↓ 3 callersMethodload_table

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

src/plonky2_verifier/chip/goldilocks_chip.rs:416

↓ 3 callersFunctionmds_layer

(state: &mut [Fr; T_BN254_POSEIDON])

src/plonky2_verifier/bn245_poseidon/native.rs:33

↓ 3 callersMethodmds_matrices

Set of MDS Matrices used in permutation line

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

↓ 3 callersMethodmul_add_ext_algebra

Returns `a * b + c`.

src/plonky2_verifier/chip/goldilocks_extension_algebra_chip.rs:112

↓ 3 callersMethodmul_many_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:283

↓ 3 callersMethodnative_fe_to_goldilocks

assumes `fe` is already in goldilocks field

src/plonky2_verifier/chip/goldilocks_chip.rs:58

↓ 3 callersFunctionpermute_bn254_poseidon_native

(state: &mut [Fr; T_BN254_POSEIDON])

src/plonky2_verifier/bn245_poseidon/native.rs:43

↓ 3 callersMethodsbox

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

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

↓ 3 callersMethodset_offset

(&mut self, offset: usize)

src/plonky2_verifier/context/mod.rs:31

↓ 3 callersFunctionstandard_stark_verifier_config

Use this config for the outer circuit.

src/plonky2_verifier/bn245_poseidon/plonky2_config.rs:92

↓ 3 callersMethodtranspose

(&self)

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

↓ 3 callersFunctionverify_inside_snark

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

src/plonky2_verifier/verifier_api.rs:57

↓ 3 callersMethodzero_ext_algebra

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

src/plonky2_verifier/chip/goldilocks_extension_algebra_chip.rs:34

↓ 2 callersMethodaccess

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

src/plonky2_verifier/chip/vector_chip.rs:26

↓ 2 callersMethodadd

( &self, ctx: &mut RegionCtx<'_, F>, lhs: &AssignedValue<F>, rhs: &AssignedVal

src/plonky2_verifier/chip/goldilocks_chip.rs:105

↓ 2 callersMethodapply_ext

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

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

↓ 2 callersMethodarithmetic_chip

(&self)

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

↓ 2 callersMethodassert_equal_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:379

↓ 2 callersMethodassign_full_round

( &self, ctx: &mut RegionCtx<'_, F>, state: [Value<F>; T_BN254_POSEIDON], coun

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

↓ 2 callersMethodassign_initial_state

( &self, ctx: &mut RegionCtx<'_, F>, state: [Value<F>; T_BN254_POSEIDON], )

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

↓ 2 callersMethodcompose

( &self, ctx: &mut RegionCtx<'_, F>, terms: &[MainGateTerm<F>], constant: Gold

src/plonky2_verifier/chip/goldilocks_chip.rs:85

↓ 2 callersFunctionconstant_layer

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

src/plonky2_verifier/bn245_poseidon/value.rs:12

↓ 2 callersMethodconstant_layer

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

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

↓ 2 callersFunctioncreate_proof_checked

( params: &ParamsKZG<Bn256>, pk: &ProvingKey<G1Affine>, circuit: impl Circuit<Fr>, instances:

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

↓ 2 callersMethoddiv_add_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:108

↓ 2 callersMethoddiv_extension

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:72

↓ 2 callersMethodeval_unfiltered_constraint

( &self, _ctx: &mut RegionCtx<'_, F>, _goldilocks_chip_config: &GoldilocksChipConfig<F

src/plonky2_verifier/chip/plonk/gates/noop.rs:15

↓ 2 callersMethodexp

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

src/plonky2_verifier/chip/goldilocks_extension_chip.rs:264

↓ 2 callersMethodexp_from_bits

( &self, ctx: &mut RegionCtx<'_, F>, base: GoldilocksField, power_bits: &[Assi

src/plonky2_verifier/chip/goldilocks_chip.rs:388

↓ 2 callersMethodfrom_bits

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

src/plonky2_verifier/chip/goldilocks_chip.rs:352

↓ 2 callersFunctiongenerate_proof_tuple

()

src/plonky2_verifier/verifier_api.rs:121

↓ 2 callersFunctiongoldilocks_decompose

(x: F)

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

↓ 2 callersMethodhash

( &mut self, ctx: &mut RegionCtx<'_, F>, inputs: Vec<AssignedValue<F>>, num_ou

src/plonky2_verifier/chip/hasher_chip.rs:122

↓ 2 callersMethodhasher

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

src/plonky2_verifier/chip/merkle_proof_chip.rs:35

next →1–100 of 418, ranked by callers