Functions — github.com/Koukyosyumei/MyZKP

hub / github.com/Koukyosyumei/MyZKP / functions

Functions594 in github.com/Koukyosyumei/MyZKP

⨍ Functions 594◇ Types & classes 103

↓ 3 callersFunctionbatch_verify_kzg

( us: &Vec<FqOrder>, c: &CommitmentKZG, proof: &BatchProofKZG, pk: &PublicKeyKZG, )

myzkp/src/modules/algebra/kzg.rs:104

↓ 3 callersMethodboundary_interpolants

(&self, boundary: &Boundary<F>)

myzkp/src/modules/zkstark/stark.rs:101

↓ 3 callersMethodboundary_interpolants

(&self, boundary: &Boundary<F>)

myzkp/src/modules/zkstark/fast_stark.rs:132

↓ 3 callersMethodboundary_zerofiers

(&self, boundary: &Boundary<F>)

myzkp/src/modules/zkstark/stark.rs:87

↓ 3 callersMethodboundary_zerofiers

(&self, boundary: &Boundary<F>)

myzkp/src/modules/zkstark/fast_stark.rs:118

↓ 3 callersFunctionbuild_gj_from_prefix

(g: &MPolynomial<F>, rs: &Vec<F>)

myzkp/src/modules/algebra/sumcheck.rs:68

↓ 3 callersMethodcloseNode

(e)

docs/highlight.js:6

↓ 3 callersFunctiondot

(a: &Vec<F>, b: &Vec<F>)

myzkp/src/modules/arithmetization/r1cs.rs:3

↓ 3 callersFunctione

(t)

docs/clipboard.min.js:7

↓ 3 callersMethodencode

Encode a message (as a slice of field elements representing polynomial coefficients, from constant term up) into a codeword of length n. The message

myzkp/src/modules/algebra/reedsolomon.rs:54

↓ 3 callersMethodeval_m1

(&self, point: &F)

myzkp/src/modules/algebra/polynomial.rs:138

↓ 3 callersFunctionfield_to_bytes

(x: &F)

myzkp/examples/sumcheck/src/utils.rs:51

↓ 3 callersFunctionfields_from_bytes

(bytes: &[u8])

myzkp/examples/sumcheck/src/utils.rs:61

↓ 3 callersFunctionfr_mul

* @brief Multiplies two standard numbers. Handles all conversions. * @param a The first operand. * @param b The second operand. * @return The resul

myzkp/src/modules/algebra/cuda/kernels/field.hpp:299

docs/clipboard.min.js:7

↓ 3 callersMethodignoreMatch

()

docs/highlight.js:6

↓ 3 callersFunctionintt

(primitive_root: &F, values: &Vec<F>)

myzkp/src/modules/algebra/ntt.rs:50

↓ 3 callersMethodinverse

(&self)

myzkp/src/modules/algebra/efield.rs:126

↓ 3 callersFunctionmont_reduce

* @brief Reduces a 512-bit number T using Montgomery reduction (REDC). * @param t The 512-bit number to reduce. * @return The result (T * R^-1) mod

myzkp/src/modules/algebra/cuda/kernels/field.hpp:238

↓ 3 callersMethodmul_ref_bigint

(&self, scalar: &BigInt)

myzkp/src/modules/algebra/curve/curve.rs:168

↓ 3 callersFunctiono

docs/highlight.js:6

↓ 3 callersFunctionopen_kzg

(f: &Polynomial<FqOrder>, u: &FqOrder, pk: &PublicKeyKZG)

myzkp/src/modules/algebra/kzg.rs:61

↓ 3 callersFunctionp

(e)

docs/highlight.js:6

↓ 3 callersFunctionplayground_text

(playground, hidden = true)

docs/book.js:7

↓ 3 callersMethodpow_m1

(&self, n: V)

myzkp/src/modules/algebra/field.rs:255

↓ 3 callersFunctionreset_metrics

Helper function to reset metrics before benchmarking

myzkp/src/modules/das/utils.rs:62

↓ 3 callersFunctions

(t,e)

docs/clipboard.min.js:7

↓ 3 callersMethodserialize

(&self)

myzkp/src/modules/algebra/fiat_shamir.rs:37

↓ 3 callersFunctionsetup_kzg

(g1: &G1Point, g2: &G2Point, max_d: usize)

myzkp/src/modules/algebra/kzg.rs:27

↓ 3 callersFunctionsplit_and_fold

( coef: &Vec<F>, rhos: &Vec<F>, )

myzkp/src/modules/algebra/gemini.rs:51

↓ 3 callersMethodtoJSON

()

docs/highlight.js:6

↓ 3 callersMethodtransition_constraints

( &self, omicron: &FiniteFieldElement<M128>, )

myzkp/src/modules/zkstark/rescueprime.rs:486

↓ 3 callersMethodtransition_quotient_degree_bounds

( &self, transition_constraints: &Vec<MPolynomial<F>>, )

myzkp/src/modules/zkstark/stark.rs:66

↓ 3 callersMethodtransition_quotient_degree_bounds

( &self, transition_constraints: &Vec<MPolynomial<F>>, )

myzkp/src/modules/zkstark/fast_stark.rs:97

↓ 3 callersFunctionverify_gemini

( rhos: &Vec<FqOrder>, mu: &FqOrder, beta: &FqOrder, commitment: &CommitmentGemini, proof:

myzkp/src/modules/algebra/gemini.rs:146

↓ 3 callersFunctionverify_kzg

(u: &FqOrder, c: &CommitmentKZG, proof: &ProofKZG, pk: &PublicKeyKZG)

myzkp/src/modules/algebra/kzg.rs:90

↓ 3 callersFunctionx

(t,r)

docs/highlight.js:6

↓ 2 callersMethodadd_assign_ref

(&mut self, other: &Self)

myzkp/src/modules/algebra/curve/curve.rs:130

↓ 2 callersMethodadd_ref

(&self, other: &Self)

myzkp/src/modules/algebra/field.rs:158

↓ 2 callersFunctionbatch_open_kzg

( f: &Polynomial<FqOrder>, us: &Vec<FqOrder>, pk: &PublicKeyKZG, )

myzkp/src/modules/algebra/kzg.rs:74

↓ 2 callersMethodboundary_quotient_degree_bounds

( &self, randomized_trace_length: usize, boundary: &Boundary<F>, )

myzkp/src/modules/zkstark/stark.rs:119

↓ 2 callersMethodboundary_quotient_degree_bounds

( &self, randomized_trace_length: usize, boundary: &Boundary<F>, )

myzkp/src/modules/zkstark/fast_stark.rs:150

↓ 2 callersFunctioncommit_gemini

(polys: &[Polynomial<FqOrder>], pk: &PublicKeyKZG)

myzkp/src/modules/algebra/gemini.rs:112

↓ 2 callersFunctioncompute_log_codeword_length

(initial_codeword_length: usize)

myzkp/src/modules/zkstark/fri.rs:475

↓ 2 callersMethodcompute_syndromes

Compute syndromes S₁, S₂, …, S₂ₜ from the received codeword. Here t = (n - k) / 2 and d = n - k.

myzkp/src/modules/algebra/reedsolomon.rs:90

↓ 2 callersMethodconsiderAll

()

docs/highlight.js:6

↓ 2 callersMethoddecode

(&self, received: &[F])

myzkp/src/modules/algebra/reedsolomon.rs:80

↓ 2 callersFunctiondoSearchOrMarkFromUrl

()

docs/searcher.js:285

↓ 2 callersMethoddouble

(&self)

myzkp/src/modules/algebra/curve/curve.rs:72

↓ 2 callersFunctionevals_over_boolean_hypercube

(f: &MPolynomial<F>, result: &mut Vec<F>)

myzkp/examples/sumcheck/src/utils.rs:74

↓ 2 callersFunctionextended_euclidean

Computes the greatest common divisor (GCD) of two numbers `a` and `b` using the Extended Euclidean Algorithm, along with the coefficients `s` and `t`

myzkp/src/modules/algebra/utils.rs:52

↓ 2 callersFunctionfast_evaluate

( polynomial: &Polynomial<F>, domain: &Vec<F>, primitive_root: &F, root_order: usize, )

myzkp/src/modules/algebra/ntt.rs:143

↓ 2 callersFunctionfetch_with_timeout

(url, options, timeout = 6000)

docs/book.js:21

↓ 2 callersFunctionfields_to_bytes

(xs: &Vec<F>)

myzkp/examples/sumcheck/src/utils.rs:57

↓ 2 callersFunctionfold_factors_pointwise_cpu

(evals: &mut [F], domain_size: usize, num_factors: usize)

myzkp/examples/sumcheck/src/utils.rs:83

↓ 2 callersFunctionfr_gte

myzkp/src/modules/algebra/cuda/kernels/field.hpp:117

↓ 2 callersFunctiongeneral_tate_pairing

( p: &EllipticCurvePoint<F, E>, q: &EllipticCurvePoint<F, E>, ell: &BigInt, modulus: &BigInt,

myzkp/src/modules/algebra/curve/curve.rs:360

↓ 2 callersMethodgenerate_challenge

(&self, max_degree: usize)

myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_3.rs:38

↓ 2 callersMethodgenerate_challenge

(&self)

myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_2.rs:32

↓ 2 callersMethodhash

(&self, input_element: &FiniteFieldElement<M128>)

myzkp/src/modules/zkstark/rescueprime.rs:401

↓ 2 callersFunctionhideTooltip

(elem)

docs/book.js:598

↓ 2 callersFunctioninit

(config)

docs/searcher.js:255

↓ 2 callersMethodinverse

(&self)

myzkp/src/modules/algebra/field.rs:210

↓ 2 callersFunctionl

()

docs/highlight.js:6

↓ 2 callersFunctionmod_pow

(x: &F, y: &F, modulus: &F)

myzkp/src/modules/algebra/utils.rs:108

↓ 2 callersMethodmul_assign_ref

(&mut self, other: &'b Polynomial<F>)

myzkp/src/modules/algebra/polynomial.rs:318

↓ 2 callersMethodneg

(self)

myzkp/src/modules/algebra/curve/curve.rs:218

↓ 2 callersFunctionnext

()

docs/book.js:562

↓ 2 callersFunctionopen_gemini

( polys: &[Polynomial<FqOrder>], beta: &FqOrder, pk: &PublicKeyKZG, )

myzkp/src/modules/algebra/gemini.rs:116

↓ 2 callersFunctionparseURL

(url)

docs/searcher.js:68

↓ 2 callersMethodpartial_evaluate

(&self, assignments: &HashMap<usize, F>)

myzkp/src/modules/algebra/mpolynomials.rs:166

↓ 2 callersFunctionprev

()

docs/book.js:568

↓ 2 callersFunctionprove

Generates a zk-SNARK proof using the Pinocchio scheme. # Parameters: - `assignment`: A vector of field elements representing the circuit assignment.

myzkp/src/modules/zksnark/pinocchio.rs:164

↓ 2 callersFunctionprove

(assignment: &Vec<FqOrder>, proof_key: &ProofKey4, qap: &QAP<FqOrder>)

myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs:90

↓ 2 callersFunctionprove

(assignment: &Vec<FqOrder>, proof_key: &ProofKey5, qap: &QAP<FqOrder>)

myzkp/src/modules/zksnark/tutorial_snark/protocol_5.rs:103

↓ 2 callersFunctionprove

(assignment: &Vec<FqOrder>, proof_key: &ProofKey1, qap: &QAP<FqOrder>)

myzkp/src/modules/zksnark/tutorial_snark/protocol_1.rs:61

↓ 2 callersFunctionprove

(assignment: &Vec<FqOrder>, proof_key: &ProofKey3, qap: &QAP<FqOrder>)

myzkp/src/modules/zksnark/tutorial_snark/protocol_3.rs:87

↓ 2 callersFunctionprove

(assignment: &Vec<FqOrder>, proof_key: &ProofKey2, qap: &QAP<FqOrder>)

myzkp/src/modules/zksnark/tutorial_snark/protocol_2.rs:65

↓ 2 callersMethodprove

( &self, trace: &mut Trace<F>, boundary: &Boundary<F>, transition_constraints:

myzkp/src/modules/zkstark/stark.rs:146

↓ 2 callersMethodprove

( &self, trace: &mut Trace<F>, boundary: &Boundary<F>, transition_zerofier: &P

myzkp/src/modules/zkstark/fast_stark.rs:177

↓ 2 callersMethodprove

(&self, max_degree: usize, polynomial_factors: &[MPolynomial<F>])

myzkp/examples/sumcheck/src/prover.rs:98

↓ 2 callersFunctionprove_degree_bound

( f: &Polynomial<FqOrder>, pk: &PublicKeyKZG, d: usize, )

myzkp/src/modules/algebra/kzg.rs:121

↓ 2 callersFunctionremoveChildren

(elem)

docs/searcher.js:61

↓ 2 callersFunctionrenderURL

(urlobject)

docs/searcher.js:94

↓ 2 callersMethodround_constants_polynomials

( &self, omicron: &FiniteFieldElement<M128>, )

myzkp/src/modules/zkstark/rescueprime.rs:454

↓ 2 callersFunctionrun_rust_code

(code_block)

docs/book.js:102

↓ 2 callersFunctionsample_indices

(seed: &[u8], size: usize, reduced_size: usize, number: usize)

myzkp/src/modules/zkstark/fri.rs:27

↓ 2 callersMethodsample_weights

(&self, number: usize, randomness: Vec<u8>)

myzkp/src/modules/zkstark/stark.rs:131

↓ 2 callersMethodsample_weights

(&self, number: usize, randomness: Vec<u8>)

myzkp/src/modules/zkstark/fast_stark.rs:162

↓ 2 callersFunctionsearchbarKeyUpHandler

()

docs/searcher.js:401

↓ 2 callersFunctionsetSearchUrlParameters

(searchterm, action)

docs/searcher.js:422

↓ 2 callersFunctionset_theme

(theme, store = true)

docs/book.js:327

↓ 2 callersFunctionshowResults

(yes)

docs/searcher.js:381

↓ 2 callersFunctionshowTooltip

(elem, msg)

docs/book.js:603

↓ 2 callersMethodsub_ref

(&self, other: &Self)

myzkp/src/modules/algebra/efield.rs:360

↓ 2 callersFunctionsum_cpu

(data: &[F], len: usize)

myzkp/examples/sumcheck/src/utils.rs:150

↓ 2 callersFunctionsum_over_boolean_hypercube

(g: &MPolynomial<F>)

myzkp/src/modules/algebra/sumcheck.rs:57

← previous next →101–200 of 594, ranked by callers