MCPcopy Create free account

hub / github.com/a16z/jolt / functions

Functions2,242 in github.com/a16z/jolt

⨍ Functions 2,242◇ Types & classes 398
Methodsuffix_mle
(b: LookupBits)
jolt-core/src/zkvm/lookup_table/suffixes/right_shift_padding.rs:18
Methodsuffix_mle
(b: LookupBits)
jolt-core/src/zkvm/lookup_table/suffixes/and.rs:9
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/virtual_srl.rs:45
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/range_check.rs:28
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/xor.rs:34
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/valid_unsigned_remainder.rs:38
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/equal.rs:31
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/virtual_sra.rs:54
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/signed_greater_than_equal.rs:32
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/sub.rs:28
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/unsigned_greater_than_equal.rs:33
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/upper_word.rs:28
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/unsigned_less_than_equal.rs:37
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/shift_right_bitmask.rs:41
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/valid_signed_remainder.rs:90
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/virtual_rotr.rs:64
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/halfword_alignment.rs:28
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/unsigned_less_than.rs:38
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/movsign.rs:33
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/pow2.rs:30
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/not_equal.rs:30
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/or.rs:33
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/signed_less_than.rs:43
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/valid_div0.rs:43
Methodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/and.rs:33
Functionsumcheck_K_equals_T
()
jolt-core/src/poly/one_hot_polynomial.rs:605
Functionsumcheck_K_greater_than_T
()
jolt-core/src/poly/one_hot_polynomial.rs:611
Functionsumcheck_K_less_than_T
()
jolt-core/src/poly/one_hot_polynomial.rs:599
Methodsumcheck_evals
(&self, index: usize, degree: usize, order: BindingOrder)
jolt-core/src/poly/multilinear_polynomial.rs:617
Methodsumcheck_evals_array
( &self, index: usize, order: BindingOrder, )
jolt-core/src/poly/multilinear_polynomial.rs:354
Functionsvo_coords_msb_to_k_ternary_idx
Converts MSB-first SVOEvalPoint coordinates to their global ternary index k. k = sum_{i=0}^{N-1} val(coords_msb[i]) * 3^(N-1-i)
jolt-core/src/utils/small_value.rs:625
Functiontest_add
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:994
Functiontest_addi
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:999
Functiontest_advice
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1134
Functiontest_and
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1004
Functiontest_andi
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1009
Functiontest_asserteq
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1139
Functiontest_asserthalfwordalignment
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1144
Functiontest_assertlte
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1151
Functiontest_assertvaliddiv0
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1156
Functiontest_assertvalidsignedremainder
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1163
Functiontest_assertvalidunsignedremainder
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1170
Functiontest_auipc
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1014
Functiontest_beq
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1019
Functiontest_bge
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1024
Functiontest_bgeu
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1029
Functiontest_blt
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1034
Functiontest_bltu
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1039
Functiontest_bne
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1044
Methodtest_combine_lookups
(&self, inputs: &[R])
zklean-extractor/src/instruction.rs:190
Functiontest_compute_and_update_tA_inplace_vs_hardcoded_1
()
jolt-core/src/utils/small_value.rs:1713
Functiontest_compute_and_update_tA_inplace_vs_hardcoded_2
()
jolt-core/src/utils/small_value.rs:1718
Functiontest_compute_and_update_tA_inplace_vs_hardcoded_3
()
jolt-core/src/utils/small_value.rs:1723
Functiontest_distribute_tA_vs_hardcoded_1
()
jolt-core/src/utils/small_value.rs:1820
Functiontest_distribute_tA_vs_hardcoded_2
()
jolt-core/src/utils/small_value.rs:1825
Functiontest_distribute_tA_vs_hardcoded_3
()
jolt-core/src/utils/small_value.rs:1830
Functiontest_divide_poly
()
jolt-core/src/poly/unipoly.rs:466
Functiontest_dory_commitment_scheme_all_polynomial_types
()
jolt-core/src/poly/commitment/dory.rs:1334
Functiontest_dory_soundness
()
jolt-core/src/poly/commitment/dory.rs:1440
Functiontest_evals
Test that the results of running `evals_serial`, `evals_parallel`, and `evals_serial_cached` (taking the last vector) are the same (and also benchmark
jolt-core/src/poly/eq_poly.rs:246
Functiontest_evals_cached
Test that the `i`th vector of `evals_serial_cached` is equivalent to `evals(&r[..i])`, for all `i`.
jolt-core/src/poly/eq_poly.rs:280
Methodtest_evaluate_mle
(&self, inputs: &[R])
zklean-extractor/src/subtable.rs:159
Functiontest_fence
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1049
Functiontest_from_evals_cubic
()
jolt-core/src/poly/unipoly.rs:420
Functiontest_from_evals_cubic_helper
()
jolt-core/src/poly/unipoly.rs:423
Functiontest_from_evals_quad
()
jolt-core/src/poly/unipoly.rs:389
Functiontest_from_evals_quad_helper
()
jolt-core/src/poly/unipoly.rs:393
Functiontest_from_linear_times_quadratic_with_hint
()
jolt-core/src/poly/unipoly.rs:486
Functiontest_gauss
()
jolt-core/src/utils/gaussian_elimination.rs:73
Functiontest_heap_overflow
()
tracer/src/emulator/mmu.rs:1202
Functiontest_hyper_bmmtv
()
jolt-core/src/poly/commitment/bmmtv/hyperbmmtv.rs:337
Functiontest_hyperkzg_eval
()
jolt-core/src/poly/commitment/hyperkzg.rs:562
Functiontest_hyperkzg_large
()
jolt-core/src/poly/commitment/hyperkzg.rs:669
Functiontest_hyperkzg_small
()
jolt-core/src/poly/commitment/hyperkzg.rs:614
Functiontest_jal
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1054
Functiontest_jalr
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1059
Functiontest_lazy_iterator
()
tracer/src/lib.rs:704
Functiontest_lui
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1064
Functiontest_lw
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1069
Functiontest_move
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1177
Functiontest_movsign
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1182
Functiontest_mul
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1074
Functiontest_mulhu
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1079
Functiontest_muli
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1187
Functiontest_new_for_small_value
()
jolt-core/src/poly/split_eq_poly.rs:406
Functiontest_or
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1084
Functiontest_ori
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1089
Functiontest_out_of_bounds_write_not_caught
()
tracer/src/emulator/mmu.rs:1231
Functiontest_poly_to_field_elements
()
jolt-core/src/poly/multilinear_polynomial.rs:718
Functiontest_pow2
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1192
Functiontest_pow2i
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1197
Functiontest_random_instructions
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:989
Functiontest_shiftrightbitmask
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1202
Functiontest_shiftrightbitmaski
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1209
Functiontest_slt
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1094
Functiontest_slti
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1099
Functiontest_sltiu
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1104
Functiontest_sltu
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1109
Functiontest_stack_overflow
()
tracer/src/emulator/mmu.rs:1222
Functiontest_stack_underflow
()
tracer/src/emulator/mmu.rs:1212
← previousnext →1,901–2,000 of 2,242, ranked by callers