Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/NethermindEth/latticefold
/ functions
Functions
495 in github.com/NethermindEth/latticefold
⨍
Functions
495
◇
Types & classes
152
Method
recompose_commitment
Computes the linear combination `coeffs[0] * y_s[0] + coeffs[1] * y_s[1] + ... + coeffs[y_s.len() - 1] * y_s[y_s.len() - 1]`.
crates/latticefold/src/nifs/decomposition.rs:277
Function
recompose_from_k_vec_to_big_vec
( k_vecs: &[Vec<NTT>], )
crates/latticefold/src/nifs/decomposition/utils.rs:122
Function
rot_sum
An implementation of the $\mathrm{RotSum}$ operation from lemma 2.1 of the Latticefold paper. The formula is $$ \mathrm{RotSum}(a\in \mathcal{R}\_p,
crates/cyclotomic-rings/src/rotation.rs:45
Method
run_prover
((A, f, dparams): Self::Input)
crates/latticefold-plus/benches/double_commitment.rs:118
Method
run_prover
((linb, A, M, params): Self::Input)
crates/latticefold-plus/benches/lin.rs:151
Method
run_prover
((mut prover, instances): Self::Input)
crates/latticefold-plus/benches/e2e.rs:185
Method
run_prover
((com, witness_size): Self::Input)
crates/latticefold-plus/benches/split.rs:91
Method
run_prover
(input: Self::Input)
crates/latticefold-plus/benches/setchk.rs:114
Method
run_prover
(input: Self::Input)
crates/latticefold-plus/benches/rgchk.rs:116
Method
run_prover
((mlin, A, M): Self::Input)
crates/latticefold-plus/benches/mlin.rs:164
Method
run_prover
((input, M): Self::Input)
crates/latticefold-plus/benches/cm.rs:131
Method
run_prover
((decomp, A, B): Self::Input)
crates/latticefold-plus/benches/decomp.rs:169
Method
run_verifier
(_input: &Self::Input, proof: &Self::Proof)
crates/latticefold-plus/benches/lin.rs:185
Method
run_verifier
(verifier: &Self::Input, proof: &Self::Proof)
crates/latticefold-plus/benches/e2e.rs:218
Method
run_verifier
(_input: &Self::Input, proof: &Self::Proof)
crates/latticefold-plus/benches/setchk.rs:147
Method
run_verifier
(_input: &Self::Input, proof: &Self::Proof)
crates/latticefold-plus/benches/rgchk.rs:149
Method
run_verifier
(_input: &Self::Input, proof: &Self::Proof)
crates/latticefold-plus/benches/mlin.rs:198
Method
run_verifier
(_input: &Self::Input, proof: &Self::Proof)
crates/latticefold-plus/benches/cm.rs:165
Method
run_verifier
((cm_f, v, B): &Self::Input, proof: &Self::Proof)
crates/latticefold-plus/benches/decomp.rs:203
Method
sample_round
(transcript: &mut T)
crates/latticefold/src/utils/sumcheck/verifier.rs:128
Function
sanity_check
( ccs: &CCS<NTT>, )
crates/latticefold/src/nifs.rs:165
Function
sanity_check
( ccs: &CCS<NTT>, )
crates/latticefold/src/nifs/decomposition.rs:295
Function
sanity_check
( ccs: &CCS<NTT>, )
crates/latticefold/src/nifs/folding.rs:372
Method
set_one
(&mut self, index: usize)
crates/latticefold/src/arith/r1cs.rs:586
Method
sets
Construct monomial sets from `M_f` and `m_tau`
crates/latticefold-plus/src/rgchk.rs:246
Function
setup_example_environment
()
crates/latticefold/examples/e2e.rs:62
Method
setup_f_hat_mles
(w_s: &mut [Witness<NTT>])
crates/latticefold/src/nifs/folding.rs:198
Method
setup_input
((n, L, k, kappa): Self::Params)
crates/latticefold-plus/benches/double_commitment.rs:106
Method
setup_input
((n, k, kappa, B): Self::Params)
crates/latticefold-plus/benches/lin.rs:129
Method
setup_input
((n, L, k, kappa): Self::Params)
crates/latticefold-plus/benches/e2e.rs:173
Method
setup_input
((witness_size, k_first, kappa): Self::Params)
crates/latticefold-plus/benches/split.rs:79
Method
setup_input
((set_size, num_batches): Self::Params)
crates/latticefold-plus/benches/setchk.rs:102
Method
setup_input
((witness_size, k, kappa): Self::Params)
crates/latticefold-plus/benches/rgchk.rs:104
Method
setup_input
((L, n, k, kappa, B): Self::Params)
crates/latticefold-plus/benches/mlin.rs:148
Method
setup_input
((L, witness_size, k, kappa): Self::Params)
crates/latticefold-plus/benches/cm.rs:117
Method
setup_input
((n, k, kappa, B): Self::Params)
crates/latticefold-plus/benches/decomp.rs:154
Method
setup_proof
((n, k, kappa, B): Self::Params)
crates/latticefold-plus/benches/lin.rs:173
Method
setup_proof
((n, L, k, kappa): Self::Params)
crates/latticefold-plus/benches/e2e.rs:206
Method
setup_proof
((set_size, num_batches): Self::Params)
crates/latticefold-plus/benches/setchk.rs:135
Method
setup_proof
((witness_size, k, kappa): Self::Params)
crates/latticefold-plus/benches/rgchk.rs:137
Method
setup_proof
((L, n, k, kappa, B): Self::Params)
crates/latticefold-plus/benches/mlin.rs:186
Method
setup_proof
((L, witness_size, k, kappa): Self::Params)
crates/latticefold-plus/benches/cm.rs:153
Method
setup_proof
((n, k, kappa, B): Self::Params)
crates/latticefold-plus/benches/decomp.rs:190
Method
setup_r1cs
( x_len: usize, n: usize, wit_len: usize, kappa: usize, t: R1CS, )
crates/latticefold/benches/utils.rs:185
Function
setup_test_environment
( kappa: usize, n: usize, wit_len: usize, )
crates/latticefold/src/nifs/tests.rs:16
Function
setup_test_environment
( n: usize, generate_proof: bool, )
crates/latticefold/src/nifs/folding/tests/mod.rs:61
Function
setup_test_environment
( input: Option<usize>, n: usize, )
crates/latticefold/src/nifs/linearization/tests/mod.rs:28
Method
short_challenge_from_random_bytes
( bs: &[u8], )
crates/cyclotomic-rings/src/rings/frog.rs:37
Method
short_challenge_from_random_bytes
( bs: &[u8], )
crates/cyclotomic-rings/src/rings/stark.rs:37
Method
short_challenge_from_random_bytes
( bs: &[u8], )
crates/cyclotomic-rings/src/rings/babybear.rs:41
Method
short_challenge_from_random_bytes
( bs: &[u8], )
crates/cyclotomic-rings/src/rings/goldilocks.rs:41
Method
single_term
Initializes a new linear combination with a single term
crates/latticefold/src/arith/r1cs.rs:329
Method
squeeze_alpha_beta_zeta_mu
( &mut self, log_m: usize, )
crates/latticefold/src/nifs/folding/utils.rs:52
Function
squeeze_rchallenges
( transcript: &mut impl Transcript<R>, name: &str, n: usize, )
crates/latticefold-plus/src/transcript.rs:69
Function
string_to_u128
(deserializer: D)
crates/latticefold/build.rs:158
Method
sub_assign
(&mut self, rhs: &'a Commitment<R>)
crates/latticefold/src/commitment/homomorphic_commitment.rs:64
Function
sumcheck_polynomial_comb_fn
(vals: &[NTT], ccs: &CCS<NTT>)
crates/latticefold/src/nifs/linearization/utils.rs:90
Method
swap_AB_if_beneficial
Swap A and B matrices if it would be beneficial for performance
crates/latticefold/src/arith/r1cs.rs:484
Function
test_bench_rng_deterministic
()
crates/latticefold-plus/benches/utils/helpers.rs:474
Function
test_calculate_claims
()
crates/latticefold/src/nifs/folding/tests/mod.rs:728
Function
test_ccs_relation
()
crates/latticefold/src/arith.rs:448
Function
test_com
()
crates/latticefold-plus/src/cm.rs:623
Function
test_commit_ntt
()
crates/latticefold/src/commitment/commitment_scheme.rs:142
Function
test_commit_witnesses
()
crates/latticefold/src/nifs/decomposition/tests/mod.rs:204
Function
test_compute_f_0
()
crates/latticefold/src/nifs/folding/tests/mod.rs:555
Function
test_compute_u
()
crates/latticefold/src/nifs/linearization/tests/mod.rs:192
Function
test_compute_u_s
()
crates/latticefold/src/nifs/decomposition/tests/mod.rs:269
Function
test_compute_v
()
crates/latticefold/src/nifs/linearization/tests/mod.rs:161
Function
test_compute_v_s
()
crates/latticefold/src/nifs/decomposition/tests/mod.rs:239
Function
test_compute_x_s
()
crates/latticefold/src/nifs/decomposition/tests/mod.rs:171
Function
test_compute_z_ccs
()
crates/latticefold/src/nifs/linearization/tests/mod.rs:52
Function
test_construct_polynomial
()
crates/latticefold/src/nifs/linearization/tests/mod.rs:69
Function
test_create_ajtai_matrix
()
crates/latticefold-plus/benches/utils/helpers.rs:513
Function
test_create_test_m_matrix
()
crates/latticefold-plus/benches/utils/helpers.rs:500
Function
test_create_transcript
()
crates/latticefold-plus/benches/utils/helpers.rs:525
Function
test_decomp_g
()
crates/latticefold-plus/src/decomp.rs:192
Function
test_decomp_params_base_pow2
()
crates/latticefold-plus/benches/utils/helpers.rs:494
Function
test_decomp_params_compute
()
crates/latticefold-plus/benches/utils/helpers.rs:485
Function
test_decomp_r1cs
()
crates/latticefold-plus/src/decomp.rs:157
Function
test_decompose_B_vec_into_k_vec
()
crates/latticefold/src/nifs/decomposition/utils.rs:84
Function
test_decompose_B_vec_into_k_vec_gold
()
crates/latticefold/src/nifs/decomposition/utils.rs:188
Function
test_decompose_big_vec_into_k_vec_and_compose_back
()
crates/latticefold/src/nifs/decomposition/utils.rs:157
Function
test_decompose_big_vec_into_k_vec_and_compose_back_gold
()
crates/latticefold/src/nifs/decomposition/utils.rs:193
Function
test_decompose_witness
()
crates/latticefold/src/nifs/decomposition/tests/mod.rs:135
Function
test_decomposition
(kappa: usize, n: usize, wit_len: usize)
crates/latticefold/src/nifs/decomposition/tests/mod.rs:106
Function
test_degree_three_ccs
()
crates/latticefold/src/arith/ccs.rs:179
Function
test_degree_three_ccs_non_scalar
()
crates/latticefold/src/arith/ccs.rs:187
Function
test_degree_three_dummy_ccs_non_scalar
()
crates/latticefold/src/arith/ccs.rs:193
Function
test_failing_sumcheck
()
crates/latticefold/src/utils/sumcheck.rs:189
Function
test_from_f
()
crates/latticefold/src/arith.rs:529
Function
test_from_f_coeff
()
crates/latticefold/src/arith.rs:540
Function
test_from_w_ccs
()
crates/latticefold/src/arith.rs:517
Function
test_full_prove
()
crates/latticefold/src/nifs/folding/tests/mod.rs:638
Function
test_full_prove
()
crates/latticefold/src/nifs/linearization/tests/mod.rs:226
Function
test_full_verify
()
crates/latticefold/src/nifs/folding/tests/mod.rs:801
Function
test_generate_sumcheck
()
crates/latticefold/src/nifs/linearization/tests/mod.rs:95
Function
test_get_big_challenge
()
crates/latticefold/src/transcript/poseidon.rs:86
Function
test_get_etas
()
crates/latticefold/src/nifs/folding/tests/mod.rs:372
Function
test_get_fhat
()
crates/latticefold/src/arith.rs:456
Function
test_get_rhos
()
crates/latticefold/src/nifs/folding/tests/mod.rs:443
← previous
next →
301–400 of 495, ranked by callers