Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/a16z/jolt
/ functions
Functions
2,242 in github.com/a16z/jolt
⨍
Functions
2,242
◇
Types & classes
398
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/signed_greater_than_equal.rs:68
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/sub.rs:50
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/unsigned_greater_than_equal.rs:66
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/upper_word.rs:49
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/unsigned_less_than_equal.rs:72
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/shift_right_bitmask.rs:73
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/valid_signed_remainder.rs:135
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/virtual_rotr.rs:108
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/halfword_alignment.rs:60
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/unsigned_less_than.rs:60
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/movsign.rs:66
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/pow2.rs:61
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/not_equal.rs:62
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/or.rs:55
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/signed_less_than.rs:77
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/valid_div0.rs:87
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/and.rs:55
Function
prefix_suffix_decomposition_test
( poly: P, prefix_registry_index: Prefix, )
jolt-core/src/poly/prefix_suffix.rs:374
Function
prefix_suffix_test
()
jolt-core/src/zkvm/lookup_table/test.rs:48
Method
preprocess
(mut bytecode: Vec<RV32IMInstruction>)
jolt-core/src/zkvm/bytecode/mod.rs:40
Method
preprocess
(memory_init: Vec<(u64, u8)>)
jolt-core/src/zkvm/ram/mod.rs:45
Method
pretty_fmt
(&self, f: &mut String)
jolt-core/src/zkvm/r1cs/ops.rs:20
Function
pretty_print_lc
(inputs_struct: &str, lc: &LC)
zklean-extractor/src/r1cs.rs:235
Function
pretty_print_offset_lc
( inputs_struct: &str, offset_inputs_struct: &str, (offset, lc): &OffsetLC, )
zklean-extractor/src/r1cs.rs:248
Function
pretty_print_term
( inputs_struct: &str, Term(var, coeff): &Term, )
zklean-extractor/src/r1cs.rs:217
Function
print_current_memory_usage
(label: &str)
jolt-core/src/utils/profiling.rs:55
Method
process
(mut state: Self::State<'a>, eval: Self::Field)
jolt-core/src/poly/commitment/hyperkzg.rs:531
Method
process
(mut state: HyraxCommitmentState<G>, eval: F)
jolt-core/src/poly/commitment/hyrax.rs:365
Function
process_svo_sumcheck_rounds
Process the first few sum-check rounds using small value optimization (SVO) We take in the pre-computed accumulator values, and use them to compute th
jolt-core/src/utils/small_value.rs:1270
Method
protocol_name
()
jolt-core/src/poly/commitment/hyperkzg.rs:267
Method
protocol_name
()
jolt-core/src/poly/commitment/mock.rs:109
Method
protocol_name
()
jolt-core/src/poly/commitment/zeromorph.rs:249
Method
protocol_name
()
jolt-core/src/poly/commitment/dory.rs:1231
Method
protocol_name
()
jolt-core/src/poly/commitment/bmmtv/hyperbmmtv.rs:317
Function
provable
(attr: TokenStream, item: TokenStream)
jolt-sdk/macros/src/lib.rs:18
Method
prove
( setup: &Self::ProverSetup, poly: &MultilinearPolynomial<Self::Field>, opening_point:
jolt-core/src/poly/commitment/hyperkzg.rs:465
Method
prove
( _setup: &Self::ProverSetup, _poly: &MultilinearPolynomial<Self::Field>, opening_poin
jolt-core/src/poly/commitment/mock.rs:85
Method
prove
( poly: &DensePolynomial<G::ScalarField>, opening_point: &[G::ScalarField], // point at which
jolt-core/src/poly/commitment/hyrax.rs:126
Method
prove
( setup: &Self::ProverSetup, poly: &MultilinearPolynomial<Self::Field>, opening_point:
jolt-core/src/poly/commitment/zeromorph.rs:486
Method
prove
( setup: &Self::ProverSetup, poly: &MultilinearPolynomial<Self::Field>, opening_point:
jolt-core/src/poly/commitment/dory.rs:1091
Method
prove
( setup: &Self::ProverSetup, poly: &MultilinearPolynomial<Self::Field>, opening_point:
jolt-core/src/poly/commitment/bmmtv/hyperbmmtv.rs:138
Method
prove
( mut g1: Vec<P::G1>, mut g2: Vec<P::G2>, mut scalars: Vec<P::ScalarField>, tr
jolt-core/src/poly/commitment/bmmtv/gipa.rs:77
Method
prove
( p_srs: &KZGProverKey<P>, values: (Vec<P::G1>, Vec<P::ScalarField>), transcript: &mut
jolt-core/src/poly/commitment/bmmtv/mipp_k.rs:123
Method
prove
( preprocessing: &JoltProverPreprocessing<F, PCS>, program: &mut Program, inputs: &[u8
jolt-core/src/zkvm/mod.rs:201
Method
prove
( mut state_manager: StateManager<'a, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/dag/jolt_dag.rs:28
Method
prove
Proves a single sumcheck instance.
jolt-core/src/subprotocols/sumcheck.rs:77
Method
prove
( read_addresses: Vec<usize>, read_values: Vec<u32>, write_addresses: Vec<usize>,
jolt-core/src/subprotocols/twist.rs:77
Function
prove_commitment_key_kzg_opening
Calculates KZG opening in G2
jolt-core/src/poly/commitment/bmmtv/mipp_k.rs:29
Method
prove_outer_sumcheck
( num_rounds_x: usize, uniform_constraints_only_padded: usize, uniform_constraints: &[
jolt-core/src/zkvm/r1cs/spartan.rs:106
Method
prove_spartan_quadratic
A specialized sumcheck implementation with the 0th round unrolled from the rest of the `for` loop. This allows us to pass in `witness_polynomials` by
jolt-core/src/subprotocols/sumcheck.rs:443
Method
prove_spartan_small_value
( num_rounds: usize, padded_num_constraints: usize, uniform_constraints: &[Constraint]
jolt-core/src/subprotocols/sumcheck.rs:377
Method
prover_preprocess
( bytecode: Vec<RV32IMInstruction>, memory_layout: MemoryLayout, memory_init: Vec<(u64
jolt-core/src/zkvm/mod.rs:178
Method
put_byte
(&mut self, value: u8)
tracer/src/emulator/default_terminal.rs:14
Method
put_byte
(&mut self, _value: u8)
tracer/src/emulator/terminal.rs:28
Method
put_input
(&mut self, value: u8)
tracer/src/emulator/default_terminal.rs:25
Method
put_input
(&mut self, _value: u8)
tracer/src/emulator/terminal.rs:32
Function
quotient_construction
()
jolt-core/src/poly/commitment/zeromorph.rs:539
Method
random
(num_vars: usize, mut rng: &mut R)
jolt-core/src/poly/dense_mlpoly.rs:345
Method
random
(rng: &mut R)
jolt-core/src/poly/commitment/dory.rs:174
Method
random
(rng: &mut R)
jolt-core/src/field/ark.rs:20
Method
random
(_rng: &mut R)
zklean-extractor/src/mle_ast.rs:391
Method
random
(rng: &mut StdRng)
tracer/src/instruction/mod.rs:313
Method
random
(&self, rng: &mut StdRng)
tracer/src/instruction/mod.rs:816
Method
random
(rng: &mut StdRng)
tracer/src/instruction/virtual_advice.rs:40
Method
random
(rng: &mut StdRng)
tracer/src/instruction/format/format_virtual_halfword_alignment.rs:26
Method
random
(rng: &mut StdRng)
tracer/src/instruction/format/format_s.rs:26
Method
random
(rng: &mut StdRng)
tracer/src/instruction/format/format_i.rs:26
Method
random
(rng: &mut StdRng)
tracer/src/instruction/format/format_u.rs:24
Method
random
(rng: &mut StdRng)
tracer/src/instruction/format/format_virtual_right_shift_i.rs:26
Method
random
(rng: &mut StdRng)
tracer/src/instruction/format/format_virtual_right_shift_r.rs:27
Method
random
(rng: &mut StdRng)
tracer/src/instruction/format/format_j.rs:24
Method
random
(rng: &mut StdRng)
tracer/src/instruction/format/format_b.rs:26
Method
random
(rng: &mut StdRng)
tracer/src/instruction/format/format_load.rs:28
Method
random
(rng: &mut StdRng)
tracer/src/instruction/format/format_r.rs:27
Method
random_lookup_index
(rng: &mut rand::rngs::StdRng)
jolt-core/src/zkvm/lookup_table/virtual_srl.rs:56
Method
random_lookup_index
(rng: &mut rand::rngs::StdRng)
jolt-core/src/zkvm/lookup_table/mod.rs:54
Method
random_lookup_index
(rng: &mut rand::rngs::StdRng)
jolt-core/src/zkvm/lookup_table/virtual_sra.rs:73
Method
random_lookup_index
(rng: &mut rand::rngs::StdRng)
jolt-core/src/zkvm/lookup_table/virtual_rotr.rs:83
Method
rd_values
(&self)
tracer/src/instruction/format/format_i.rs:37
Method
rd_values
(&self)
tracer/src/instruction/format/format_u.rs:30
Method
rd_values
(&self)
tracer/src/instruction/format/format_virtual_right_shift_i.rs:37
Method
rd_values
(&self)
tracer/src/instruction/format/format_virtual_right_shift_r.rs:46
Method
rd_values
(&self)
tracer/src/instruction/format/mod.rs:45
Method
rd_values
(&self)
tracer/src/instruction/format/format_j.rs:30
Method
rd_values
(&self)
tracer/src/instruction/format/format_load.rs:39
Method
rd_values
(&self)
tracer/src/instruction/format/format_r.rs:43
Method
read_csr
(&mut self, address: u16)
tracer/src/emulator/cpu.rs:755
Method
read_doubleword
Reads eight bytes from memory. # Arguments `address`
tracer/src/emulator/memory.rs:65
Method
read_from_target_dir
(target_dir: &str)
jolt-core/src/zkvm/mod.rs:81
Method
read_halfword
Reads two bytes from memory. # Arguments `address`
tracer/src/emulator/memory.rs:37
Function
read_register
()
tracer/src/emulator/cpu.rs:1691
Method
read_register
Reads integer register content # Arguments `reg` Register number. Must be 0-31
tracer/src/emulator/cpu.rs:304
Function
read_write_checking_sumcheck_local
()
jolt-core/src/subprotocols/twist.rs:1247
Method
reference_combine_lookups
(&self, inputs: &[R])
zklean-extractor/src/instruction.rs:184
Method
reference_evaluate_mle
(&self, inputs: &[R])
zklean-extractor/src/subtable.rs:153
Method
register
(name: char, size: usize)
zklean-extractor/src/mle_ast.rs:129
Method
rem
(self, rhs: usize)
jolt-core/src/utils/lookup_bits.rs:104
Function
report_memory_usage
()
jolt-core/src/utils/profiling.rs:34
Method
rs1_value
(&self)
tracer/src/instruction/format/format_virtual_halfword_alignment.rs:32
Method
rs1_value
(&self)
tracer/src/instruction/format/format_s.rs:33
← previous
next →
1,701–1,800 of 2,242, ranked by callers