MCPcopy Create free account

hub / github.com/a16z/jolt / functions

Functions2,242 in github.com/a16z/jolt

⨍ Functions 2,242◇ Types & classes 398
Methodfrom_u16
(n: u16)
zklean-extractor/src/mle_ast.rs:399
Methodfrom_u32
(n: u32)
jolt-core/src/field/ark.rs:58
Methodfrom_u32
(n: u32)
zklean-extractor/src/mle_ast.rs:403
Methodfrom_u64
(Z: &[u64])
jolt-core/src/poly/dense_mlpoly.rs:341
Methodfrom_u64
(val: u64)
jolt-core/src/poly/commitment/dory.rs:178
Methodfrom_u64
(n: u64)
jolt-core/src/field/ark.rs:63
Methodfrom_u64
(n: u64)
zklean-extractor/src/mle_ast.rs:407
Methodfrom_u8
(n: u8)
jolt-core/src/field/ark.rs:48
Methodfrom_u8
(n: u8)
zklean-extractor/src/mle_ast.rs:395
Methodfrom_usize
(Z: &[usize])
jolt-core/src/poly/dense_mlpoly.rs:332
Methodgenerate_and_commit_polynomials
( prover_state_manager: &mut StateManager<'a, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/dag/jolt_dag.rs:410
Methodgenerate_witness
( &self, preprocessing: &JoltProverPreprocessing<F, PCS>, trace: &[RV32IMCycle], )
jolt-core/src/zkvm/witness.rs:185
Methodgeneric_open
( powers: &[<G::Curve as CurveGroup>::Affine], poly: &UniPoly<P::ScalarField>, point:
jolt-core/src/poly/commitment/kzg.rs:366
Methodget_T
The (padded) length of the execution trace currently being proven
jolt-core/src/poly/commitment/dory.rs:113
Methodget_address_of_symbol
Returns a virtual address corresponding to symbol strings # Arguments `s` Symbol strings
tracer/src/emulator/mod.rs:265
Methodget_committed_polynomial_opening
( &self, polynomial: CommittedPolynomial, sumcheck: SumcheckId, )
jolt-core/src/poly/opening_proof.rs:639
Functionget_extended_eval
Recursive helper to compute extended polynomial evaluations. Uses memoization to store intermediate results.
jolt-core/src/utils/small_value.rs:648
Methodget_func_args
(func: &ItemFn)
jolt-sdk/macros/src/lib.rs:646
Methodget_input
(&mut self)
tracer/src/emulator/default_terminal.rs:29
Methodget_input
(&mut self)
tracer/src/emulator/terminal.rs:33
Methodget_max_num_rows
Dory works by viewing the coefficients of a polynomial as a matrix. In order to batch Dory opening proofs together for polynomials of different length
jolt-core/src/poly/commitment/dory.rs:89
Functionget_msb_ternary_digits
Converts a k_ternary_idx (0 to 3^N - 1) to its base-3 digits, MSB-first. Example: N=3, k=5 (012_base3). Returns [0,1,2]. k=26 (222_base3). Returns [2,
jolt-core/src/utils/small_value.rs:1405
Methodget_num_columns
Dory works by viewing the coefficients of a polynomial as a matrix. In order to batch Dory opening proofs together for polynomials of different length
jolt-core/src/poly/commitment/dory.rs:103
Methodget_num_vars
(&self)
jolt-core/src/poly/multilinear_polynomial.rs:104
Methodget_num_vars
(&self)
jolt-core/src/poly/split_eq_poly.rs:163
Methodget_num_vars
(&self)
jolt-core/src/poly/one_hot_polynomial.rs:318
Methodget_num_vars
(&self)
jolt-core/src/poly/compact_polynomial.rs:131
Methodget_opening
Get the value of an opening by key
jolt-core/src/poly/opening_proof.rs:613
Methodget_output
(&mut self)
tracer/src/emulator/default_terminal.rs:18
Methodget_output
(&mut self)
tracer/src/emulator/terminal.rs:29
Functionget_project_name
()
src/build_wasm.rs:95
Functionget_register_name
(num: usize)
tracer/src/emulator/cpu.rs:1604
Methodget_virtual_polynomial_opening
( &self, polynomial: VirtualPolynomial, sumcheck: SumcheckId, )
jolt-core/src/poly/opening_proof.rs:617
Functionhardocded_zero
()
tracer/src/emulator/cpu.rs:1941
Methodhash
(&self, _state: &mut H)
zklean-extractor/src/mle_ast.rs:381
Methodhelper
(vars: &[F], nodes: &[Option<MleAstNode>], root: usize)
zklean-extractor/src/mle_ast.rs:145
Methodidentity
()
jolt-core/src/poly/commitment/dory.rs:198
Functionidentity_poly
()
jolt-core/src/poly/identity_poly.rs:432
Functionidentity_poly_prefix_suffix_decomposition
()
jolt-core/src/poly/identity_poly.rs:469
Functionimplicit_montgomery_conversion
()
jolt-core/src/field/ark.rs:173
Functionindent
(level: usize)
zklean-extractor/src/util.rs:5
Methodindex
(&self, index: usize)
jolt-core/src/utils/expanding_table.rs:58
Methodindex
(&self, _index: usize)
jolt-core/src/poly/dense_mlpoly.rs:364
Methodindex
(&self, index: usize)
jolt-core/src/poly/unipoly.rs:315
Methodindex
(&self, _index: usize)
jolt-core/src/poly/compact_polynomial.rs:385
Methodindex
(&self, index: usize)
jolt-core/src/poly/opening_proof.rs:46
Methodindex
(&self, index: Prefix)
jolt-core/src/poly/prefix_suffix.rs:50
Methodindex
(&self, prefix: Prefixes)
jolt-core/src/zkvm/lookup_table/prefixes/mod.rs:148
Methodindex
(&self, index: CircuitFlags)
jolt-core/src/zkvm/instruction/mod.rs:97
Methodindex_mut
(&mut self, index: usize)
jolt-core/src/poly/unipoly.rs:321
Methodindex_mut
(&mut self, index: Prefix)
jolt-core/src/poly/prefix_suffix.rs:56
Methodindex_mut
(&mut self, index: CircuitFlags)
jolt-core/src/zkvm/instruction/mod.rs:103
Methodinitialize
(size: usize, setup: &Self::ProverSetup)
jolt-core/src/poly/commitment/hyperkzg.rs:508
Methodinitialize
(n: usize, generators: &PedersenGenerators<G>)
jolt-core/src/poly/commitment/hyrax.rs:345
Methodinitialize
(ram_d: usize, bytecode_d: usize)
jolt-core/src/zkvm/witness.rs:75
Methodinitialize
( preprocessing: &JoltProverPreprocessing<F, PCS>, trace: &[RV32IMCycle], r_prime: &[F
jolt-core/src/zkvm/registers/read_write_checking.rs:77
Methodinitialize
( initial_memory_state: &[u32], K: usize, state_manager: &mut StateManager<'_, F, Proo
jolt-core/src/zkvm/ram/read_write_checking.rs:69
Methodinitialize_lookup_tables
Initializes the static lookup tables using the provided values.
jolt-core/src/field/mod.rs:56
Methodinitialize_lookup_tables
(_init: Self::SmallValueLookupTables)
jolt-core/src/field/ark.rs:43
Methodinner_product
( left: &[P::G1], right: &[P::G2], )
jolt-core/src/poly/commitment/bmmtv/inner_products.rs:26
Methodinput_claim
(&self)
jolt-core/src/poly/opening_proof.rs:472
Methodinput_claim
(&self)
jolt-core/src/zkvm/instruction_lookups/booleanity.rs:150
Methodinput_claim
(&self)
jolt-core/src/zkvm/instruction_lookups/hamming_weight.rs:99
Methodinput_claim
(&self)
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:278
Methodinput_claim
(&self)
jolt-core/src/zkvm/bytecode/booleanity.rs:172
Methodinput_claim
(&self)
jolt-core/src/zkvm/bytecode/hamming_weight.rs:86
Methodinput_claim
(&self)
jolt-core/src/zkvm/bytecode/read_raf_checking.rs:533
Methodinput_claim
(&self)
jolt-core/src/zkvm/registers/read_write_checking.rs:1071
Methodinput_claim
(&self)
jolt-core/src/zkvm/registers/val_evaluation.rs:128
Methodinput_claim
(&self)
jolt-core/src/zkvm/ram/booleanity.rs:211
Methodinput_claim
(&self)
jolt-core/src/zkvm/ram/read_write_checking.rs:974
Methodinput_claim
(&self)
jolt-core/src/zkvm/ram/ra_virtual.rs:286
Methodinput_claim
(&self)
jolt-core/src/zkvm/ram/val_evaluation.rs:152
Methodinput_claim
(&self)
jolt-core/src/zkvm/ram/raf_evaluation.rs:142
Methodinput_claim
(&self)
jolt-core/src/zkvm/ram/output_check.rs:191
Methodinput_claim
(&self)
jolt-core/src/zkvm/ram/hamming_weight.rs:154
Methodinput_claim
(&self)
jolt-core/src/zkvm/ram/hamming_booleanity.rs:85
Functioninput_index_to_field_name
(index: usize)
zklean-extractor/src/r1cs.rs:213
Functionint_to_string
(n: i32)
examples/stdlib/guest/src/lib.rs:2
Functioninterleave_uninterleave_bits
()
jolt-core/src/utils/mod.rs:227
Functioninterrupt
()
tracer/src/emulator/cpu.rs:1873
Methodinv
(&self)
jolt-core/src/poly/commitment/dory.rs:170
Methodis_bound
(&self)
jolt-core/src/poly/dense_mlpoly.rs:68
Methodis_bound
(&self)
jolt-core/src/poly/identity_poly.rs:33
Methodis_bound
(&self)
jolt-core/src/poly/prefix_suffix.rs:119
Functionk_to_y_ext_msb
( k_ternary: usize, )
jolt-core/src/utils/small_value.rs:85
Functionkzg_commit_prove_verify
()
jolt-core/src/poly/commitment/kzg.rs:438
Methodlinear_combination
(polynomials: &[&Self], coefficients: &[F])
jolt-core/src/poly/multilinear_polynomial.rs:118
Methodload
(&self, address: u64)
common/src/jolt_device.rs:41
Methodlookup_table
(&self)
jolt-core/src/zkvm/instruction/andi.rs:8
Methodlookup_table
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_eq.rs:8
Methodlookup_table
(&self)
jolt-core/src/zkvm/instruction/virtual_movsign.rs:8
Methodlookup_table
(&self)
jolt-core/src/zkvm/instruction/sltiu.rs:8
Methodlookup_table
(&self)
jolt-core/src/zkvm/instruction/virtual_srl.rs:8
Methodlookup_table
(&self)
jolt-core/src/zkvm/instruction/bge.rs:10
Methodlookup_table
(&self)
jolt-core/src/zkvm/instruction/auipc.rs:8
Methodlookup_table
(&self)
jolt-core/src/zkvm/instruction/virtual_srai.rs:8
Methodlookup_table
(&self)
jolt-core/src/zkvm/instruction/virtual_muli.rs:9
Methodlookup_table
(&self)
jolt-core/src/zkvm/instruction/fence.rs:8
Methodlookup_table
(&self)
jolt-core/src/zkvm/instruction/xor.rs:8
← previousnext →1,201–1,300 of 2,242, ranked by callers