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
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/bytecode/booleanity.rs:273
Method
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/bytecode/hamming_weight.rs:140
Method
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/bytecode/read_raf_checking.rs:742
Method
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/registers/read_write_checking.rs:1146
Method
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/registers/val_evaluation.rs:216
Method
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/ram/booleanity.rs:335
Method
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/ram/read_write_checking.rs:1034
Method
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/ram/ra_virtual.rs:365
Method
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/ram/val_evaluation.rs:236
Method
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/ram/raf_evaluation.rs:203
Method
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/ram/output_check.rs:298
Method
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/ram/hamming_weight.rs:218
Method
normalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/ram/hamming_booleanity.rs:159
Function
normalize_register
(value: usize)
tracer/src/emulator/cpu.rs:1649
Method
num_bits
(&self)
jolt-core/src/field/mod.rs:72
Method
num_bits
(&self)
jolt-core/src/field/ark.rs:150
Method
num_cols_total
Number of columns across all steps + constant column padded to next power of two.
jolt-core/src/zkvm/r1cs/key.rs:112
Method
num_inputs
The total number of unique constraint inputs
jolt-core/src/zkvm/r1cs/inputs.rs:178
Method
num_lookups
The number of field elements in the input to `combine_lookups`. See the doc comment for [`JoltInstruction::combine_lookups`] for more info.
zklean-extractor/src/instruction.rs:44
Method
num_rounds
(&self)
jolt-core/src/poly/opening_proof.rs:468
Method
num_rounds
(&self)
jolt-core/src/zkvm/instruction_lookups/booleanity.rs:146
Method
num_rounds
(&self)
jolt-core/src/zkvm/instruction_lookups/hamming_weight.rs:95
Method
num_rounds
(&self)
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:274
Method
num_rounds
(&self)
jolt-core/src/zkvm/bytecode/booleanity.rs:168
Method
num_rounds
(&self)
jolt-core/src/zkvm/bytecode/hamming_weight.rs:82
Method
num_rounds
(&self)
jolt-core/src/zkvm/bytecode/read_raf_checking.rs:529
Method
num_rounds
(&self)
jolt-core/src/zkvm/registers/read_write_checking.rs:1067
Method
num_rounds
(&self)
jolt-core/src/zkvm/registers/val_evaluation.rs:124
Method
num_rounds
(&self)
jolt-core/src/zkvm/ram/booleanity.rs:207
Method
num_rounds
(&self)
jolt-core/src/zkvm/ram/read_write_checking.rs:970
Method
num_rounds
(&self)
jolt-core/src/zkvm/ram/ra_virtual.rs:267
Method
num_rounds
(&self)
jolt-core/src/zkvm/ram/val_evaluation.rs:148
Method
num_rounds
(&self)
jolt-core/src/zkvm/ram/raf_evaluation.rs:138
Method
num_rounds
(&self)
jolt-core/src/zkvm/ram/output_check.rs:187
Method
num_rounds
(&self)
jolt-core/src/zkvm/ram/hamming_weight.rs:150
Method
num_rounds
(&self)
jolt-core/src/zkvm/ram/hamming_booleanity.rs:81
Method
num_rows_total
(&self)
jolt-core/src/zkvm/r1cs/key.rs:116
Method
num_terms
(&self)
jolt-core/src/zkvm/r1cs/ops.rs:76
Method
one
()
jolt-core/src/poly/commitment/dory.rs:150
Method
one
()
zklean-extractor/src/mle_ast.rs:184
Method
open
( pk: &HyperKZGProverKey<P>, poly: &MultilinearPolynomial<P::ScalarField>, point: &[P:
jolt-core/src/poly/commitment/hyperkzg.rs:287
Method
open
( pp: &ZeromorphProverKey<P>, poly: &MultilinearPolynomial<P::ScalarField>, point: &[P
jolt-core/src/poly/commitment/zeromorph.rs:269
Method
open
( pk: &KZGProverKey<P>, poly: &UniPoly<P::ScalarField>, point: &P::ScalarField, )
jolt-core/src/poly/commitment/kzg.rs:329
Method
open
( kzg_srs: &KZGProverKey<P>, bivariate_polynomial: &BivariatePolynomial<P::ScalarField>,
jolt-core/src/poly/commitment/bmmtv/poly_commit.rs:98
Function
operand_poly
()
jolt-core/src/poly/identity_poly.rs:554
Function
operand_poly_boolean_hypercube
()
jolt-core/src/poly/identity_poly.rs:519
Function
operand_poly_prefix_suffix_decomposition
()
jolt-core/src/poly/identity_poly.rs:477
Method
optimised_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/compact_polynomial.rs:153
Function
overflow_heap
()
examples/overflow/guest/src/lib.rs:19
Method
pack_be
(unpacked: Vec<Variable>, operand_bits: usize)
jolt-core/src/zkvm/r1cs/builder.rs:155
Method
pack_le
(unpacked: Vec<Variable>, operand_bits: usize)
jolt-core/src/zkvm/r1cs/builder.rs:146
Method
pair
(p: &Self::G1, q: &Self::G2)
jolt-core/src/poly/commitment/dory.rs:590
Method
parse
(_: u32)
tracer/src/instruction/format/format_virtual_halfword_alignment.rs:40
Method
parse
(word: u32)
tracer/src/instruction/format/format_s.rs:45
Method
parse
(word: u32)
tracer/src/instruction/format/format_i.rs:45
Method
parse
(word: u32)
tracer/src/instruction/format/format_u.rs:38
Method
parse
(_: u32)
tracer/src/instruction/format/format_virtual_right_shift_i.rs:45
Method
parse
(_: u32)
tracer/src/instruction/format/format_virtual_right_shift_r.rs:54
Method
parse
(word: u32)
tracer/src/instruction/format/format_j.rs:38
Method
parse
(word: u32)
tracer/src/instruction/format/format_b.rs:45
Method
parse
(word: u32)
tracer/src/instruction/format/format_load.rs:47
Method
parse
(word: u32)
tracer/src/instruction/format/format_r.rs:51
Function
partially_evaluated_quotient_z_x
()
jolt-core/src/poly/commitment/zeromorph.rs:731
Function
partially_evaluated_quotient_zeta
()
jolt-core/src/poly/commitment/zeromorph.rs:657
Function
phi
Evaluate Phi_k(x) = \sum_{i=0}^k x^i using the direct inefficient formula
jolt-core/src/poly/commitment/zeromorph.rs:524
Function
phi_n_k_1_x_evaluation
()
jolt-core/src/poly/commitment/zeromorph.rs:709
Function
phi_n_x_evaluation
()
jolt-core/src/poly/commitment/zeromorph.rs:692
Function
precompute_accumulator_offsets
()
jolt-core/src/utils/small_value.rs:203
Function
precompute_ternary_point_infos
()
jolt-core/src/utils/small_value.rs:1421
Method
prefix_len
(&self)
jolt-core/src/poly/prefix_suffix.rs:226
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/positive_remainder_equals_divisor.rs:8
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, b: LookupBits,
jolt-core/src/zkvm/lookup_table/prefixes/left_is_zero.rs:8
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/left_shift_helper.rs:8
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/lower_word.rs:9
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], _: Option<F>, c: u32, mut b: LookupBits
jolt-core/src/zkvm/lookup_table/prefixes/right_msb.rs:8
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/sign_extension.rs:8
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/left_shift.rs:11
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/negative_divisor_zero_remainder.rs:8
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/positive_remainder_less_than_divisor.rs:8
Method
prefix_mle
Evalautes the MLE for this prefix: - prefix(r, r_x, c, b) if j is odd - prefix(r, c, b) if j is even where the prefix checkpoint captures th
jolt-core/src/zkvm/lookup_table/prefixes/mod.rs:169
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/xor.rs:9
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/lt.rs:8
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/negative_divisor_greater_than_remainder.rs:8
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/right_is_zero.rs:8
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/eq.rs:8
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/negative_divisor_equals_remainder.rs:8
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/upper_word.rs:10
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/div_by_zero.rs:8
Method
prefix_mle
(_: &[PrefixCheckpoint<F>], _: Option<F>, c: u32, b: LookupBits, j: usize)
jolt-core/src/zkvm/lookup_table/prefixes/lsb.rs:9
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, b: LookupBits,
jolt-core/src/zkvm/lookup_table/prefixes/pow2.rs:10
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, _: LookupBits,
jolt-core/src/zkvm/lookup_table/prefixes/left_msb.rs:8
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/or.rs:9
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/right_shift.rs:12
Method
prefix_mle
( checkpoints: &[PrefixCheckpoint<F>], r_x: Option<F>, c: u32, mut b: LookupBi
jolt-core/src/zkvm/lookup_table/prefixes/and.rs:11
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/virtual_srl.rs:81
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/range_check.rs:49
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/xor.rs:56
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/valid_unsigned_remainder.rs:77
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/equal.rs:53
Function
prefix_suffix
()
jolt-core/src/zkvm/lookup_table/virtual_sra.rs:98
← previous
next →
1,601–1,700 of 2,242, ranked by callers