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
↓ 1 callers
Method
virtual_sequence
(&self)
tracer/src/instruction/remu.rs:81
↓ 1 callers
Method
virtual_sequence
(&self)
tracer/src/instruction/sb.rs:57
↓ 1 callers
Method
virtual_sequence
(&self)
tracer/src/instruction/mulh.rs:52
↓ 1 callers
Method
virtual_sequence
(&self)
tracer/src/instruction/lbu.rs:57
↓ 1 callers
Method
virtual_sequence
(&self)
tracer/src/instruction/lh.rs:59
↓ 1 callers
Method
virtual_sequence
(&self)
tracer/src/instruction/srai.rs:47
↓ 1 callers
Method
virtual_sequence
(&self)
tracer/src/instruction/inline_sha256/sha256.rs:70
↓ 1 callers
Method
virtual_sequence
(&self)
tracer/src/instruction/inline_sha256/sha256init.rs:60
↓ 1 callers
Method
write_byte
Writes a byte to memory. # Arguments `address` `value`
tracer/src/emulator/memory.rs:95
↓ 1 callers
Method
write_doubleword
(&mut self, p_address: u64, value: u64)
tracer/src/emulator/mmu.rs:1170
↓ 1 callers
Function
write_flat_file
( f: &mut impl std::io::Write, modules: Vec<Box<dyn AsModule>>, )
zklean-extractor/src/main.rs:50
↓ 1 callers
Method
write_halfword
(&mut self, p_address: u64, value: u16)
tracer/src/emulator/mmu.rs:1152
↓ 1 callers
Method
write_signature
Writes the signature region to a writer with specified granularity. Each word of the signature is written as a hexadecimal string representation. # A
tracer/src/emulator/mod.rs:278
↓ 1 callers
Function
write_tag_file
()
jolt-core/src/host/toolchain.rs:75
↓ 1 callers
Method
write_to_file
(self, path: PathBuf)
jolt-core/src/host/analyze.rs:42
↓ 1 callers
Method
write_word
(&mut self, p_address: u64, value: u32)
tracer/src/emulator/mmu.rs:1161
↓ 1 callers
Method
zklean_imports
(&self)
zklean-extractor/src/instruction.rs:133
↓ 1 callers
Method
zklean_imports
(&self)
zklean-extractor/src/r1cs.rs:175
↓ 1 callers
Method
zklean_imports
(&self)
zklean-extractor/src/flags.rs:92
↓ 1 callers
Method
zklean_imports
(&self)
zklean-extractor/src/subtable.rs:101
↓ 1 callers
Method
zklean_pretty_print
Pretty print an instruction as a ZkLean `ComposedLookupTable`.
zklean-extractor/src/instruction.rs:79
↓ 1 callers
Method
zklean_pretty_print
( &self, f: &mut impl std::io::Write, mut indent_level: usize, )
zklean-extractor/src/r1cs.rs:54
↓ 1 callers
Method
zklean_pretty_print
( &self, f: &mut impl std::io::Write, mut indent_level: usize, )
zklean-extractor/src/flags.rs:46
↓ 1 callers
Method
zklean_pretty_print
Pretty print a subtable as a ZkLean `Subtable`.
zklean-extractor/src/subtable.rs:54
Method
_compute_final_commitment_keys
( l_params: &[P::G2], transcript: &[P::ScalarField], )
jolt-core/src/poly/commitment/bmmtv/gipa.rs:247
Function
_get_addressing_mode_name
(mode: &AddressingMode)
tracer/src/emulator/mmu.rs:48
Function
_get_privilege_mode_name
(mode: &PrivilegeMode)
tracer/src/emulator/cpu.rs:154
Function
_get_trap_type_name
(trap_type: &TrapType)
tracer/src/emulator/cpu.rs:183
Method
_read_program_headers
Reads ELF program headers # Arguments `header`
tracer/src/emulator/elf_analyzer.rs:235
Method
_set_fcsr_nv
(&mut self)
tracer/src/emulator/cpu.rs:843
Method
_set_fcsr_nx
(&mut self)
tracer/src/emulator/cpu.rs:859
Method
_set_fcsr_of
(&mut self)
tracer/src/emulator/cpu.rs:851
Method
_set_fcsr_uf
(&mut self)
tracer/src/emulator/cpu.rs:855
Method
_verify_base_commitment
( base_ck: &P::G2, base_com: (PairingOutput<P>, P::G1), proof: &GipaProof<
jolt-core/src/poly/commitment/bmmtv/gipa.rs:272
Function
add
(x: u32, y: u32)
examples/multi-function/guest/src/lib.rs:4
Method
add
(mut self, rhs: Self)
zklean-extractor/src/mle_ast.rs:201
Method
add_assign
(&mut self, rhs: &Self)
jolt-core/src/poly/unipoly.rs:256
Method
add_assign
(&mut self, rhs: Self)
zklean-extractor/src/mle_ast.rs:271
Function
afgho_g1_test
()
jolt-core/src/poly/commitment/bmmtv/afgho.rs:64
Method
align_up
(val: u64, align: u64)
common/src/jolt_device.rs:184
Function
alloc
(n: u32)
examples/alloc/guest/src/lib.rs:7
Method
alloc
(&self, layout: Layout)
jolt-sdk/src/alloc.rs:6
Method
alloc_Q
(m: usize)
jolt-core/src/poly/prefix_suffix.rs:230
Function
allocate_stack_with_increased_size
()
examples/overflow/guest/src/lib.rs:14
Method
analyze
(&self)
jolt-core/src/host/analyze.rs:24
Method
append_field
(&mut self, _label: &[u8], x: &Self::Scalar)
jolt-core/src/poly/commitment/dory.rs:955
Method
append_group
(&mut self, _label: &[u8], g: &G)
jolt-core/src/poly/commitment/dory.rs:963
Method
append_serde
(&mut self, _label: &[u8], s: &S)
jolt-core/src/poly/commitment/dory.rs:971
Method
append_to_transcript
(&self, transcript: &mut ProofTranscript)
jolt-core/src/poly/commitment/hyperkzg.rs:71
Method
append_to_transcript
(&self, transcript: &mut ProofTranscript)
jolt-core/src/poly/commitment/mock.rs:28
Method
append_to_transcript
(&self, transcript: &mut ProofTranscript)
jolt-core/src/poly/commitment/hyrax.rs:110
Method
append_to_transcript
(&self, transcript: &mut ProofTranscript)
jolt-core/src/poly/commitment/zeromorph.rs:91
Method
append_to_transcript
(&self, transcript: &mut PT)
jolt-core/src/poly/commitment/dory.rs:1237
Method
append_to_transcript
(&self, transcript: &mut ProofTranscript)
jolt-core/src/poly/commitment/bmmtv/hyperbmmtv.rs:47
Function
arb_field_elem
()
zklean-extractor/src/util.rs:25
Function
arb_instruction_and_input
( )
zklean-extractor/src/instruction.rs:202
Function
arb_subtable
( )
zklean-extractor/src/subtable.rs:167
Method
as_module
(&self)
zklean-extractor/src/instruction.rs:139
Method
as_module
(&self)
zklean-extractor/src/flags.rs:103
Method
as_module
(&self)
zklean-extractor/src/subtable.rs:107
Method
as_vec
(&self)
jolt-core/src/poly/unipoly.rs:110
Method
assert_no_duplicate_terms
(terms: &[Term])
jolt-core/src/zkvm/r1cs/ops.rs:132
Method
at_tick_boundary
(&self)
tracer/src/lib.rs:174
Method
batch_commit
(polys: &[U], gens: &Self::ProverSetup)
jolt-core/src/poly/commitment/hyperkzg.rs:442
Method
batch_commit
(polys: &[P], gens: &Self::ProverSetup)
jolt-core/src/poly/commitment/mock.rs:61
Method
batch_commit
( batch: &[&[G::ScalarField]], generators: &PedersenGenerators<G>, )
jolt-core/src/poly/commitment/hyrax.rs:82
Method
batch_commit
(polys: &[U], gens: &Self::ProverSetup)
jolt-core/src/poly/commitment/zeromorph.rs:463
Method
batch_commit
(_polys: &[U], _setup: &Self::ProverSetup)
jolt-core/src/poly/commitment/dory.rs:1082
Method
batch_commit
(polys: &[U], gens: &Self::ProverSetup)
jolt-core/src/poly/commitment/bmmtv/hyperbmmtv.rs:127
Method
batch_evaluate
(polys: &[&Self], r: &[F])
jolt-core/src/poly/multilinear_polynomial.rs:602
Method
batch_evaluate
(polys: &[&Self], r: &[F])
jolt-core/src/poly/dense_mlpoly.rs:374
Method
batch_evaluate
(_polys: &[&Self], _r: &[F])
jolt-core/src/poly/identity_poly.rs:70
Method
batch_evaluate
(_polys: &[&Self], _r: &[F])
jolt-core/src/poly/prefix_suffix.rs:91
Method
batch_msm
(bases: &[Self::MulBase], polys: &[U])
jolt-core/src/msm/mod.rs:161
Method
batch_msm_univariate
( bases: &[Self::MulBase], polys: &[UniPoly<Self::ScalarField>], )
jolt-core/src/msm/mod.rs:171
Function
batched_lifted_degree_quotient
()
jolt-core/src/poly/commitment/zeromorph.rs:588
Function
bench_all
(c: &mut Criterion)
jolt-core/benches/poly_bench.rs:23
Function
bench_polynomial_binding
(input: (DensePolynomial<F>, F))
jolt-core/benches/iai.rs:26
Function
bench_polynomial_evaluate
(input: (DensePolynomial<F>, Vec<F>))
jolt-core/benches/iai.rs:33
Function
bench_u8
(c: &mut Criterion)
jolt-core/benches/compact_poly_bench.rs:23
Function
benchmark_commit
( c: &mut Criterion, name: &str, num_layer: usize, layer_size: usize, threshold: u32, )
jolt-core/benches/commit.rs:68
Function
benchmark_compact
( c: &mut Criterion, num_vars: usize, binding_order: BindingOrder, )
jolt-core/benches/binding.rs:76
Function
benchmark_dense
(c: &mut Criterion, num_vars: usize)
jolt-core/benches/binding.rs:22
Function
benchmark_dense_batch
(c: &mut Criterion, num_vars: usize, batch_size: usize)
jolt-core/benches/binding.rs:47
Function
benchmark_dense_parallel
( c: &mut Criterion, num_vars: usize, binding_order: BindingOrder, )
jolt-core/benches/binding.rs:105
Function
benchmark_dory_dense
(c: &mut Criterion, name: &str, K: usize, T: usize)
jolt-core/benches/commit.rs:92
Method
bind
(&mut self, r: F, order: BindingOrder)
jolt-core/src/poly/multilinear_polynomial.rs:545
Method
bind
(&mut self, r: F, order: BindingOrder)
jolt-core/src/poly/compact_polynomial.rs:209
Method
bind
(&mut self, r_j: F, round: usize)
jolt-core/src/poly/opening_proof.rs:244
Method
bind
(&mut self, r_j: F, round: usize)
jolt-core/src/zkvm/instruction_lookups/booleanity.rs:169
Method
bind
(&mut self, r_j: F, _round: usize)
jolt-core/src/zkvm/instruction_lookups/hamming_weight.rs:121
Method
bind
(&mut self, r_j: F, round: usize)
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:327
Method
bind
(&mut self, r_j: F, round: usize)
jolt-core/src/zkvm/bytecode/booleanity.rs:188
Method
bind
(&mut self, r_j: F, _round: usize)
jolt-core/src/zkvm/bytecode/hamming_weight.rs:109
Method
bind
(&mut self, r_j: F, round: usize)
jolt-core/src/zkvm/bytecode/read_raf_checking.rs:656
Method
bind
(&mut self, r_j: F, _round: usize)
jolt-core/src/zkvm/registers/val_evaluation.rs:177
Method
bind
(&mut self, r_j: F, round: usize)
jolt-core/src/zkvm/ram/booleanity.rs:227
Method
bind
(&mut self, r_j: F, _: usize)
jolt-core/src/zkvm/ram/ra_virtual.rs:272
Method
bind
(&mut self, r_j: F, _round: usize)
jolt-core/src/zkvm/ram/val_evaluation.rs:198
Method
bind
(&mut self, r_j: F, _round: usize)
jolt-core/src/zkvm/ram/raf_evaluation.rs:177
← previous
next →
601–700 of 2,242, ranked by callers