Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Koukyosyumei/MyZKP
/ functions
Functions
594 in github.com/Koukyosyumei/MyZKP
⨍
Functions
594
◇
Types & classes
103
Function
test_fri_efield
()
myzkp/src/modules/zkstark/fri.rs:547
Function
test_fri_field
()
myzkp/src/modules/zkstark/fri.rs:496
Function
test_g1
()
myzkp/src/modules/algebra/curve/bn128.rs:286
Function
test_g12
()
myzkp/src/modules/algebra/curve/bn128.rs:322
Function
test_g2
()
myzkp/src/modules/algebra/curve/bn128.rs:304
Function
test_gemini
()
myzkp/src/modules/algebra/gemini.rs:289
Function
test_general_tate_pairing
()
myzkp/src/modules/algebra/curve/curve.rs:500
Function
test_inverse
()
myzkp/src/modules/algebra/field.rs:492
Function
test_is_order
()
myzkp/src/modules/algebra/field.rs:528
Function
test_kea_protocol
()
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_4.rs:94
Function
test_kea_protocol
()
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_5.rs:98
Function
test_kzg
()
myzkp/src/modules/algebra/kzg.rs:153
Function
test_lift
()
myzkp/src/modules/algebra/mpolynomials.rs:691
Function
test_merkle
()
myzkp/src/modules/algebra/merkle.rs:74
Function
test_mpolynomial_addition
()
myzkp/src/modules/algebra/mpolynomials.rs:435
Function
test_mpolynomial_addition_with_cancellation
()
myzkp/src/modules/algebra/mpolynomials.rs:478
Function
test_mpolynomial_evaluate
()
myzkp/src/modules/algebra/mpolynomials.rs:574
Function
test_mpolynomial_multiplication
()
myzkp/src/modules/algebra/mpolynomials.rs:518
Function
test_mpolynomial_multiplication_complex
()
myzkp/src/modules/algebra/mpolynomials.rs:539
Function
test_multiple_error_correction
()
myzkp/src/modules/algebra/reedsolomon.rs:498
Function
test_multiple_error_correction_2d
()
myzkp/src/modules/algebra/reedsolomon.rs:549
Function
test_multiplication
()
myzkp/src/modules/algebra/field.rs:484
Function
test_naive_protocol
()
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_1.rs:86
Function
test_negation
()
myzkp/src/modules/algebra/field.rs:500
Function
test_new_custom_modulus
()
myzkp/src/modules/algebra/field.rs:450
Function
test_new_default_modulus
()
myzkp/src/modules/algebra/field.rs:444
Function
test_no_errors
()
myzkp/src/modules/algebra/reedsolomon.rs:478
Function
test_no_errors_2d
()
myzkp/src/modules/algebra/reedsolomon.rs:526
Function
test_non_interactive_zkp
()
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_6.rs:86
Function
test_ntt
()
myzkp/src/modules/algebra/ntt.rs:347
Function
test_one
()
myzkp/src/modules/algebra/field.rs:462
Function
test_pairing
()
myzkp/src/modules/algebra/curve/bn128.rs:342
Function
test_polynomial_addition
()
myzkp/src/modules/algebra/polynomial.rs:623
Function
test_polynomial_degree
()
myzkp/src/modules/algebra/polynomial.rs:771
Function
test_polynomial_division
()
myzkp/src/modules/algebra/polynomial.rs:728
Function
test_polynomial_evaluation
()
myzkp/src/modules/algebra/polynomial.rs:758
Function
test_polynomial_from_monomials
()
myzkp/src/modules/algebra/polynomial.rs:806
Function
test_polynomial_lagrange_interpolation
()
myzkp/src/modules/algebra/polynomial.rs:783
Function
test_polynomial_multiplication
()
myzkp/src/modules/algebra/polynomial.rs:686
Function
test_polynomial_negation
()
myzkp/src/modules/algebra/polynomial.rs:669
Function
test_polynomial_pow
()
myzkp/src/modules/algebra/polynomial.rs:824
Function
test_polynomial_scalar_multiplication
()
myzkp/src/modules/algebra/polynomial.rs:710
Function
test_polynomial_subtraction
()
myzkp/src/modules/algebra/polynomial.rs:646
Function
test_qap_multi_multiplication
()
myzkp/src/modules/arithmetization/qap.rs:91
Function
test_qap_single_multiplication
()
myzkp/src/modules/arithmetization/qap.rs:56
Function
test_r1cs_addition_with_constant
()
myzkp/src/modules/arithmetization/r1cs.rs:80
Function
test_r1cs_multiple_constraints
()
myzkp/src/modules/arithmetization/r1cs.rs:128
Function
test_r1cs_multiplication_with_constant
()
myzkp/src/modules/arithmetization/r1cs.rs:104
Function
test_r1cs_single_multiplication
()
myzkp/src/modules/arithmetization/r1cs.rs:56
Function
test_random_element
()
myzkp/src/modules/algebra/field.rs:535
Function
test_rescue_prime
()
myzkp/src/modules/zkstark/rescueprime.rs:603
Function
test_single_error_correction
()
myzkp/src/modules/algebra/reedsolomon.rs:488
Function
test_single_error_correction_2d
()
myzkp/src/modules/algebra/reedsolomon.rs:538
Function
test_snark_naive_single_multiplication
()
myzkp/src/modules/zksnark/tutorial_snark/protocol_1.rs:121
Function
test_snark_ni_single_multiplication
()
myzkp/src/modules/zksnark/tutorial_snark/protocol_2.rs:141
Function
test_snark_variable_consistency_single_multiplication
()
myzkp/src/modules/zksnark/pinocchio.rs:257
Function
test_snark_variable_consistency_single_multiplication
()
myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs:177
Function
test_snark_variable_consistency_single_multiplication
()
myzkp/src/modules/zksnark/tutorial_snark/protocol_5.rs:192
Function
test_snark_variable_consistency_single_multiplication
()
myzkp/src/modules/zksnark/tutorial_snark/protocol_3.rs:174
Function
test_stark
()
myzkp/src/modules/zkstark/stark.rs:533
Function
test_subtraction
()
myzkp/src/modules/algebra/field.rs:476
Function
test_sumcheck_pipeline
()
myzkp/src/modules/algebra/sumcheck.rs:231
Function
test_syndrome_computation_no_error
()
myzkp/src/modules/algebra/reedsolomon.rs:462
Function
test_sz_protocol
()
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_2.rs:94
Function
test_tate_pairing
()
myzkp/src/modules/algebra/curve/curve.rs:532
Function
test_tensor_product_1
()
myzkp/src/modules/algebra/gemini.rs:248
Function
test_tensor_product_2
()
myzkp/src/modules/algebra/gemini.rs:267
Function
test_too_many_errors
()
myzkp/src/modules/algebra/reedsolomon.rs:510
Function
test_too_many_errors_2d
()
myzkp/src/modules/algebra/reedsolomon.rs:561
Function
test_weil_pairing
()
myzkp/src/modules/algebra/curve/curve.rs:430
Function
test_zero
()
myzkp/src/modules/algebra/field.rs:456
Function
to_fr
myzkp/src/modules/algebra/cuda/kernels/field.hpp:79
Function
toggleSection
(ev)
docs/book.js:465
Method
top
()
docs/highlight.js:6
Method
trim_trailing_zeros
Removes trailing zeroes from a polynomial's coefficients.
myzkp/src/modules/algebra/polynomial.rs:85
Method
variables
(num_variables: usize)
myzkp/src/modules/algebra/mpolynomials.rs:59
Function
verify
( g1: &G1Point, g2: &G2Point, proof: &Proof4, verification_key: &VerificationKey4, )
myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs:103
Function
verify
( g1: &G1Point, g2: &G2Point, proof: &Proof5, verification_key: &VerificationKey5, )
myzkp/src/modules/zksnark/tutorial_snark/protocol_5.rs:116
Function
verify
( g1: &G1Point, g2: &G2Point, proof: &Proof1, verification_key: &VerificationKey1, )
myzkp/src/modules/zksnark/tutorial_snark/protocol_1.rs:73
Function
verify
( g1: &G1Point, g2: &G2Point, proof: &Proof3, verification_key: &VerificationKey3, )
myzkp/src/modules/zksnark/tutorial_snark/protocol_3.rs:100
Function
verify
( g1: &G1Point, g2: &G2Point, proof: &Proof2, verification_key: &VerificationKey2, )
myzkp/src/modules/zksnark/tutorial_snark/protocol_2.rs:77
Function
verify
(g2: &G2Point, proof: &Proof, vk: &VerificationKey)
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_6.rs:67
Method
verify
Verifies that a given leaf is an element of the committed vector at the given index.
myzkp/src/modules/algebra/merkle.rs:49
Method
verify
( position: &SamplePosition, _encoded: &Self::EncodedData, commitment: &Self::Commitme
myzkp/src/modules/das/eigenda.rs:146
Method
verify
( position: &SamplePosition, encoded: &Self::EncodedData, commitment: &Self::Commitmen
myzkp/src/modules/das/avail.rs:113
Method
verify
( position: &SamplePosition, encoded: &Self::EncodedData, commitment: &Self::Commitmen
myzkp/src/modules/das/celestia.rs:115
Method
verify
( max_degree: usize, polynomial_factors: &[MPolynomial<F>], claimed_sum: F, pr
myzkp/examples/sumcheck/src/verifier.rs:15
Function
verify_sumcheck
(proof: &SumCheckProof, pk: &PublicKeyKZG)
myzkp/src/modules/algebra/sumcheck.rs:169
Method
x
Creates a polynomial representing the variable `x`.
myzkp/src/modules/algebra/polynomial.rs:78
Function
z
(n)
docs/elasticlunr.min.js:10
Method
zero
()
myzkp/src/modules/algebra/mpolynomials.rs:39
Method
zero
()
myzkp/src/modules/algebra/field.rs:136
Method
zero
()
myzkp/src/modules/algebra/polynomial.rs:447
Method
zero
()
myzkp/src/modules/algebra/efield.rs:215
← previous
501–594 of 594, ranked by callers