Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/DoHoonKim8/stark-verifier
/ types & classes
Types & classes
103 in github.com/DoHoonKim8/stark-verifier
⨍
Functions
418
◇
Types & classes
103
↓ 14 callers
Class
AssignedExtensionFieldValue
src/plonky2_verifier/types/assigned.rs:13
↓ 3 callers
Class
AccessSet
src/plonky2_semaphore/access_set.rs:25
↓ 3 callers
Class
AssignedExtensionAlgebra
src/plonky2_verifier/chip/goldilocks_extension_algebra_chip.rs:11
↓ 2 callers
Class
AssignedMerkleCapValues
src/plonky2_verifier/types/assigned.rs:10
↓ 1 callers
Class
AssignedExtensionAlgebra
src/plonky2_verifier/chip/goldilocks_extension_chip.rs:14
↓ 1 callers
Class
AssignedPolynomialCoeffsExtValues
src/plonky2_verifier/types/assigned.rs:87
↓ 1 callers
Class
AssignedState
src/plonky2_verifier/chip/hasher_chip.rs:16
↓ 1 callers
Class
AssignedState
src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:22
↓ 1 callers
Class
MDSMatrix
src/plonky2_verifier/chip/poseidon_spec/spec.rs:142
↓ 1 callers
Class
Matrix
src/plonky2_verifier/chip/poseidon_spec/matrix.rs:11
↓ 1 callers
Class
MerkleCapValues
src/plonky2_verifier/types/mod.rs:87
↓ 1 callers
Class
State
src/plonky2_verifier/chip/poseidon_spec/spec.rs:11
Class
AllChip
src/plonky2_verifier/chip/native_chip/all_chip.rs:33
Class
AllChipConfig
src/plonky2_verifier/chip/native_chip/all_chip.rs:16
Class
ArithmeticChip
src/plonky2_verifier/chip/native_chip/arithmetic_chip.rs:193
Class
ArithmeticChipConfig
src/plonky2_verifier/chip/native_chip/arithmetic_chip.rs:25
Class
ArithmeticExtensionGateConstrainer
src/plonky2_verifier/chip/plonk/gates/arithmetic_extension.rs:16
Class
ArithmeticGateConstrainer
src/plonky2_verifier/chip/plonk/gates/arithmetic.rs:14
Class
AssignedArithmetic
src/plonky2_verifier/chip/native_chip/arithmetic_chip.rs:166
Class
AssignedArithmeticExt
src/plonky2_verifier/chip/native_chip/arithmetic_chip.rs:173
Class
AssignedFriChallenges
src/plonky2_verifier/types/assigned.rs:119
Class
AssignedFriInitialTreeProofValues
src/plonky2_verifier/types/assigned.rs:53
Class
AssignedFriOpeningBatch
Opened values of each polynomial that's opened at a particular point.
src/plonky2_verifier/types/assigned.rs:132
Class
AssignedFriOpenings
Opened values of each polynomial.
src/plonky2_verifier/types/assigned.rs:127
Class
AssignedFriProofValues
src/plonky2_verifier/types/assigned.rs:92
Class
AssignedFriQueryRoundValues
src/plonky2_verifier/types/assigned.rs:81
Class
AssignedFriQueryStepValues
src/plonky2_verifier/types/assigned.rs:75
Class
AssignedHashValues
src/plonky2_verifier/types/assigned.rs:5
Class
AssignedMerkleProofValues
src/plonky2_verifier/types/assigned.rs:48
Class
AssignedOpeningSetValues
src/plonky2_verifier/types/assigned.rs:15
Class
AssignedProofChallenges
src/plonky2_verifier/types/assigned.rs:136
Class
AssignedProofValues
src/plonky2_verifier/types/assigned.rs:99
Class
AssignedProofWithPisValues
src/plonky2_verifier/types/assigned.rs:108
Class
AssignedVerificationKeyValues
src/plonky2_verifier/types/assigned.rs:113
Class
BaseSumGateConstrainer
src/plonky2_verifier/chip/plonk/gates/base_sum.rs:14
Class
Bn254PoseidonGoldilocksConfig
src/plonky2_verifier/bn245_poseidon/plonky2_config.rs:69
Class
Bn254PoseidonHash
src/plonky2_verifier/bn245_poseidon/plonky2_config.rs:54
Class
Bn254PoseidonPermutation
src/plonky2_verifier/bn245_poseidon/plonky2_config.rs:24
Class
CircuitConfig
src/plonky2_verifier/types/common_data.rs:24
Class
CommonData
src/plonky2_verifier/types/common_data.rs:69
Class
ConstantGateConstrainer
src/plonky2_verifier/chip/plonk/gates/constant.rs:14
Interface
CustomGateConstrainer
Evaluate custom gate constraints in `plonk_zeta` inside maingate.
src/plonky2_verifier/chip/plonk/gates/mod.rs:48
Interface
CustomGateConstrainerClone
This trait is for cloning the boxed trait object.
src/plonky2_verifier/chip/plonk/gates/mod.rs:206
Class
CustomGateRef
src/plonky2_verifier/chip/plonk/gates/mod.rs:136
Class
ExtensionFieldValue
src/plonky2_verifier/types/mod.rs:126
Class
FriBatchInfo
A batch of openings at a particular point.
src/plonky2_verifier/types/fri.rs:36
Class
FriConfig
src/plonky2_verifier/types/common_data.rs:10
Class
FriInitialTreeProofValues
src/plonky2_verifier/types/proof.rs:143
Class
FriInstanceInfo
Describes an instance of a FRI-based batch opening.
src/plonky2_verifier/types/fri.rs:42
Class
FriOracleInfo
src/plonky2_verifier/types/fri.rs:8
Class
FriParams
src/plonky2_verifier/types/common_data.rs:43
Class
FriPolynomialInfo
src/plonky2_verifier/types/fri.rs:14
Class
FriProofValues
src/plonky2_verifier/types/proof.rs:318
Class
FriQueryRoundValues
src/plonky2_verifier/types/proof.rs:217
Class
FriQueryStepValues
src/plonky2_verifier/types/proof.rs:168
Class
FriVerifierChip
src/plonky2_verifier/chip/fri_chip.rs:26
Class
GoldilocksChip
src/plonky2_verifier/chip/goldilocks_chip.rs:27
Class
GoldilocksChipConfig
src/plonky2_verifier/chip/goldilocks_chip.rs:23
Class
GoldilocksExtensionAlgebraChip
src/plonky2_verifier/chip/goldilocks_extension_algebra_chip.rs:19
Class
GoldilocksExtensionChip
src/plonky2_verifier/chip/goldilocks_extension_chip.rs:16
Class
HashValues
src/plonky2_verifier/types/mod.rs:32
Class
HasherChip
src/plonky2_verifier/chip/hasher_chip.rs:21
Class
MDSMatrices
src/plonky2_verifier/chip/poseidon_spec/spec.rs:117
Class
MainGateWithRangeConfig
src/plonky2_verifier/verifier_circuit.rs:40
Class
MerkleProofChip
src/plonky2_verifier/chip/merkle_proof_chip.rs:18
Class
MerkleProofValues
src/plonky2_verifier/types/proof.rs:112
Class
MulExtensionGateConstrainer
src/plonky2_verifier/chip/plonk/gates/multiplication_extension.rs:16
Class
NoopGateConstrainer
src/plonky2_verifier/chip/plonk/gates/noop.rs:12
Class
OpeningSetValues
src/plonky2_verifier/types/proof.rs:34
Class
OptimizedConstants
src/plonky2_verifier/chip/poseidon_spec/spec.rs:90
Interface
Permuter
src/plonky2_verifier/bn245_poseidon/plonky2_config.rs:34
Class
PlonkOracle
src/plonky2_verifier/types/common_data.rs:100
Class
PlonkVerifierChip
src/plonky2_verifier/chip/plonk/plonk_verifier_chip.rs:27
Class
PolynomialCoeffsExtValues
src/plonky2_verifier/types/proof.rs:283
Class
PoseidonBn254Chip
src/plonky2_verifier/chip/native_chip/poseidon_bn254_chip.rs:128
Class
PoseidonBn254ChipConfig
src/plonky2_verifier/chip/native_chip/poseidon_bn254_chip.rs:18
Class
PoseidonGateConstrainer
src/plonky2_verifier/chip/plonk/gates/poseidon.rs:325
Class
PoseidonMDSGateConstrainer
src/plonky2_verifier/chip/plonk/gates/poseidon_mds.rs:23
Class
ProofValues
src/plonky2_verifier/types/proof.rs:380
Class
PublicInputGateConstrainer
src/plonky2_verifier/chip/plonk/gates/public_input.rs:14
Class
PublicInputsHasherChip
src/plonky2_verifier/chip/public_inputs_hasher_chip.rs:27
Class
RandomAccessGateConstrainer
src/plonky2_verifier/chip/plonk/gates/random_access.rs:14
Class
ReducingExtensionGateConstrainer
src/plonky2_verifier/chip/plonk/gates/reducing_extension.rs:15
Class
ReducingGateConstrainer
src/plonky2_verifier/chip/plonk/gates/reducing.rs:15
Class
RegionCtx
src/plonky2_verifier/context/mod.rs:12
Class
SelectorsInfo
src/plonky2_verifier/types/common_data.rs:57
Class
SemaphoreTargets
src/plonky2_semaphore/circuit.rs:12
Class
Signal
src/plonky2_semaphore/signal.rs:11
Class
SparseMDSMatrix
src/plonky2_verifier/chip/poseidon_spec/spec.rs:235
Class
Spec
src/plonky2_verifier/chip/poseidon_spec/spec.rs:65
Enum
Term
src/plonky2_verifier/chip/native_chip/arithmetic_chip.rs:181
Enum
TermExt
src/plonky2_verifier/chip/native_chip/arithmetic_chip.rs:187
Class
TestCircuit
src/plonky2_verifier/chip/hasher_chip.rs:203
Class
TestCircuit
src/plonky2_verifier/chip/goldilocks_chip.rs:442
Class
TestCircuit
src/plonky2_verifier/chip/native_chip/all_chip.rs:113
Class
TestCircuit
src/plonky2_verifier/chip/native_chip/poseidon_bn254_chip.rs:251
Class
TestCircuit
src/plonky2_verifier/chip/native_chip/arithmetic_chip.rs:550
Class
TestCircuit
src/plonky2_verifier/chip/plonk/gates/gate_test.rs:34
Class
TranscriptChip
src/plonky2_verifier/chip/transcript_chip.rs:11
Class
VectorChip
src/plonky2_verifier/chip/vector_chip.rs:9
next →
1–100 of 103, ranked by callers