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
Method
bind
(&mut self, r_j: F, _: usize)
jolt-core/src/zkvm/ram/output_check.rs:237
Method
bind
(&mut self, r_j: F, _round: usize)
jolt-core/src/zkvm/ram/hamming_weight.rs:182
Method
bind
(&mut self, r_j: F, _round: usize)
jolt-core/src/zkvm/ram/hamming_booleanity.rs:127
Method
bind
(&mut self, r_j: F, _round: usize)
jolt-core/src/zkvm/r1cs/spartan.rs:275
Function
bind_high_low
()
jolt-core/src/poly/split_eq_poly.rs:381
Function
bind_low_high
()
jolt-core/src/poly/split_eq_poly.rs:359
Method
bind_parallel
(&mut self, r: F, order: BindingOrder)
jolt-core/src/poly/multilinear_polynomial.rs:558
Method
bind_parallel
(&mut self, r: F, order: BindingOrder)
jolt-core/src/poly/identity_poly.rs:52
Method
bind_parallel
(&mut self, r: F, order: BindingOrder)
jolt-core/src/poly/compact_polynomial.rs:287
Method
binding_output_length
Computes the number of non-zero coefficients that would result from binding the given slice of coefficients. Only invoked on `bound_coeffs` which hold
jolt-core/src/poly/spartan_interleaved_poly.rs:995
Method
bivariate_degrees
(univariate_degree: usize)
jolt-core/src/poly/commitment/bmmtv/poly_commit.rs:185
Method
bivariate_form
( bivariate_degrees: (usize, usize), polynomial: &UnivariatePolynomial<P::ScalarField>, )
jolt-core/src/poly/commitment/bmmtv/poly_commit.rs:193
Function
bivariate_poly_commit_test
()
jolt-core/src/poly/commitment/bmmtv/poly_commit.rs:286
Function
bound_poly_setup
(size: usize)
jolt-core/benches/iai.rs:7
Method
bound_poly_var_top_many_ones
(&mut self, r: &F)
jolt-core/src/poly/dense_mlpoly.rs:98
Function
btreemap
(n: u32)
examples/btreemap/guest/src/lib.rs:21
Function
build_y_ext_code_map
()
jolt-core/src/utils/small_value.rs:114
Method
cache_openings_prover
( &self, _accumulator: std::rc::Rc<std::cell::RefCell<ProverOpeningAccumulator<F>>>, _
jolt-core/src/poly/opening_proof.rs:513
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, opening_point: Opening
jolt-core/src/zkvm/instruction_lookups/booleanity.rs:254
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, opening_point: Opening
jolt-core/src/zkvm/instruction_lookups/hamming_weight.rs:157
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, r_sumcheck: OpeningPoi
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:443
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, opening_point: Opening
jolt-core/src/zkvm/bytecode/booleanity.rs:280
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, opening_point: Opening
jolt-core/src/zkvm/bytecode/hamming_weight.rs:144
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, opening_point: Opening
jolt-core/src/zkvm/bytecode/read_raf_checking.rs:748
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, opening_point: Opening
jolt-core/src/zkvm/registers/read_write_checking.rs:1157
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, r_cycle: OpeningPoint<
jolt-core/src/zkvm/registers/val_evaluation.rs:220
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, opening_point: Opening
jolt-core/src/zkvm/ram/booleanity.rs:342
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, opening_point: Opening
jolt-core/src/zkvm/ram/read_write_checking.rs:1045
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, r_cycle: OpeningPoint<
jolt-core/src/zkvm/ram/ra_virtual.rs:369
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, r_cycle_prime: Opening
jolt-core/src/zkvm/ram/val_evaluation.rs:240
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, r_address: OpeningPoin
jolt-core/src/zkvm/ram/raf_evaluation.rs:207
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, opening_point: Opening
jolt-core/src/zkvm/ram/output_check.rs:302
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, r_address: OpeningPoin
jolt-core/src/zkvm/ram/hamming_weight.rs:222
Method
cache_openings_prover
( &self, accumulator: Rc<RefCell<ProverOpeningAccumulator<F>>>, opening_point: Opening
jolt-core/src/zkvm/ram/hamming_booleanity.rs:165
Method
cache_openings_verifier
( &self, _accumulator: std::rc::Rc<std::cell::RefCell<VerifierOpeningAccumulator<F>>>,
jolt-core/src/poly/opening_proof.rs:521
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, r_sumcheck: OpeningP
jolt-core/src/zkvm/instruction_lookups/booleanity.rs:274
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, opening_point: Openi
jolt-core/src/zkvm/instruction_lookups/hamming_weight.rs:177
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, r_sumcheck: OpeningP
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:495
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, opening_point: Openi
jolt-core/src/zkvm/bytecode/booleanity.rs:298
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, opening_point: Openi
jolt-core/src/zkvm/bytecode/hamming_weight.rs:173
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, opening_point: Openi
jolt-core/src/zkvm/bytecode/read_raf_checking.rs:771
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, opening_point: Openi
jolt-core/src/zkvm/registers/read_write_checking.rs:1208
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, r_cycle: OpeningPoin
jolt-core/src/zkvm/registers/val_evaluation.rs:250
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, opening_point: Openi
jolt-core/src/zkvm/ram/booleanity.rs:368
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, opening_point: Openi
jolt-core/src/zkvm/ram/read_write_checking.rs:1079
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, r_cycle: OpeningPoin
jolt-core/src/zkvm/ram/ra_virtual.rs:391
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, r_cycle_prime: Openi
jolt-core/src/zkvm/ram/val_evaluation.rs:273
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, r_address: OpeningPo
jolt-core/src/zkvm/ram/raf_evaluation.rs:230
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, opening_point: Openi
jolt-core/src/zkvm/ram/output_check.rs:327
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, r_address: OpeningPo
jolt-core/src/zkvm/ram/hamming_weight.rs:252
Method
cache_openings_verifier
( &self, accumulator: Rc<RefCell<VerifierOpeningAccumulator<F>>>, opening_point: Openi
jolt-core/src/zkvm/ram/hamming_booleanity.rs:182
Method
capture_post_execution_state
(&self, _: &mut Self::RegisterState, _: &mut Cpu)
tracer/src/instruction/format/format_virtual_halfword_alignment.rs:48
Method
capture_post_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_i.rs:65
Method
capture_post_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_u.rs:56
Method
capture_post_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_virtual_right_shift_i.rs:54
Method
capture_post_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_virtual_right_shift_r.rs:64
Method
capture_post_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_j.rs:58
Method
capture_post_execution_state
(&self, _: &mut Self::RegisterState, _: &mut Cpu)
tracer/src/instruction/format/format_b.rs:67
Method
capture_post_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_load.rs:67
Method
capture_post_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_r.rs:65
Method
capture_pre_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_virtual_halfword_alignment.rs:44
Method
capture_pre_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_i.rs:60
Method
capture_pre_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_u.rs:52
Method
capture_pre_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_virtual_right_shift_i.rs:49
Method
capture_pre_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_virtual_right_shift_r.rs:58
Method
capture_pre_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_j.rs:54
Method
capture_pre_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_b.rs:62
Method
capture_pre_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_load.rs:62
Method
capture_pre_execution_state
(&self, state: &mut Self::RegisterState, cpu: &mut Cpu)
tracer/src/instruction/format/format_r.rs:59
Method
check
(&self)
jolt-core/src/poly/multilinear_polynomial.rs:35
Method
check
(&self)
jolt-core/src/zkvm/dag/proof_serialization.rs:83
Method
check
(&self)
zklean-extractor/src/mle_ast.rs:61
Method
check
(&self)
tracer/src/instruction/mod.rs:547
Function
check_memoized_chis
()
jolt-core/src/poly/dense_mlpoly.rs:444
Function
check_memoized_chis_helper
()
jolt-core/src/poly/dense_mlpoly.rs:448
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/andi.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_eq.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_movsign.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/sltiu.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_srl.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/bge.rs:16
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/auipc.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_srai.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_muli.rs:15
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/fence.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/xor.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_lte.rs:16
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_shift_right_bitmaski.rs:13
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_pow2.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/bgeu.rs:16
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/lui.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_advice.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/lw.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/blt.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_sra.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_halfword_alignment.rs:16
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/add.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/slti.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_valid_div0.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/sub.rs:14
← previous
next →
701–800 of 2,242, ranked by callers