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
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/jal.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_shift_right_bitmask.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/ori.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/bne.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/mul.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/xori.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/slt.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_rotri.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_pow2i.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/beq.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/ecall.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_move.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/jalr.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_valid_signed_remainder.rs:16
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/or.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/bltu.rs:13
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/sltu.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_srli.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_valid_unsigned_remainder.rs:18
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/addi.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/mulhu.rs:14
Method
circuit_flags
(&self)
jolt-core/src/zkvm/instruction/and.rs:14
Method
clone
(&self)
jolt-core/src/poly/compact_polynomial.rs:376
Method
clone_emulator_state
(&self)
tracer/src/lib.rs:182
Method
clone_n
(&self, n: usize)
jolt-core/src/poly/commitment/pedersen.rs:39
Function
collatz_convergence_range
(start: u128, end: u128)
examples/collatz/guest/src/lib.rs:4
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/virtual_srl.rs:49
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/range_check.rs:32
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/xor.rs:38
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/valid_unsigned_remainder.rs:46
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/equal.rs:35
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/virtual_sra.rs:63
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/signed_greater_than_equal.rs:36
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/sub.rs:32
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/unsigned_greater_than_equal.rs:37
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/upper_word.rs:32
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/unsigned_less_than_equal.rs:41
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/shift_right_bitmask.rs:45
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/valid_signed_remainder.rs:100
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/virtual_rotr.rs:73
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/halfword_alignment.rs:32
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/unsigned_less_than.rs:42
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/movsign.rs:37
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/pow2.rs:34
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/not_equal.rs:34
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/or.rs:37
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/signed_less_than.rs:47
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/valid_div0.rs:51
Method
combine
(&self, prefixes: &[PrefixEval<F>], suffixes: &[SuffixEval<F>])
jolt-core/src/zkvm/lookup_table/and.rs:37
Method
combine_commitments
( commitments: &[C], coeffs: &[Self::Field], )
jolt-core/src/poly/commitment/hyperkzg.rs:453
Method
combine_commitments
( _commitments: &[C], _coeffs: &[Self::Field], )
jolt-core/src/poly/commitment/mock.rs:71
Method
combine_commitments
( commitments: &[C], coeffs: &[Self::Field], )
jolt-core/src/poly/commitment/zeromorph.rs:474
Method
combine_commitments
( commitments: &[C], coeffs: &[Self::Field], )
jolt-core/src/poly/commitment/dory.rs:1175
Method
combine_commitments
Homomorphically combines multiple commitments into a single commitment, computed as a linear combination with the given coefficients.
jolt-core/src/poly/commitment/commitment_scheme.rs:67
Method
combine_hints
( _hints: Vec<Self::OpeningProofHint>, _coeffs: &[Self::Field], )
jolt-core/src/poly/commitment/mock.rs:78
Method
combine_hints
( hints: Vec<Self::OpeningProofHint>, coeffs: &[Self::Field], )
jolt-core/src/poly/commitment/dory.rs:1196
Method
combine_hints
Homomorphically combines multiple opening proof hints into a single hint, computed as a linear combination with the given coefficients.
jolt-core/src/poly/commitment/commitment_scheme.rs:76
Method
commit
( pp: &HyperKZGProverKey<P>, poly: &MultilinearPolynomial<P::ScalarField>, )
jolt-core/src/poly/commitment/hyperkzg.rs:271
Method
commit
(&self, gens: &PedersenGenerators<G>)
jolt-core/src/poly/commitment/pedersen.rs:63
Method
commit
( _poly: &MultilinearPolynomial<Self::Field>, _setup: &Self::ProverSetup, )
jolt-core/src/poly/commitment/mock.rs:54
Method
commit
( poly: &DensePolynomial<G::ScalarField>, generators: &PedersenGenerators<G>, )
jolt-core/src/poly/commitment/hyrax.rs:60
Method
commit
( pp: &ZeromorphProverKey<P>, poly: &MultilinearPolynomial<P::ScalarField>, )
jolt-core/src/poly/commitment/zeromorph.rs:253
Method
commit
( poly: &MultilinearPolynomial<Self::Field>, setup: &Self::ProverSetup, )
jolt-core/src/poly/commitment/dory.rs:1072
Method
commit
( pk: &KZGProverKey<P>, poly: &UniPoly<P::ScalarField>, )
jolt-core/src/poly/commitment/kzg.rs:272
Method
commit
( poly: &MultilinearPolynomial<Self::Field>, setup: &Self::ProverSetup, )
jolt-core/src/poly/commitment/bmmtv/hyperbmmtv.rs:116
Method
commit
Commits to some message `msg` taking the parameters `params` from [`Self::setup`] and outputting [`Self::Output`]
jolt-core/src/poly/commitment/bmmtv/afgho.rs:38
Method
commit
( kzg_srs: &KZGProverKey<P>, bivariate_polynomial: &BivariatePolynomial<P::ScalarField>, )
jolt-core/src/poly/commitment/bmmtv/poly_commit.rs:68
Method
commit_as_univariate
( pk: &KZGProverKey<P>, poly: &MultilinearPolynomial<P::ScalarField>, )
jolt-core/src/poly/commitment/kzg.rs:280
Method
commit_batch
( pk: &KZGProverKey<P>, polys: &[U], )
jolt-core/src/poly/commitment/kzg.rs:191
Method
commit_inner
( pk: &KZGProverKey<P>, coeffs: &[P::ScalarField], offset: usize, )
jolt-core/src/poly/commitment/kzg.rs:297
Method
commit_inner_helper
( pk: &KZGProverKey<P>, coeffs: &[P::ScalarField], offset: usize, )
jolt-core/src/poly/commitment/kzg.rs:307
Method
commit_offset
( pk: &KZGProverKey<P>, poly: &UniPoly<P::ScalarField>, offset: usize, )
jolt-core/src/poly/commitment/kzg.rs:263
Method
commit_rows
( &self, bases: &[G::Affine], )
jolt-core/src/poly/one_hot_polynomial.rs:361
Method
commit_rows
( &self, bases: &[G::Affine], )
jolt-core/src/poly/rlc_polynomial.rs:45
Method
commit_rows
( &self, g1_generators: &[JoltGroupWrapper<G>], row_len: usize, )
jolt-core/src/poly/commitment/dory.rs:761
Method
commit_variable_batch
( pk: &KZGProverKey<P>, polys: &[MultilinearPolynomial<P::ScalarField>], )
jolt-core/src/poly/commitment/kzg.rs:222
Method
commit_variable_batch_univariate
( pk: &KZGProverKey<P>, polys: &[UniPoly<P::ScalarField>], )
jolt-core/src/poly/commitment/kzg.rs:241
Method
commit_vector
(inputs: &[Self], bases: &[G::Affine])
jolt-core/src/poly/commitment/pedersen.rs:68
Function
compare_random_evaluations
()
jolt-core/src/poly/dense_mlpoly.rs:484
Method
compare_to
Compare this transcript to `other` and panic if/when they deviate. Typically used to compare the verifier's transcript to the prover's.
jolt-core/src/utils/transcript.rs:103
Function
compute_and_update_tA_inplace
( binary_az_evals_input: &[i128], // Source of 2^N binary evals for Az binary_bz_evals_input:
jolt-core/src/utils/small_value.rs:687
Function
compute_and_update_tA_inplace_generic
( binary_az_evals: &[i128], binary_bz_evals: &[i128], e_in_val: &F, temp_tA: &
jolt-core/src/utils/small_value.rs:245
Function
compute_batched_lifted_degree_quotient
Compute the batched, lifted-degree quotient `\hat{q}`
jolt-core/src/poly/commitment/zeromorph.rs:146
Function
compute_chis_at_r
(r: &[F])
jolt-core/src/poly/dense_mlpoly.rs:424
Method
compute_eval_points_spartan_quadratic
( poly_A: &DensePolynomial<F>, poly_B: &DensePolynomial<F>, )
jolt-core/src/subprotocols/sumcheck.rs:583
Method
compute_lookup_tables
Computes the small-value lookup tables.
jolt-core/src/field/mod.rs:52
Method
compute_lookup_tables
()
jolt-core/src/field/ark.rs:24
Function
compute_multilinear_quotients
( poly: &DensePolynomial<P::ScalarField>, point: &[P::ScalarField], )
jolt-core/src/poly/commitment/zeromorph.rs:103
Method
compute_prover_message
(&mut self, _round: usize, previous_claim: F)
jolt-core/src/poly/opening_proof.rs:199
Method
compute_prover_message
(&mut self, round: usize, previous_claim: F)
jolt-core/src/zkvm/instruction_lookups/booleanity.rs:158
Method
compute_prover_message
(&mut self, _round: usize, _previous_claim: F)
jolt-core/src/zkvm/instruction_lookups/hamming_weight.rs:104
Method
compute_prover_message
(&mut self, round: usize, _previous_claim: F)
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:283
Method
compute_prover_message
(&mut self, round: usize, _previous_claim: F)
jolt-core/src/zkvm/bytecode/booleanity.rs:177
Method
compute_prover_message
(&mut self, _round: usize, _previous_claim: F)
jolt-core/src/zkvm/bytecode/hamming_weight.rs:91
Method
compute_prover_message
(&mut self, round: usize, _previous_claim: F)
jolt-core/src/zkvm/bytecode/read_raf_checking.rs:538
Method
compute_prover_message
(&mut self, round: usize, previous_claim: F)
jolt-core/src/zkvm/registers/read_write_checking.rs:1076
Method
compute_prover_message
(&mut self, _round: usize, _previous_claim: F)
jolt-core/src/zkvm/registers/val_evaluation.rs:136
Method
compute_prover_message
(&mut self, round: usize, previous_claim: F)
jolt-core/src/zkvm/ram/booleanity.rs:216
Method
compute_prover_message
(&mut self, round: usize, previous_claim: F)
jolt-core/src/zkvm/ram/read_write_checking.rs:979
Method
compute_prover_message
(&mut self, _round: usize, _previous_claim: F)
jolt-core/src/zkvm/ram/ra_virtual.rs:316
← previous
next →
801–900 of 2,242, ranked by callers