Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Koukyosyumei/MyZKP
/ types & classes
Types & classes
103 in github.com/Koukyosyumei/MyZKP
⨍
Functions
594
◇
Types & classes
103
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
Class
Avail
myzkp/src/modules/das/avail.rs:28
Class
BN128
myzkp/src/modules/algebra/curve/bn128.rs:183
Class
BatchProofKZG
myzkp/src/modules/algebra/kzg.rs:20
Class
BitCombinations
myzkp/src/modules/algebra/sumcheck.rs:16
Class
BitCombinationsDictOrder
myzkp/examples/sumcheck/src/utils.rs:10
Class
Celestia
myzkp/src/modules/das/celestia.rs:28
Class
CommitmentAvail
myzkp/src/modules/das/avail.rs:18
Class
CommitmentCelestia
myzkp/src/modules/das/celestia.rs:12
Class
CommitmentEigenDA
myzkp/src/modules/das/eigenda.rs:19
Class
CudaBackend
myzkp/examples/sumcheck/src/prover.rs:18
Interface
DataAvailabilitySystem
myzkp/src/modules/das/utils.rs:4
Class
EigenDA
myzkp/src/modules/das/eigenda.rs:33
Interface
EllipticCurve
myzkp/src/modules/algebra/curve/curve.rs:12
Class
EllipticCurvePoint
myzkp/src/modules/algebra/curve/curve.rs:18
Class
EncodedDataAvail
myzkp/src/modules/das/avail.rs:13
Class
EncodedDataCelestia
myzkp/src/modules/das/celestia.rs:7
Class
EncodedDataEigenDA
myzkp/src/modules/das/eigenda.rs:14
Class
ExtendedFieldElement
myzkp/src/modules/algebra/efield.rs:95
Class
FRI
myzkp/src/modules/zkstark/fri.rs:63
Class
FastStark
myzkp/src/modules/zkstark/fast_stark.rs:34
Class
FastStarkProof
myzkp/src/modules/zkstark/fast_stark.rs:22
Class
FiatShamirTransformer
myzkp/src/modules/algebra/fiat_shamir.rs:11
Interface
Field
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
Class
FiniteFieldElement
myzkp/src/modules/algebra/field.rs:88
Class
Fq12Poly
myzkp/src/modules/algebra/curve/bn128.rs:53
Class
Fq2Poly
myzkp/src/modules/algebra/curve/bn128.rs:35
Class
FriProof
myzkp/src/modules/zkstark/fri.rs:73
Class
FriQueryLayer
myzkp/src/modules/zkstark/fri.rs:80
Interface
IrreduciblePoly
myzkp/src/modules/algebra/efield.rs:86
Class
MPolyKernelInput
myzkp/examples/sumcheck/src/prover.rs:45
Class
MPolynomial
myzkp/src/modules/algebra/mpolynomials.rs:14
Class
MaliciousProver2
Simulating a malicious prover
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_2.rs:43
Class
MaliciousProver3
Simulating a malicious prover
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_3.rs:56
Class
Merkle
myzkp/src/modules/algebra/merkle.rs:3
Interface
ModulusValue
Trait for defining the modulus of a finite field.
myzkp/src/modules/algebra/field.rs:94
Class
PinocchioProof
myzkp/src/modules/zksnark/pinocchio.rs:43
Class
PinocchioProofKey
myzkp/src/modules/zksnark/pinocchio.rs:13
Class
PinocchioVerificationKey
myzkp/src/modules/zksnark/pinocchio.rs:33
Class
Polynomial
myzkp/src/modules/algebra/polynomial.rs:71
Class
Proof
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_6.rs:18
Class
Proof1
myzkp/src/modules/zksnark/tutorial_snark/protocol_1.rs:29
Class
Proof2
myzkp/src/modules/zksnark/tutorial_snark/protocol_2.rs:30
Class
Proof3
myzkp/src/modules/zksnark/tutorial_snark/protocol_3.rs:34
Class
Proof4
myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs:35
Class
Proof5
myzkp/src/modules/zksnark/tutorial_snark/protocol_5.rs:34
Class
ProofCelestia
myzkp/src/modules/das/celestia.rs:18
Class
ProofGemini
myzkp/src/modules/algebra/gemini.rs:107
Class
ProofKZG
myzkp/src/modules/algebra/kzg.rs:15
Class
ProofKey
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_6.rs:8
Class
ProofKey1
myzkp/src/modules/zksnark/tutorial_snark/protocol_1.rs:11
Class
ProofKey2
myzkp/src/modules/zksnark/tutorial_snark/protocol_2.rs:11
Class
ProofKey3
myzkp/src/modules/zksnark/tutorial_snark/protocol_3.rs:11
Class
ProofKey4
myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs:11
Class
ProofKey5
myzkp/src/modules/zksnark/tutorial_snark/protocol_5.rs:11
Class
Prover1
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_1.rs:6
Class
Prover2
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_2.rs:4
Class
Prover3
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_3.rs:6
Class
Prover4
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_4.rs:6
Class
Prover5
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_5.rs:6
Class
PublicKeyKZG
myzkp/src/modules/algebra/kzg.rs:8
Class
PublicParamsAvail
myzkp/src/modules/das/avail.rs:22
Class
PublicParamsCelestia
myzkp/src/modules/das/celestia.rs:23
Class
PublicParamsEigenDA
myzkp/src/modules/das/eigenda.rs:25
Class
QAP
myzkp/src/modules/arithmetization/qap.rs:5
Class
R1CS
myzkp/src/modules/arithmetization/r1cs.rs:12
Class
ReedSolomon
myzkp/src/modules/algebra/reedsolomon.rs:20
Class
ReedSolomon2D
myzkp/src/modules/algebra/reedsolomon.rs:256
Class
RescuePrime
myzkp/src/modules/zkstark/rescueprime.rs:16
Interface
Ring
myzkp/src/modules/algebra/ring.rs:6
Class
SamplePosition
myzkp/src/modules/das/utils.rs:22
Enum
SplitFoldError
myzkp/src/modules/algebra/gemini.rs:16
Class
Stark
myzkp/src/modules/zkstark/stark.rs:31
Class
StarkProof
myzkp/src/modules/zkstark/stark.rs:21
Class
SumCheckProof
myzkp/src/modules/algebra/sumcheck.rs:110
Class
SumCheckProverCPU
A CPU-based implementation of the Sum-Check protocol prover.
myzkp/examples/sumcheck/src/prover.rs:337
Class
SumCheckProverGPU
myzkp/examples/sumcheck/src/prover.rs:79
Class
SumCheckVerifier
myzkp/examples/sumcheck/src/verifier.rs:12
Class
SystemMetrics
myzkp/src/modules/das/utils.rs:29
Class
VerificationKey
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_6.rs:13
Class
VerificationKey1
myzkp/src/modules/zksnark/tutorial_snark/protocol_1.rs:22
Class
VerificationKey2
myzkp/src/modules/zksnark/tutorial_snark/protocol_2.rs:22
Class
VerificationKey3
myzkp/src/modules/zksnark/tutorial_snark/protocol_3.rs:23
Class
VerificationKey4
myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs:23
Class
VerificationKey5
myzkp/src/modules/zksnark/tutorial_snark/protocol_5.rs:23
Class
Verifier1
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_1.rs:12
Class
Verifier2
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_2.rs:10
Class
Verifier3
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_3.rs:12
Class
Verifier4
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_4.rs:12
Class
Verifier5
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_5.rs:12
Class
a
docs/highlight.js:6
Class
c
docs/highlight.js:6
Class
fr_t
myzkp/src/modules/algebra/cuda/kernels/field.hpp:4
Class
l
docs/highlight.js:6
Class
n
docs/highlight.js:6
next →
1–100 of 103, ranked by callers