MCPcopy Create free account

hub / github.com/Koukyosyumei/MyZKP / types & classes

Types & classes103 in github.com/Koukyosyumei/MyZKP

Class
docs/highlight.js:6
Class
docs/highlight.js:6
Class
docs/highlight.js:6
Class
docs/highlight.js:6
Class
docs/highlight.js:6
Class
docs/highlight.js:6
ClassAvail
myzkp/src/modules/das/avail.rs:28
ClassBN128
myzkp/src/modules/algebra/curve/bn128.rs:183
ClassBatchProofKZG
myzkp/src/modules/algebra/kzg.rs:20
ClassBitCombinations
myzkp/src/modules/algebra/sumcheck.rs:16
ClassBitCombinationsDictOrder
myzkp/examples/sumcheck/src/utils.rs:10
ClassCelestia
myzkp/src/modules/das/celestia.rs:28
ClassCommitmentAvail
myzkp/src/modules/das/avail.rs:18
ClassCommitmentCelestia
myzkp/src/modules/das/celestia.rs:12
ClassCommitmentEigenDA
myzkp/src/modules/das/eigenda.rs:19
ClassCudaBackend
myzkp/examples/sumcheck/src/prover.rs:18
InterfaceDataAvailabilitySystem
myzkp/src/modules/das/utils.rs:4
ClassEigenDA
myzkp/src/modules/das/eigenda.rs:33
InterfaceEllipticCurve
myzkp/src/modules/algebra/curve/curve.rs:12
ClassEllipticCurvePoint
myzkp/src/modules/algebra/curve/curve.rs:18
ClassEncodedDataAvail
myzkp/src/modules/das/avail.rs:13
ClassEncodedDataCelestia
myzkp/src/modules/das/celestia.rs:7
ClassEncodedDataEigenDA
myzkp/src/modules/das/eigenda.rs:14
ClassExtendedFieldElement
myzkp/src/modules/algebra/efield.rs:95
ClassFRI
myzkp/src/modules/zkstark/fri.rs:63
ClassFastStark
myzkp/src/modules/zkstark/fast_stark.rs:34
ClassFastStarkProof
myzkp/src/modules/zkstark/fast_stark.rs:22
ClassFiatShamirTransformer
myzkp/src/modules/algebra/fiat_shamir.rs:11
InterfaceField
Trait representing a field in abstract algebra. This trait extends the `Ring` trait and adds operations specific to fields, such as division and find
myzkp/src/modules/algebra/field.rs:69
ClassFiniteFieldElement
myzkp/src/modules/algebra/field.rs:88
ClassFq12Poly
myzkp/src/modules/algebra/curve/bn128.rs:53
ClassFq2Poly
myzkp/src/modules/algebra/curve/bn128.rs:35
ClassFriProof
myzkp/src/modules/zkstark/fri.rs:73
ClassFriQueryLayer
myzkp/src/modules/zkstark/fri.rs:80
InterfaceIrreduciblePoly
myzkp/src/modules/algebra/efield.rs:86
ClassMPolyKernelInput
myzkp/examples/sumcheck/src/prover.rs:45
ClassMPolynomial
myzkp/src/modules/algebra/mpolynomials.rs:14
ClassMaliciousProver2
Simulating a malicious prover
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_2.rs:43
ClassMaliciousProver3
Simulating a malicious prover
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_3.rs:56
ClassMerkle
myzkp/src/modules/algebra/merkle.rs:3
InterfaceModulusValue
Trait for defining the modulus of a finite field.
myzkp/src/modules/algebra/field.rs:94
ClassPinocchioProof
myzkp/src/modules/zksnark/pinocchio.rs:43
ClassPinocchioProofKey
myzkp/src/modules/zksnark/pinocchio.rs:13
ClassPinocchioVerificationKey
myzkp/src/modules/zksnark/pinocchio.rs:33
ClassPolynomial
myzkp/src/modules/algebra/polynomial.rs:71
ClassProof
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_6.rs:18
ClassProof1
myzkp/src/modules/zksnark/tutorial_snark/protocol_1.rs:29
ClassProof2
myzkp/src/modules/zksnark/tutorial_snark/protocol_2.rs:30
ClassProof3
myzkp/src/modules/zksnark/tutorial_snark/protocol_3.rs:34
ClassProof4
myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs:35
ClassProof5
myzkp/src/modules/zksnark/tutorial_snark/protocol_5.rs:34
ClassProofCelestia
myzkp/src/modules/das/celestia.rs:18
ClassProofGemini
myzkp/src/modules/algebra/gemini.rs:107
ClassProofKZG
myzkp/src/modules/algebra/kzg.rs:15
ClassProofKey
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_6.rs:8
ClassProofKey1
myzkp/src/modules/zksnark/tutorial_snark/protocol_1.rs:11
ClassProofKey2
myzkp/src/modules/zksnark/tutorial_snark/protocol_2.rs:11
ClassProofKey3
myzkp/src/modules/zksnark/tutorial_snark/protocol_3.rs:11
ClassProofKey4
myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs:11
ClassProofKey5
myzkp/src/modules/zksnark/tutorial_snark/protocol_5.rs:11
ClassProver1
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_1.rs:6
ClassProver2
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_2.rs:4
ClassProver3
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_3.rs:6
ClassProver4
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_4.rs:6
ClassProver5
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_5.rs:6
ClassPublicKeyKZG
myzkp/src/modules/algebra/kzg.rs:8
ClassPublicParamsAvail
myzkp/src/modules/das/avail.rs:22
ClassPublicParamsCelestia
myzkp/src/modules/das/celestia.rs:23
ClassPublicParamsEigenDA
myzkp/src/modules/das/eigenda.rs:25
ClassQAP
myzkp/src/modules/arithmetization/qap.rs:5
ClassR1CS
myzkp/src/modules/arithmetization/r1cs.rs:12
ClassReedSolomon
myzkp/src/modules/algebra/reedsolomon.rs:20
ClassReedSolomon2D
myzkp/src/modules/algebra/reedsolomon.rs:256
ClassRescuePrime
myzkp/src/modules/zkstark/rescueprime.rs:16
InterfaceRing
myzkp/src/modules/algebra/ring.rs:6
ClassSamplePosition
myzkp/src/modules/das/utils.rs:22
EnumSplitFoldError
myzkp/src/modules/algebra/gemini.rs:16
ClassStark
myzkp/src/modules/zkstark/stark.rs:31
ClassStarkProof
myzkp/src/modules/zkstark/stark.rs:21
ClassSumCheckProof
myzkp/src/modules/algebra/sumcheck.rs:110
ClassSumCheckProverCPU
A CPU-based implementation of the Sum-Check protocol prover.
myzkp/examples/sumcheck/src/prover.rs:337
ClassSumCheckProverGPU
myzkp/examples/sumcheck/src/prover.rs:79
ClassSumCheckVerifier
myzkp/examples/sumcheck/src/verifier.rs:12
ClassSystemMetrics
myzkp/src/modules/das/utils.rs:29
ClassVerificationKey
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_6.rs:13
ClassVerificationKey1
myzkp/src/modules/zksnark/tutorial_snark/protocol_1.rs:22
ClassVerificationKey2
myzkp/src/modules/zksnark/tutorial_snark/protocol_2.rs:22
ClassVerificationKey3
myzkp/src/modules/zksnark/tutorial_snark/protocol_3.rs:23
ClassVerificationKey4
myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs:23
ClassVerificationKey5
myzkp/src/modules/zksnark/tutorial_snark/protocol_5.rs:23
ClassVerifier1
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_1.rs:12
ClassVerifier2
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_2.rs:10
ClassVerifier3
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_3.rs:12
ClassVerifier4
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_4.rs:12
ClassVerifier5
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_5.rs:12
Classa
docs/highlight.js:6
Classc
docs/highlight.js:6
Classfr_t
myzkp/src/modules/algebra/cuda/kernels/field.hpp:4
Classl
docs/highlight.js:6
Classn
docs/highlight.js:6
next →1–100 of 103, ranked by callers