Functions — github.com/Koukyosyumei/MyZKP

CodeHub MCPcopy Create free account

hub / github.com/Koukyosyumei/MyZKP / functions

Functions594 in github.com/Koukyosyumei/MyZKP

⨍ Functions 594◇ Types & classes 103

↓ 1 callersMethodpreprocess

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

↓ 1 callersFunctionprove

(p: &Polynomial<FqOrder>, t: &Polynomial<FqOrder>, proof_key: &ProofKey)

myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_6.rs:52

↓ 1 callersFunctionprove_sumcheck

(g: &MPolynomial<FqOrder>, h: &FqOrder, pk: &PublicKeyKZG)

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

↓ 1 callersMethodreveal

( &self, cur_codeword: &Codeword<F>, next_codeword: &Codeword<F>, c_indices: &

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

↓ 1 callersFunctions

docs/mark.min.js:7

↓ 1 callersFunctionsample_index

(byte_array: &[u8], size: usize)

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

↓ 1 callersFunctionschwartz_zippel_protocol

(prover: &Prover2<F>, verifier: &Verifier2<F>)

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

↓ 1 callersFunctionsearchIconClickHandler

docs/searcher.js:390

↓ 1 callersFunctionsetup

(g1: &G1Point, g2: &G2Point, qap: &QAP<FqOrder>)

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

↓ 1 callersFunctionsetup

(g1: &G1Point, g2: &G2Point, qap: &QAP<FqOrder>)

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

↓ 1 callersFunctionsetup

(g1: &G1Point, g2: &G2Point, qap: &QAP<FqOrder>)

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

↓ 1 callersFunctionsetup

(g1: &G1Point, g2: &G2Point, qap: &QAP<FqOrder>)

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

↓ 1 callersFunctionsetup

(g1: &G1Point, g2: &G2Point, qap: &QAP<FqOrder>)

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

↓ 1 callersFunctionsetup

( g1: &G1Point, g2: &G2Point, t: &Polynomial<FqOrder>, n: usize, )

myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_6.rs:24

↓ 1 callersFunctionshowThemes

docs/book.js:298

↓ 1 callersMethodspan

docs/highlight.js:6

↓ 1 callersFunctionsub_256

* @brief Subtracts one 256-bit number from another. res = a - b. * Assumes a >= b. */

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

↓ 1 callersMethodsub_assign_ref

(&mut self, other: &Self)

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

↓ 1 callersMethodsub_assign_ref

(&mut self, other: &Self)

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

↓ 1 callersMethodtoHTML

docs/highlight.js:6

↓ 1 callersMethodtransition_degree_bounds

( &self, transition_constraints: &TransitionConstraints<F>, )

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

↓ 1 callersMethodtransition_degree_bounds

( &self, transition_constraints: &TransitionConstraints<F>, )

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

↓ 1 callersMethodtransition_zerofier

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

↓ 1 callersFunctionupdateBorder

docs/book.js:687

↓ 1 callersFunctionupdateThemeSelected

docs/book.js:304

↓ 1 callersMethodvalue

docs/highlight.js:6

↓ 1 callersMethodverifier_fiat_shamir

(&self, num_bytes: usize)

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

↓ 1 callersMethodverify

(&self, u: &F, v: &F, w: &F)

myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_4.rs:56

↓ 1 callersMethodverify

(&self, u_prime: &F, v_prime: &F, w_prime: &F)

myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_5.rs:63

↓ 1 callersMethodverify

(&self, h_values: &HashMap<F, F>, p_values: &HashMap<F, F>)

myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_1.rs:43

↓ 1 callersFunctionverify_degree_bound

( c: &CommitmentKZG, proof: &ProofDegreeBound, pk: &PublicKeyKZG, d: usize, )

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

↓ 1 callersFunctionw

docs/highlight.js:6

↓ 1 callersMethodwalk

docs/highlight.js:6

↓ 1 callersFunctionzk_protocol

(prover: &Prover5<F>, verifier: &Verifier5<F>)

myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_5.rs:77

docs/highlight.js:6

docs/highlight.js:6

docs/highlight.js:6

Method_collapse

docs/highlight.js:6

(self, other: &MPolynomial<F>)

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

(self, other: Self)

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

(self, other: Self)

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

(self, other: Self)

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

(self, other: Self)

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

Methodadd_assign

(&mut self, other: Self)

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

Methodadd_assign

(&mut self, other: Self)

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

Methodadd_assign

(&mut self, other: Self)

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

Methodadd_assign

(&mut self, other: Self)

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

Methodadd_m1_ref

(&self, _other: &Self)

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

Computes the Merkle root of a given array.

myzkp/src/modules/algebra/merkle.rs:15

(encoded: &Self::EncodedData, params: &Self::PublicParams)

myzkp/src/modules/das/eigenda.rs:82

(encoded: &Self::EncodedData, params: &Self::PublicParams)

myzkp/src/modules/das/avail.rs:83

(encoded: &Self::EncodedData, _params: &Self::PublicParams)

myzkp/src/modules/das/celestia.rs:73

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

Methodconstructor

docs/highlight.js:6

Methodconstructor

docs/highlight.js:6

Methodconstructor

docs/highlight.js:6

Methodconstructor

docs/highlight.js:6

Methodconstructor

docs/highlight.js:6

Functiondebug_verify

(rhos: &Vec<F>, mu: &F, polys: &Vec<Polynomial<F>>, beta: &F)

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

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

Methoddeserialize

(bb: &SerializedObj)

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

(self, other: Self)

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

(self, other: Self)

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

(data: &[u8], params: &Self::PublicParams)

myzkp/src/modules/das/eigenda.rs:54

(data: &[u8], params: &Self::PublicParams)

myzkp/src/modules/das/avail.rs:51

(data: &[u8], params: &Self::PublicParams)

myzkp/src/modules/das/celestia.rs:43

(&self, other: &Self)

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

(&self, other: &Self)

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

Functionevaluate_mpolynomial

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

docs/highlight.js:6

(a: &mut [F], omega: F)

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

Methodfft_multiply

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

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

(&self, f: &mut fmt::Formatter<'_>)

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

(&self, f: &mut fmt::Formatter<'_>)

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

(&self, f: &mut fmt::Formatter<'_>)

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

(&self, f: &mut fmt::Formatter<'_>)

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

(&self, f: &mut fmt::Formatter<'_>)

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

(&self, f: &mut fmt::Formatter<'_>)

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

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

Functionfr_minus_one

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

Functionfr_print

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

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

Methodfrom_base_field

(value: FiniteFieldElement<M>)

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

Methodfrom_monomials

Helper to create polynomial from a single monomial.

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

Methodfrom_r1cs

(r1cs: &R1CS<F>)

myzkp/src/modules/arithmetization/qap.rs:15

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

Methodfrom_value

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

Methodfrom_value

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

Methodgenerator_g1

myzkp/src/modules/algebra/curve/bn128.rs:186

Methodgenerator_g2

myzkp/src/modules/algebra/curve/bn128.rs:190

myzkp/src/modules/algebra/curve/bn128.rs:214

myzkp/src/modules/algebra/curve/bn128.rs:226

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

Methodget_value

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

(&self, state: &mut H)

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

myzkp/src/modules/algebra/merkle.rs:8

(&self, state: &mut H)

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

docs/searcher.js:305

FunctioninitResize

docs/book.js:506

Functioninterchange_attack

(proof: &Proof1)

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

← previous next →301–400 of 594, ranked by callers