MCPcopy Create free account

hub / github.com/Koukyosyumei/MyZKP / functions

Functions594 in github.com/Koukyosyumei/MyZKP

⨍ Functions 594◇ Types & classes 103
↓ 372 callersMethodclone
(&self)
myzkp/src/modules/das/utils.rs:70
↓ 228 callersMethodpush
(&mut self, obj: &Vec<SerializedObj>)
myzkp/src/modules/algebra/fiat_shamir.rs:24
↓ 86 callersFunctionoptimal_ate_pairing
(p_g1: &G1Point, q_g2: &G2Point)
myzkp/src/modules/algebra/curve/bn128.rs:147
↓ 80 callersMethodpow
(&self, exponent: usize)
myzkp/src/modules/algebra/polynomial.rs:338
↓ 67 callersFunctionaccumulate_curve_points
Accumulates a weighted sum of elliptic curve points based on the given assignments. # Arguments `g_vec` - A slice of elliptic curve points. `assignme
myzkp/src/modules/zksnark/utils.rs:83
↓ 58 callersMethodmul_ref
(&self, scalar_val: V)
myzkp/src/modules/algebra/curve/curve.rs:163
↓ 47 callersMethodeval
Evaluate the polynomial at a given point.
myzkp/src/modules/algebra/polynomial.rs:120
↓ 39 callersFunctionr
(e,...n)
docs/highlight.js:6
↓ 38 callersMethodget_value
(&self)
myzkp/src/modules/algebra/field.rs:193
↓ 29 callersMethodadd
(e)
docs/highlight.js:6
↓ 27 callersMethodsub_ref
(&self, other: &Self)
myzkp/src/modules/algebra/field.rs:176
↓ 25 callersMethodadd_ref
(&self, other: &Self)
myzkp/src/modules/algebra/curve/curve.rs:103
↓ 25 callersMethodsanitize
Ensures the element's value is within the correct range for the field.
myzkp/src/modules/algebra/field.rs:260
↓ 24 callersMethodis_point_at_infinity
(&self)
myzkp/src/modules/algebra/curve/curve.rs:44
↓ 22 callersFunctionn
(n,t)
docs/highlight.js:6
↓ 19 callersMethoddegree
(&self)
myzkp/src/modules/algebra/efield.rs:111
↓ 19 callersMethodeval_with_powers_on_curve
Evaluates the polynomial at given elliptic curve points.
myzkp/src/modules/algebra/polynomial.rs:156
↓ 19 callersMethodexec
(e)
docs/highlight.js:6
↓ 18 callersFunctionaccumulate_polynomials
Computes a weighted sum of polynomials based on the given assignments. # Arguments `poly_vec` - A slice of polynomials. `assignment` - A slice of fie
myzkp/src/modules/zksnark/utils.rs:102
↓ 18 callersFunctiongenerate_alpha_challenge_vec
Generates a vector of elliptic curve points by evaluating polynomials at `s`, multiplying the results by a challenge `alpha`, and scaling the input cu
myzkp/src/modules/zksnark/utils.rs:40
↓ 18 callersFunctiongenerate_challenge_vec
Generates a vector of elliptic curve points by evaluating each polynomial in the input vector at a specified point `s` and scaling the input curve poi
myzkp/src/modules/zksnark/utils.rs:18
↓ 16 callersMethodis_zero
(&self)
myzkp/src/modules/algebra/mpolynomials.rs:45
↓ 16 callersMethodmul_ref
(&self, other: &'b Polynomial<F>)
myzkp/src/modules/algebra/polynomial.rs:302
↓ 16 callersMethodprover_fiat_shamir
(&self, num_bytes: usize)
myzkp/src/modules/algebra/fiat_shamir.rs:50
↓ 16 callersFunctionverify
Verifies a zk-SNARK proof using the Pinocchio scheme. # Parameters: - `g1`: A reference to a G1 curve point. - `g2`: A reference to a G2 curve point.
myzkp/src/modules/zksnark/pinocchio.rs:205
↓ 12 callersFunctiona
(e)
docs/highlight.js:6
↓ 12 callersFunctionmiller
( p: &EllipticCurvePoint<F, E>, q: &EllipticCurvePoint<F, E>, m: &BigInt, )
myzkp/src/modules/algebra/curve/curve.rs:313
↓ 12 callersFunctiont
(e)
docs/highlight.js:6
↓ 10 callersFunctione
(n)
docs/highlight.js:6
↓ 10 callersMethodevaluate
(&self, point: &[F])
myzkp/src/modules/algebra/mpolynomials.rs:103
↓ 9 callersMethodeval_with_powers
Evaluates the polynomial using precomputed powers.
myzkp/src/modules/algebra/polynomial.rs:147
↓ 9 callersMethodget_num_vars
(&self)
myzkp/src/modules/algebra/mpolynomials.rs:31
↓ 9 callersMethodinverse
(&self)
myzkp/src/modules/algebra/curve/curve.rs:48
↓ 9 callersFunctionsetup_rs1d
(codeword_len: usize, message_len: usize)
myzkp/src/modules/algebra/reedsolomon.rs:396
↓ 9 callersFunctionsetup_rs2d
( col_codeword_len: usize, row_codeword_len: usize, message_len: usize, )
myzkp/src/modules/algebra/reedsolomon.rs:405
↓ 9 callersFunctiont
(e,t)
docs/mark.min.js:7
↓ 8 callersMethodadd_ref
(&self, other: &'b Polynomial<F>)
myzkp/src/modules/algebra/polynomial.rs:214
↓ 8 callersMethoddiv_ref
(&self, other: &Self)
myzkp/src/modules/algebra/field.rs:239
↓ 8 callersMethodmul_ref
(&self, other: &Self)
myzkp/src/modules/algebra/efield.rs:351
↓ 7 callersFunctionget_nth_root_of_m128
(n: &BigInt)
myzkp/src/modules/zkstark/fri.rs:423
↓ 7 callersFunctionn
()
docs/clipboard.min.js:7
↓ 7 callersFunctionntt
(primitive_root: &F, values: &Vec<F>)
myzkp/src/modules/algebra/ntt.rs:7
↓ 7 callersFunctiono
(t,e)
docs/clipboard.min.js:7
↓ 7 callersMethodreduce
Reduces the polynomial by trimming trailing zeros.
myzkp/src/modules/algebra/polynomial.rs:94
↓ 7 callersFunctionsetup
Generates the proving and verification keys for the Pinocchio zk-SNARK scheme. # Parameters: - `g1`: A reference to a G1 curve point. - `g2`: A refer
myzkp/src/modules/zksnark/pinocchio.rs:65
↓ 7 callersFunctiontensor_product
(a: &Vec<F>, b: &Vec<F>)
myzkp/src/modules/algebra/gemini.rs:39
↓ 6 callersMethodaddText
(e)
docs/highlight.js:6
↓ 6 callersFunctioncommit_kzg
(f: &Polynomial<FqOrder>, pk: &PublicKeyKZG)
myzkp/src/modules/algebra/kzg.rs:57
↓ 6 callersFunctiond
(e)
docs/highlight.js:6
↓ 6 callersFunctiondecode_rs1d
(code: &[u8], rs: &ReedSolomon<GF2to8>)
myzkp/src/modules/algebra/reedsolomon.rs:430
↓ 6 callersMethoddegree
Returns the degree of the polynomial.
myzkp/src/modules/algebra/polynomial.rs:101
↓ 6 callersFunctionencode_rs1d
(message: &[u8], rs: &ReedSolomon<GF2to8>)
myzkp/src/modules/algebra/reedsolomon.rs:418
↓ 6 callersMethodeval_domain
(&self)
myzkp/src/modules/zkstark/fri.rs:99
↓ 6 callersFunctiongenerate_s_powers
Computes powers of a field element `s` and scales the given elliptic curve point accordingly. # Arguments `point` - Reference to the base elliptic cu
myzkp/src/modules/zksnark/utils.rs:61
↓ 6 callersFunctionget_FR_MOD_ptr
myzkp/src/modules/algebra/cuda/kernels/field.hpp:55
↓ 6 callersFunctioni
(e,n)
docs/highlight.js:6
↓ 6 callersMethodis_zero
(&self)
myzkp/src/modules/algebra/polynomial.rs:451
↓ 6 callersFunctionm
(e,n,t={})
docs/highlight.js:6
↓ 6 callersMethodscale
(&self, factor: &F)
myzkp/src/modules/algebra/polynomial.rs:167
↓ 6 callersFunctionshowSearch
(yes)
docs/searcher.js:367
↓ 5 callersFunctionT
(e)
docs/highlight.js:6
↓ 5 callersMethodboundary_constraints
( &self, output_element: &FiniteFieldElement<M128>, )
myzkp/src/modules/zkstark/rescueprime.rs:521
↓ 5 callersFunctiondecode_rs2d
(code: &[Vec<u8>], rs: &ReedSolomon2D<GF2to8>)
myzkp/src/modules/algebra/reedsolomon.rs:447
↓ 5 callersFunctione
(e,t)
docs/mark.min.js:7
↓ 5 callersFunctionencode_rs2d
(message: &[u8], rs: &ReedSolomon2D<GF2to8>)
myzkp/src/modules/algebra/reedsolomon.rs:435
↓ 5 callersFunctionfast_zerofier
(domain: &Vec<F>, primitive_root: &F, root_order: usize)
myzkp/src/modules/algebra/ntt.rs:118
↓ 5 callersMethodfinalize
()
docs/highlight.js:6
↓ 5 callersFunctionget_h
Computes the quotient polynomial `h` for a Quadratic Arithmetic Program (QAP). The quotient `h` is calculated as: \[ h(x) = \frac{\ell(x) \cdot r(x)
myzkp/src/modules/zksnark/utils.rs:127
↓ 5 callersFunctionhasFocus
()
docs/searcher.js:57
↓ 5 callersMethodline_slope
(&self, other: &Self)
myzkp/src/modules/algebra/curve/curve.rs:56
↓ 5 callersMethodmax_degree
(&self, transition_constraints: &Vec<MPolynomial<F>>)
myzkp/src/modules/zkstark/stark.rs:76
↓ 5 callersMethodmax_degree
(&self, transition_constraints: &Vec<MPolynomial<F>>)
myzkp/src/modules/zkstark/fast_stark.rs:107
↓ 5 callersMethodnum_rounds
(&self)
myzkp/src/modules/zkstark/fri.rs:87
↓ 5 callersFunctionweil_pairing
( p: &EllipticCurvePoint<F, E>, q: &EllipticCurvePoint<F, E>, m: &BigInt, s: Option<&EllipticC
myzkp/src/modules/algebra/curve/curve.rs:341
↓ 4 callersFunctionS
(e,n)
docs/highlight.js:6
↓ 4 callersMethoddiv_rem_ref
(&self, other: &'b Polynomial<F>)
myzkp/src/modules/algebra/polynomial.rs:371
↓ 4 callersMethodevaluate_symbolic
(&self, point: &[Polynomial<F>])
myzkp/src/modules/algebra/mpolynomials.rs:125
↓ 4 callersMethodevaluation_points
Compute evaluation points: [g^0, g^1, ..., g^{el - 1}]
myzkp/src/modules/algebra/reedsolomon.rs:40
↓ 4 callersFunctionfast_coset_evaluate
( polynomial: &Polynomial<F>, offset: &F, generator: &F, order: usize, )
myzkp/src/modules/algebra/ntt.rs:254
↓ 4 callersFunctionget_lambda
( p: &EllipticCurvePoint<F, E>, q: &EllipticCurvePoint<F, E>, r: &EllipticCurvePoint<F, E>, )
myzkp/src/modules/algebra/curve/curve.rs:285
↓ 4 callersFunctionget_theme
()
docs/book.js:317
↓ 4 callersFunctionhideSidebar
()
docs/book.js:473
↓ 4 callersFunctionhideThemes
()
docs/book.js:311
↓ 4 callersFunctionmul_512
* @brief Multiplies two 256-bit numbers to produce a 512-bit result. * @param res The 512-bit result (a * b). * @param a The first 256-bit operand.
myzkp/src/modules/algebra/cuda/kernels/field.hpp:214
↓ 4 callersMethodmul_ref
(&self, other: &Self)
myzkp/src/modules/algebra/field.rs:167
↓ 4 callersMethodopenNode
(e)
docs/highlight.js:6
↓ 4 callersMethodpow
Implementation of the Python __xor__ method (exponentiation)
myzkp/src/modules/algebra/mpolynomials.rs:76
↓ 4 callersMethodprove
(&self, initial_codeword: &Codeword<F>)
myzkp/src/modules/zkstark/fri.rs:105
↓ 4 callersMethodpull
(&mut self)
myzkp/src/modules/algebra/fiat_shamir.rs:28
↓ 4 callersFunctionr
(t)
docs/clipboard.min.js:7
↓ 4 callersFunctions
(...n)
docs/highlight.js:19
↓ 4 callersFunctionsetup_kzg_with_full_g2
(g1: &G1Point, g2: &G2Point, max_d: usize)
myzkp/src/modules/algebra/kzg.rs:42
↓ 4 callersFunctionshowSidebar
()
docs/book.js:451
↓ 4 callersMethodto_u8
(&self)
myzkp/src/modules/algebra/reedsolomon.rs:382
↓ 4 callersMethodtrace
( &self, input_element: &FiniteFieldElement<M128>, )
myzkp/src/modules/zkstark/rescueprime.rs:531
↓ 4 callersMethodtranspose_matrix
(&self, matrix: &[Vec<F>])
myzkp/src/modules/algebra/reedsolomon.rs:339
↓ 4 callersMethodverify
(&self, proof: &FriProof<F>, polynomial_values: &mut Vec<(usize, F)>)
myzkp/src/modules/zkstark/fri.rs:258
↓ 3 callersMethodaddRule
(e,n)
docs/highlight.js:6
↓ 3 callersMethodadd_assign_ref
(&mut self, other: &'b Polynomial<F>)
myzkp/src/modules/algebra/polynomial.rs:230
↓ 3 callersMethodadd_ref
(&self, other: &Self)
myzkp/src/modules/algebra/efield.rs:342
next →1–100 of 594, ranked by callers