MCPcopy Index your code

hub / github.com/a16z/jolt / functions

Functions2,242 in github.com/a16z/jolt

⨍ Functions 2,242◇ Types & classes 398
↓ 10 callersMethodread_halfword
Reads two bytes from ELF file content # Arguments `offset`
tracer/src/emulator/elf_analyzer.rs:668
↓ 10 callersMethodsumcheck_evals
(&self, index: usize, degree: usize, order: BindingOrder)
jolt-core/src/poly/identity_poly.rs:74
↓ 10 callersMethodswap_bytes
(buf: &mut [u32])
jolt-sdk/src/sha256.rs:296
↓ 10 callersMethodterms
(&self)
jolt-core/src/zkvm/r1cs/ops.rs:51
↓ 10 callersMethodw
Register number containing W_(rid+shift)
tracer/src/instruction/inline_sha256/mod.rs:231
↓ 9 callersMethodappend_message
(&mut self, msg: &'static [u8])
jolt-core/src/utils/transcript.rs:107
↓ 9 callersMethodappend_to_transcript
(&self, transcript: &mut ProofTranscript)
jolt-core/src/poly/unipoly.rs:372
↓ 9 callersFunctioncompute_d_parameter
(K: usize)
jolt-core/src/zkvm/witness.rs:28
↓ 9 callersMethodis_empty
(&self)
tracer/src/lib.rs:196
↓ 9 callersMethodload
Loads a byte. This method takes virtual address and translates into physical address inside. # Arguments `v_address` Virtual address
tracer/src/emulator/mmu.rs:274
↓ 9 callersMethodxor
(&mut self, rs1: Value, rs2: Value, rd: usize)
tracer/src/instruction/inline_sha256/mod.rs:394
↓ 8 callersMethodabs_diff_u64
(self, other: Self)
jolt-core/src/poly/compact_polynomial.rs:32
↓ 8 callersMethodassert_effective_store_address
(&self, effective_address: u64)
tracer/src/emulator/mmu.rs:139
↓ 8 callersMethodcoeffs_as_field_elements
(&self)
jolt-core/src/poly/compact_polynomial.rs:147
↓ 8 callersFunctioncurrent_suffix_len
Computes the bit-length of the suffix, for the current (`j`th) round of sumcheck.
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:47
↓ 8 callersMethodhandle_trap
(&mut self, trap: Trap, instruction_address: u64, is_interrupt: bool)
tracer/src/emulator/cpu.rs:507
↓ 8 callersFunctionindex_to_field_bitvector
Converts an integer value to a bitvector (all values {0,1}) of field elements. Note: ordering has the MSB in the highest index. All of the following r
jolt-core/src/utils/mod.rs:92
↓ 8 callersMethodleading_ones
(&self)
jolt-core/src/utils/lookup_bits.rs:54
↓ 8 callersMethodlen
The current length of the polynomial
jolt-core/src/poly/multilinear_polynomial.rs:92
↓ 8 callersMethodmake_imports
(&self)
jolt-sdk/macros/src/lib.rs:545
↓ 8 callersFunctionmatrix_dimensions
Hyrax commits to a multilinear polynomial by interpreting its coefficients as a matrix. Given the number of variables in the polynomial, and the desir
jolt-core/src/poly/commitment/hyrax.rs:28
↓ 8 callersMethodmul_i128_1_optimized
(self, other: i128)
jolt-core/src/field/mod.rs:161
↓ 8 callersFunctionparse_attributes
(attr: &Vec<NestedMeta>)
common/src/attributes.rs:23
↓ 8 callersMethodsplit
Splits `self` into a tuple (prefix, suffix) of `LookupBits`, where `suffix.len() == suffix_len`.
jolt-core/src/utils/lookup_bits.rs:30
↓ 7 callersMethodappend_u64
(&mut self, x: u64)
jolt-core/src/utils/transcript.rs:128
↓ 7 callersMethodbinop
Create a new root node in the form of a binary operator.
zklean-extractor/src/mle_ast.rs:118
↓ 7 callersMethodbuild
(&mut self, target_dir: &str)
jolt-core/src/host/mod.rs:87
↓ 7 callersMethodfinalize
(state: HyraxCommitmentState<G>)
jolt-core/src/poly/commitment/hyrax.rs:379
↓ 7 callersMethodg2_powers
(&self)
jolt-core/src/poly/commitment/kzg.rs:132
↓ 7 callersMethodget_num_vars
(&self)
jolt-core/src/poly/dense_mlpoly.rs:56
↓ 7 callersMethodget_pc
(&self, cycle: &RV32IMCycle)
jolt-core/src/zkvm/bytecode/mod.rs:83
↓ 7 callersMethodinto
(self)
jolt-core/src/poly/commitment/dory.rs:230
↓ 7 callersMethodlen
(&self)
jolt-core/src/poly/compact_polynomial.rs:135
↓ 7 callersMethodload_raw
Loads a byte from main memory or peripheral devices depending on physical address. # Arguments `p_address` Physical address
tracer/src/emulator/mmu.rs:487
↓ 7 callersFunctionmul_0_1_optimized
(a: &F, b: &F)
jolt-core/src/utils/mod.rs:125
↓ 7 callersMethodmul_add
(self, a: F, mut b: RLCPolynomial<F>)
jolt-core/src/poly/rlc_polynomial.rs:151
↓ 7 callersMethodoptimised_evaluate
Faster evaluation based on https://randomwalks.xyz/publish/fast_polynomial_evaluation.html Shaves a factor of 2 from run time.
jolt-core/src/poly/dense_mlpoly.rs:257
↓ 7 callersMethodsplit_at_r
(&self, mid: usize)
jolt-core/src/poly/opening_proof.rs:66
↓ 7 callersMethodtick
Runs program one cycle. Fetch, decode, and execution are completed in a cycle so far.
tracer/src/emulator/cpu.rs:338
↓ 7 callersMethodto_field
(self)
jolt-core/src/poly/compact_polynomial.rs:28
↓ 7 callersMethodupdate
(&mut self, r_j: F)
jolt-core/src/utils/expanding_table.rs:41
↓ 6 callersMethodadd
(self, other: T)
jolt-core/src/zkvm/r1cs/ops.rs:152
↓ 6 callersMethodcompare_to
(&mut self, prover_openings: ProverOpeningAccumulator<F>)
jolt-core/src/poly/opening_proof.rs:902
↓ 6 callersMethodevals_ref
(&self)
jolt-core/src/poly/dense_mlpoly.rs:327
↓ 6 callersMethodget_bytecode
(&self)
jolt-core/src/zkvm/dag/state_manager.rs:197
↓ 6 callersMethodgruen_evals_deg_3
Compute the cubic sumcheck evaluations (i.e., the evaluations at {0, 2, 3}) of a polynomial s(X) = l(X) * q(X), where l(X) is the current (linear) eq
jolt-core/src/poly/split_eq_poly.rs:242
↓ 6 callersMethodhasher
Gives the hasher object with the running seed and index added To load hash you must call finalize, after appending u8 vectors
jolt-core/src/utils/transcript.rs:28
↓ 6 callersMethodis_zero
(&self)
jolt-core/src/poly/commitment/dory.rs:154
↓ 6 callersFunctionjolt_dir
()
jolt-core/src/host/toolchain.rs:225
↓ 6 callersMethodmost_negative
@TODO: Rename to better name?
tracer/src/emulator/cpu.rs:902
↓ 6 callersMethodread_byte
(&self, p_address: u64)
tracer/src/emulator/mmu.rs:1107
↓ 6 callersFunctiontest_commitment_scheme_with_poly
( poly: MultilinearPolynomial<Fr>, poly_type_name: &str, prover_setup: &ProverSetup<Jo
jolt-core/src/poly/commitment/dory.rs:1254
↓ 6 callersMethodtranslate_address
( &mut self, v_address: u64, access_type: &MemoryAccessType, )
tracer/src/emulator/mmu.rs:885
↓ 5 callersFunctionalign_up
(addr: usize, align: usize)
jolt-sdk/src/alloc.rs:37
↓ 5 callersMethodappend_bytes
(&mut self, bytes: &[u8])
jolt-core/src/utils/transcript.rs:122
↓ 5 callersMethodcombine
( &self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>], )
jolt-core/src/zkvm/lookup_table/mod.rs:234
↓ 5 callersFunctioncompute_dotproduct
(a: &[F], b: &[F])
jolt-core/src/utils/mod.rs:108
↓ 5 callersMethodconstrain_prod
Constrain x * y == z
jolt-core/src/zkvm/r1cs/builder.rs:200
↓ 5 callersMethodevaluate_row
( &self, flattened_polynomials: &[MultilinearPolynomial<F>], row: usize, )
jolt-core/src/zkvm/r1cs/ops.rs:87
↓ 5 callersMethodget_coeff
Gets the polynomial coefficient at the given `index`
jolt-core/src/poly/multilinear_polynomial.rs:215
↓ 5 callersMethodinput_claim
(&self)
jolt-core/src/zkvm/r1cs/spartan.rs:234
↓ 5 callersFunctioninput_to_field_name
(input: &JoltR1CSInputs)
zklean-extractor/src/r1cs.rs:196
↓ 5 callersMethodinverse
(&self)
jolt-core/src/field/ark.rs:141
↓ 5 callersMethodis_bound
(&self)
jolt-core/src/poly/multilinear_polynomial.rs:532
↓ 5 callersMethodis_panic
(&self, address: u64)
common/src/jolt_device.rs:94
↓ 5 callersMethodis_termination
(&self, address: u64)
common/src/jolt_device.rs:98
↓ 5 callersMethodlookup_table
(&self)
jolt-core/src/zkvm/instruction/sw.rs:8
↓ 5 callersFunctionprove_example
( example_name: &str, serialized_input: Vec<u8>, )
jolt-core/src/benches/bench.rs:131
↓ 5 callersFunctionsetup_mmu
(capacity: u64)
tracer/src/emulator/mmu.rs:1191
↓ 5 callersMethodstore_bytes
Stores multiple bytes. This method takes virtual address and translates into physical address inside. # Arguments `v_address` Virtual address `value`
tracer/src/emulator/mmu.rs:404
↓ 5 callersMethodstore_raw
Stores a byte to main memory or peripheral devices depending on physical address. # Arguments `p_address` Physical address `value` data written
tracer/src/emulator/mmu.rs:761
↓ 5 callersMethodtrace_store
Records the state of the accessed memory word before and after the store instruction. The memory state is used in Jolt to construct the witnesses in `
tracer/src/emulator/mmu.rs:644
↓ 5 callersMethodupdate_privilege_mode
Updates privilege mode # Arguments `mode`
tracer/src/emulator/mmu.rs:110
↓ 5 callersMethodupdate_state
(&mut self, new_state: [u8; 32])
jolt-core/src/utils/transcript.rs:62
↓ 4 callersMethodand
(&mut self, rs1: Value, rs2: Value, rd: usize)
tracer/src/instruction/inline_sha256/mod.rs:369
↓ 4 callersMethodappend_points
(&mut self, points: &[G])
jolt-core/src/utils/transcript.rs:187
↓ 4 callersMethodappend_scalars
(&mut self, scalars: &[impl Borrow<F>])
jolt-core/src/utils/transcript.rs:156
↓ 4 callersMethodassert_effective_load_address
(&self, effective_address: u64)
tracer/src/emulator/mmu.rs:144
↓ 4 callersMethodbound_poly_var_top
(&mut self, r: &F)
jolt-core/src/poly/dense_mlpoly.rs:86
↓ 4 callersMethodbound_poly_var_top_zero_optimized
(&mut self, r: &F)
jolt-core/src/poly/dense_mlpoly.rs:121
↓ 4 callersMethodbuffer_as_u32_mut
(&mut self)
jolt-sdk/src/sha256.rs:51
↓ 4 callersFunctioncompute_and_update_tA_inplace_1
( binary_az_evals: &[i128], binary_bz_evals: &[i128], e_in_val: &F, temp_tA: &
jolt-core/src/utils/small_value.rs:279
↓ 4 callersFunctioncompute_and_update_tA_inplace_2
( binary_az_evals: &[i128], binary_bz_evals: &[i128], e_in_val: &F, temp_tA: &
jolt-core/src/utils/small_value.rs:311
↓ 4 callersFunctioncompute_and_update_tA_inplace_3
( binary_az_evals: &[i128], binary_bz_evals: &[i128], e_in_val: &F, temp_tA: &
jolt-core/src/utils/small_value.rs:422
↓ 4 callersFunctiondecode
(elf: &[u8])
tracer/src/lib.rs:246
↓ 4 callersMethodevaluate
(&self, r: &[F])
jolt-core/src/poly/identity_poly.rs:64
↓ 4 callersMethodinit_P
(&mut self, prefix_registry: &mut PrefixRegistry<F>)
jolt-core/src/poly/prefix_suffix.rs:246
↓ 4 callersMethodinit_Q
( &mut self, u_evals: &[F], indices: I, )
jolt-core/src/poly/prefix_suffix.rs:253
↓ 4 callersMethodis_output
(&self, address: u64)
common/src/jolt_device.rs:90
↓ 4 callersMethodlw
(&mut self, rs1: usize, offset: i64, rd: usize)
tracer/src/instruction/inline_sha256/mod.rs:317
↓ 4 callersMethodnormalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/r1cs/spartan.rs:334
↓ 4 callersMethodoriginal_len
The length of the polynomial before it was bound
jolt-core/src/poly/multilinear_polynomial.rs:79
↓ 4 callersMethodrotri
ROTRI instruction - Rotate Right Immediate
tracer/src/instruction/inline_sha256/mod.rs:420
↓ 4 callersMethodrotri_xor_rotri
(&mut self, rs1: Value, imm1: u32, imm2: u32, rd: usize, ss: usize)
tracer/src/instruction/inline_sha256/mod.rs:438
↓ 4 callersFunctionsetup_emulator
(elf_contents: Vec<u8>, inputs: &[u8], memory_config: &MemoryConfig)
tracer/src/lib.rs:126
↓ 4 callersMethodsha256_compress
(&mut self)
jolt-sdk/src/sha256.rs:279
↓ 4 callersMethodstage3_prover_instances
( &mut self, _state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/dag/stage.rs:43
↓ 4 callersMethodstage3_verifier_instances
( &mut self, _state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/dag/stage.rs:50
↓ 4 callersMethodsuffixes
(&self)
jolt-core/src/zkvm/lookup_table/mod.rs:207
↓ 4 callersMethodtrace_load
Records the memory word being accessed by a load instruction. The memory state is used in Jolt to construct the witnesses in `read_write_memory.rs`.
tracer/src/emulator/mmu.rs:520
← previousnext →101–200 of 2,242, ranked by callers