MCPcopy Create free account

hub / github.com/Koukyosyumei/MyZKP / functions

Functions594 in github.com/Koukyosyumei/MyZKP

⨍ Functions 594◇ Types & classes 103
Methodinterpolate
Performs Lagrange interpolation to compute polynomials passing through given points.
myzkp/src/modules/algebra/polynomial.rs:177
Methodis_order
Checks if the element has the given order in the field. # Arguments `n` - The order to check. # Returns `true` if the element has order `n`, `fals
myzkp/src/modules/algebra/field.rs:121
Methodis_satisfied
(&self, a: &Vec<F>)
myzkp/src/modules/arithmetization/r1cs.rs:33
Methodis_zero
(&self)
myzkp/src/modules/algebra/field.rs:140
Methodlift
(polynomial: &Polynomial<F>, variable_index: usize)
myzkp/src/modules/algebra/mpolynomials.rs:143
Functionmain
()
myzkp/src/main.rs:1
Functionmain
()
myzkp/examples/da.rs:10
Functionmain
()
myzkp/examples/sumcheck/src/main.rs:18
Methodmetrics
()
myzkp/src/modules/das/eigenda.rs:191
Methodmetrics
()
myzkp/src/modules/das/avail.rs:166
Methodmetrics
()
myzkp/src/modules/das/celestia.rs:187
Methodmodulus
()
myzkp/src/modules/algebra/curve/bn128.rs:44
Methodmul
(self, other: &MPolynomial<F>)
myzkp/src/modules/algebra/mpolynomials.rs:257
Methodmul
(self, other: Self)
myzkp/src/modules/algebra/field.rs:346
Methodmul
(self, other: Self)
myzkp/src/modules/algebra/efield.rs:293
Methodmul
(self, scalar_val: V)
myzkp/src/modules/algebra/curve/curve.rs:237
Methodmul_assign
(&mut self, other: Self)
myzkp/src/modules/algebra/field.rs:352
Methodmul_assign
(&mut self, other: Polynomial<F>)
myzkp/src/modules/algebra/polynomial.rs:534
Methodmul_assign
(&mut self, other: Self)
myzkp/src/modules/algebra/efield.rs:301
Methodmul_m1_ref
(&self, _other: &Self)
myzkp/src/modules/algebra/efield.rs:161
Methodneg
(self)
myzkp/src/modules/algebra/mpolynomials.rs:316
Methodneg
(self)
myzkp/src/modules/algebra/field.rs:376
Methodneg
(self)
myzkp/src/modules/algebra/polynomial.rs:468
Methodneg
(self)
myzkp/src/modules/algebra/efield.rs:334
Methodnew
(p: Polynomial<F>, t: Polynomial<F>)
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_4.rs:20
Methodnew
(p: Polynomial<F>, t: Polynomial<F>)
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_5.rs:20
Methodnew
(p: Polynomial<F>, t: Polynomial<F>)
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_1.rs:18
Methodnew
(p: Polynomial<F>, t: Polynomial<F>)
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_3.rs:19
Methodnew
(p: Polynomial<F>, t: Polynomial<F>)
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_2.rs:15
Methodnew
(left: Vec<Vec<F>>, right: Vec<Vec<F>>, out: Vec<Vec<F>>)
myzkp/src/modules/arithmetization/r1cs.rs:21
Methodnew
(length: usize, current: usize)
myzkp/src/modules/algebra/sumcheck.rs:22
Methodnew
(dictionary: HashMap<Vec<usize>, F>)
myzkp/src/modules/algebra/mpolynomials.rs:19
Methodnew
(n: usize, k: usize, g: F)
myzkp/src/modules/algebra/reedsolomon.rs:28
Methodnew
()
myzkp/src/modules/algebra/fiat_shamir.rs:17
Methodnew
Creates a new `FiniteFieldElement` with the given value. The value is automatically reduced modulo the field's modulus.
myzkp/src/modules/algebra/field.rs:102
Methodnew
(poly: Polynomial<FiniteFieldElement<M>>)
myzkp/src/modules/algebra/efield.rs:103
Methodnew
(x: F, y: F)
myzkp/src/modules/algebra/curve/curve.rs:25
Methodnew
()
myzkp/src/modules/zkstark/rescueprime.rs:30
Methodnew
(length: usize)
myzkp/examples/sumcheck/src/utils.rs:16
Methodnew
(device_id: usize)
myzkp/examples/sumcheck/src/prover.rs:28
Methodnext
(&mut self)
myzkp/examples/sumcheck/src/utils.rs:31
Methodnth_coefficient
Returns the nth coefficient.
myzkp/src/modules/algebra/polynomial.rs:111
Methodone
()
myzkp/src/modules/algebra/field.rs:146
Methodone
()
myzkp/src/modules/algebra/polynomial.rs:457
Methodone
()
myzkp/src/modules/algebra/efield.rs:227
Methodopen
Computes the authentication path of an indicated leaf in the Merkle tree.
myzkp/src/modules/algebra/merkle.rs:28
MethodopenNode
(e)
docs/highlight.js:6
Methodorder
()
myzkp/src/modules/algebra/curve/bn128.rs:207
Methodpoint_at_infinity
()
myzkp/src/modules/algebra/curve/curve.rs:36
Methodpolynomial_derivative
Compute the formal derivative of a polynomial.
myzkp/src/modules/algebra/reedsolomon.rs:156
Methodpow
(&self, n: V)
myzkp/src/modules/algebra/efield.rs:369
Methodpow_m1
(&self, _n: V)
myzkp/src/modules/algebra/efield.rs:169
Methodrandom_element
Random element excluding a set of elements.
myzkp/src/modules/algebra/field.rs:198
Methodrandom_element
(_exclude_elements: &[Self])
myzkp/src/modules/algebra/efield.rs:395
Methodreconstruct
(encoded: &Self::EncodedData, params: &Self::PublicParams)
myzkp/src/modules/das/eigenda.rs:174
Methodreconstruct
(encoded: &Self::EncodedData, params: &Self::PublicParams)
myzkp/src/modules/das/avail.rs:150
Methodreconstruct
(encoded: &Self::EncodedData, params: &Self::PublicParams)
myzkp/src/modules/das/celestia.rs:171
Methodrem
(self, other: Polynomial<F>)
myzkp/src/modules/algebra/polynomial.rs:602
Functionrepl
(c)
docs/searcher.js:122
Functionresize
(e)
docs/book.js:511
Methodroot
()
docs/highlight.js:6
Methodsample
(byte_array: &[u8])
myzkp/src/modules/algebra/field.rs:272
Methodsample
(byte_array: &[u8])
myzkp/src/modules/algebra/efield.rs:180
Methodsanitize
(&self)
myzkp/src/modules/algebra/efield.rs:173
Methodsetup
(chunk_size: usize, expansion_factor: f64, _data_size: usize)
myzkp/src/modules/das/eigenda.rs:40
Methodsetup
(chunk_size: usize, expansion_factor: f64, data_size: usize)
myzkp/src/modules/das/avail.rs:35
Methodsetup
(chunk_size: usize, expansion_factor: f64, _data_size: usize)
myzkp/src/modules/das/celestia.rs:34
FunctionstopResize
(e)
docs/book.js:524
Methodsub
(self, other: &MPolynomial<F>)
myzkp/src/modules/algebra/mpolynomials.rs:339
Methodsub
(self, other: Self)
myzkp/src/modules/algebra/field.rs:324
Methodsub
(self, other: Self)
myzkp/src/modules/algebra/polynomial.rs:506
Methodsub
(self, other: Self)
myzkp/src/modules/algebra/efield.rs:265
Methodsub
(self, other: Self)
myzkp/src/modules/algebra/curve/curve.rs:229
Methodsub_assign
(&mut self, other: Self)
myzkp/src/modules/algebra/field.rs:330
Methodsub_assign
(&mut self, other: &'b Polynomial<F>)
myzkp/src/modules/algebra/polynomial.rs:512
Methodsub_assign
(&mut self, other: Self)
myzkp/src/modules/algebra/efield.rs:273
Methodsub_m1_ref
(&self, other: &Self)
myzkp/src/modules/algebra/field.rs:251
Methodsub_m1_ref
(&self, _other: &Self)
myzkp/src/modules/algebra/efield.rs:165
Functiontest_addition
()
myzkp/src/modules/algebra/field.rs:468
Functiontest_avail_no_error
()
myzkp/src/modules/das/avail.rs:176
Functiontest_batch_kzg
()
myzkp/src/modules/algebra/kzg.rs:178
Functiontest_bitcombinations
()
myzkp/src/modules/algebra/sumcheck.rs:251
Functiontest_celestia
()
myzkp/src/modules/das/celestia.rs:197
Functiontest_debug_verifier
()
myzkp/src/modules/algebra/gemini.rs:331
Functiontest_degree_bound
()
myzkp/src/modules/algebra/kzg.rs:208
Functiontest_division
()
myzkp/src/modules/algebra/field.rs:507
Functiontest_dl_protocol
()
myzkp/src/modules/zksnark/tutorial_single_polynomial/protocol_3.rs:111
Functiontest_eigenda_flow
()
myzkp/src/modules/das/eigenda.rs:201
Functiontest_eq
()
myzkp/src/modules/algebra/field.rs:545
Functiontest_evaluate_symbolic
()
myzkp/src/modules/algebra/mpolynomials.rs:614
Functiontest_evaluate_symbolic_constant
()
myzkp/src/modules/algebra/mpolynomials.rs:657
Functiontest_evaluate_with_higher_degrees
()
myzkp/src/modules/algebra/mpolynomials.rs:594
Functiontest_exponentiation
()
myzkp/src/modules/algebra/field.rs:518
Functiontest_extended_field_operations_mod2
()
myzkp/src/modules/algebra/efield.rs:465
Functiontest_extended_field_operations_mod7
()
myzkp/src/modules/algebra/efield.rs:515
Functiontest_fast_stark
()
myzkp/src/modules/zkstark/fast_stark.rs:634
Functiontest_first_round
()
myzkp/src/modules/algebra/sumcheck.rs:262
Functiontest_fmt
()
myzkp/src/modules/algebra/mpolynomials.rs:721
Functiontest_fq
()
myzkp/src/modules/algebra/curve/bn128.rs:241
Functiontest_fq2
()
myzkp/src/modules/algebra/curve/bn128.rs:254
← previousnext →401–500 of 594, ranked by callers