Functions — github.com/a16z/jolt

hub / github.com/a16z/jolt / functions

Functions2,242 in github.com/a16z/jolt

⨍ Functions 2,242◇ Types & classes 398

Methodrs1_value

(&self)

tracer/src/instruction/format/format_i.rs:33

Methodrs1_value

(&self)

tracer/src/instruction/format/format_virtual_right_shift_i.rs:33

Methodrs1_value

(&self)

tracer/src/instruction/format/format_virtual_right_shift_r.rs:38

Methodrs1_value

(&self)

tracer/src/instruction/format/mod.rs:39

Methodrs1_value

(&self)

tracer/src/instruction/format/format_b.rs:33

Methodrs1_value

(&self)

tracer/src/instruction/format/format_load.rs:35

Methodrs1_value

(&self)

tracer/src/instruction/format/format_r.rs:35

Methodrs2_value

(&self)

tracer/src/instruction/format/format_s.rs:37

Methodrs2_value

(&self)

tracer/src/instruction/format/format_virtual_right_shift_r.rs:42

Methodrs2_value

(&self)

tracer/src/instruction/format/mod.rs:42

Methodrs2_value

(&self)

tracer/src/instruction/format/format_b.rs:37

Methodrs2_value

(&self)

tracer/src/instruction/format/format_r.rs:39

Methodsave_state

(&self)

tracer/src/emulator/mod.rs:106

Methodsave_to_file

Saves the data to a file

jolt-core/src/zkvm/mod.rs:314

Methodsave_to_target_dir

(&self, target_dir: &str)

jolt-core/src/zkvm/mod.rs:72

Methodserialize_to_bytes

Serializes the data to a byte vector

jolt-core/src/zkvm/mod.rs:327

Methodserialize_with_mode

( &self, _writer: W, _compress: ark_serialize::Compress, )

jolt-core/src/poly/multilinear_polynomial.rs:51

Methodserialize_with_mode

( &self, mut writer: W, compress: Compress, )

jolt-core/src/zkvm/dag/proof_serialization.rs:46

Methodserialize_with_mode

( &self, _writer: W, _compress: ark_serialize::Compress, )

zklean-extractor/src/mle_ast.rs:37

Methodserialize_with_mode

( &self, mut writer: W, _compress: Compress, )

tracer/src/instruction/mod.rs:508

Methodserialized_size

(&self, _compress: ark_serialize::Compress)

jolt-core/src/poly/multilinear_polynomial.rs:59

Methodserialized_size

(&self, compress: Compress)

jolt-core/src/zkvm/dag/proof_serialization.rs:69

Methodserialized_size

(&self, _compress: ark_serialize::Compress)

zklean-extractor/src/mle_ast.rs:45

Methodserialized_size

(&self, _compress: Compress)

tracer/src/instruction/mod.rs:522

Methodset_fcsr_dz

(&mut self)

tracer/src/emulator/cpu.rs:847

Methodsetup

(rng: &mut R, max_degree: usize)

jolt-core/src/poly/commitment/hyperkzg.rs:38

Methodsetup

(rng: &mut R, max_degree: usize)

jolt-core/src/poly/commitment/zeromorph.rs:32

Methodsetup

( mut rng: &mut R, num_g1_powers: usize, num_g2_powers: usize, )

jolt-core/src/poly/commitment/kzg.rs:25

Methodsetup

Generates a setup for commitments with `size` Takes an `Rng` for parameter generator (if needed) Output [`Vec<Self::Param>`]

jolt-core/src/poly/commitment/bmmtv/afgho.rs:32

Methodsetup

( rng: &mut R, x_degree: usize, y_degree: usize, )

jolt-core/src/poly/commitment/bmmtv/poly_commit.rs:60

Methodsetup

( constraint_builder: &CombinedUniformBuilder<F>, padded_num_steps: usize, )

jolt-core/src/zkvm/r1cs/spartan.rs:94

Functionsetup_bench

Sets up the benchmark by generating leaves and computing known products and allows configuring the percentage of ones in the leaves

jolt-core/benches/commit.rs:20

Methodsetup_prover

(max_num_vars: usize)

jolt-core/src/poly/commitment/hyperkzg.rs:409

Methodsetup_prover

(_num_vars: usize)

jolt-core/src/poly/commitment/mock.rs:50

Methodsetup_prover

(max_num_vars: usize)

jolt-core/src/poly/commitment/zeromorph.rs:429

Methodsetup_prover

(max_num_vars: usize)

jolt-core/src/poly/commitment/dory.rs:1027

Methodsetup_prover

(max_num_vars: usize)

jolt-core/src/poly/commitment/bmmtv/hyperbmmtv.rs:101

Methodsetup_verifier

(setup: &Self::ProverSetup)

jolt-core/src/poly/commitment/hyperkzg.rs:419

Methodsetup_verifier

(_setup: &Self::ProverSetup)

jolt-core/src/poly/commitment/mock.rs:52

Methodsetup_verifier

(setup: &Self::ProverSetup)

jolt-core/src/poly/commitment/zeromorph.rs:443

Methodsetup_verifier

(prover_setup: &Self::ProverSetup)

jolt-core/src/poly/commitment/dory.rs:1067

Methodsetup_verifier

(setup: &Self::ProverSetup)

jolt-core/src/poly/commitment/bmmtv/hyperbmmtv.rs:111

Functionsha2

(input: &[u8])

examples/sha2-ex/guest/src/lib.rs:4

Functionsha2_e2e_dory

()

jolt-core/src/zkvm/mod.rs:443

Functionsha3

(input: &[u8])

examples/sha3-ex/guest/src/lib.rs:6

Functionsha3_chain

(input: [u8; 32], num_iters: u32)

examples/sha3-chain/guest/src/lib.rs:6

Functionsha3_e2e_dory

()

jolt-core/src/zkvm/mod.rs:416

Methodshared_preprocess

( bytecode: Vec<RV32IMInstruction>, memory_layout: MemoryLayout, memory_init: Vec<(u64

jolt-core/src/zkvm/mod.rs:162

Methodshift_coefficients

(&mut self, rhs: &F)

jolt-core/src/poly/unipoly.rs:215

Methodsize

(&self)

common/src/jolt_device.rs:82

Methodsquare

(&self)

zklean-extractor/src/mle_ast.rs:419

Methodstage1_prove

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/r1cs/spartan.rs:630

Methodstage1_verify

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/r1cs/spartan.rs:762

Methodstage2_prover_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/registers/mod.rs:21

Methodstage2_prover_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/ram/mod.rs:276

Methodstage2_prover_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/r1cs/spartan.rs:877

Methodstage2_verifier_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/registers/mod.rs:29

Methodstage2_verifier_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/ram/mod.rs:302

Methodstage2_verifier_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/r1cs/spartan.rs:921

Methodstage3_prover_instances

( &mut self, sm: &mut StateManager<'_, F, T, PCS>, )

jolt-core/src/zkvm/instruction_lookups/mod.rs:43

Methodstage3_prover_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/registers/mod.rs:37

Methodstage3_prover_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/ram/mod.rs:317

Methodstage3_prover_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/r1cs/spartan.rs:973

Methodstage3_verifier_instances

( &mut self, sm: &mut StateManager<'_, F, T, PCS>, )

jolt-core/src/zkvm/instruction_lookups/mod.rs:70

Methodstage3_verifier_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/registers/mod.rs:45

Methodstage3_verifier_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/ram/mod.rs:336

Methodstage3_verifier_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/r1cs/spartan.rs:1041

Methodstage4_prover_instances

( &mut self, sm: &mut StateManager<'_, F, T, PCS>, )

jolt-core/src/zkvm/bytecode/mod.rs:101

Methodstage4_prover_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/ram/mod.rs:358

Methodstage4_verifier_instances

( &mut self, sm: &mut StateManager<'_, F, T, PCS>, )

jolt-core/src/zkvm/bytecode/mod.rs:130

Methodstage4_verifier_instances

( &mut self, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/ram/mod.rs:373

Methodstage5_prover_instances

( &mut self, _state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/dag/stage.rs:71

Methodstage5_verifier_instances

( &mut self, _state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )

jolt-core/src/zkvm/dag/stage.rs:78

Functionstart_memory_tracing_span

(label: &'static str)

jolt-core/src/utils/profiling.rs:14

Methodstore

(&mut self, address: u64, value: u8)

common/src/jolt_device.rs:66

Functionstring_concat

(n: i32)

examples/stdlib/guest/src/lib.rs:7

Methodsub

(mut self, rhs: Self)

jolt-core/src/poly/unipoly.rs:272

Methodsub

(&self, rhs: &Self)

jolt-core/src/poly/commitment/dory.rs:162

Methodsub

(self, other: T)

jolt-core/src/zkvm/r1cs/ops.rs:208

Methodsub

(mut self, rhs: Self)

zklean-extractor/src/mle_ast.rs:210

Methodsub_assign

(&mut self, rhs: Self)

zklean-extractor/src/mle_ast.rs:277

Methodsubtables

(&self)

zklean-extractor/src/instruction.rs:59

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/left_is_zero.rs:9

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/lower_word.rs:10

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/sign_extension.rs:8

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/left_shift.rs:12

Methodsuffix_mle

Evaluates the MLE for this suffix on the bitvector `b`, where `b` represents `b.len()` variables, each assuming a Boolean value.

jolt-core/src/zkvm/lookup_table/suffixes/mod.rs:81

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/xor.rs:9

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/right_shift_helper.rs:11

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/lt.rs:10

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/right_is_zero.rs:9

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/eq.rs:9

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/upper_word.rs:10

Methodsuffix_mle

(_: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/one.rs:9

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/div_by_zero.rs:11

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/lsb.rs:9

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/pow2.rs:10

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/gt.rs:10

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/or.rs:9

Methodsuffix_mle

(b: LookupBits)

jolt-core/src/zkvm/lookup_table/suffixes/right_shift.rs:11

← previous next →1,801–1,900 of 2,242, ranked by callers