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
update_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/negative_divisor_equals_remainder.rs:63
Method
update_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/upper_word.rs:50
Method
update_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, _: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/div_by_zero.rs:35
Method
update_prefix_checkpoint
( _: &[PrefixCheckpoint<F>], _: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/lsb.rs:22
Method
update_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/pow2.rs:48
Method
update_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, _: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/left_msb.rs:24
Method
update_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/or.rs:36
Method
update_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, _: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/right_shift.rs:35
Method
update_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/and.rs:38
Function
update_xlen
()
tracer/src/emulator/cpu.rs:1679
Method
update_xlen
Updates XLEN, 32-bit or 64-bit # Arguments `xlen`
tracer/src/emulator/mmu.rs:81
Function
val_evaluation_sumcheck
()
jolt-core/src/subprotocols/twist.rs:1191
Method
validate_address
(&self, address: u64)
tracer/src/emulator/mmu.rs:1179
Method
validate_address
Check if the address is valid memory address # Arguments `address`
tracer/src/emulator/memory.rs:164
Method
vandermonde_interpolation
(evals: &[F])
jolt-core/src/poly/unipoly.rs:41
Method
vector_matrix_product
( &self, left_vec: &[JoltFieldWrapper<F>], )
jolt-core/src/poly/rlc_polynomial.rs:112
Method
vector_matrix_product
( poly: &DensePolynomial<G::ScalarField>, L: &[G::ScalarField], ratio: usize, )
jolt-core/src/poly/commitment/hyrax.rs:182
Method
vector_matrix_product
( &self, left_vec: &[JoltFieldWrapper<F>], _sigma: usize, _nu: usize, )
jolt-core/src/poly/commitment/dory.rs:829
Method
verify
A method to verify purported evaluations of a batch of polynomials
jolt-core/src/poly/commitment/hyperkzg.rs:335
Method
verify
( proof: &Self::Proof, _setup: &Self::VerifierSetup, _transcript: &mut ProofTranscript
jolt-core/src/poly/commitment/mock.rs:97
Method
verify
( &self, pedersen_generators: &PedersenGenerators<G>, opening_point: &[G::ScalarField]
jolt-core/src/poly/commitment/hyrax.rs:146
Method
verify
( vk: &ZeromorphVerifierKey<P>, comm: &ZeromorphCommitment<P>, point: &[P::ScalarField
jolt-core/src/poly/commitment/zeromorph.rs:352
Method
verify
( proof: &Self::Proof, setup: &Self::VerifierSetup, transcript: &mut ProofTranscript,
jolt-core/src/poly/commitment/dory.rs:1133
Method
verify
( vk: &KZGVerifierKey<P>, commitment: &P::G1Affine, point: &P::ScalarField, pr
jolt-core/src/poly/commitment/kzg.rs:342
Method
verify
( proof: &Self::Proof, setup: &Self::VerifierSetup, transcript: &mut ProofTranscript,
jolt-core/src/poly/commitment/bmmtv/hyperbmmtv.rs:227
Method
verify
( (mut com_a, mut com_t): (PairingOutput<P>, P::G1), commitment_steps: &CommitmentSteps<P>,
jolt-core/src/poly/commitment/bmmtv/gipa.rs:193
Method
verify
Verifies if the commitment is really the output of `msg` and params `k`
jolt-core/src/poly/commitment/bmmtv/afgho.rs:42
Method
verify
( v_srs: &KZGVerifierKey<P>, com: (PairingOutput<P>, P::G1), scalar_b: P::ScalarField,
jolt-core/src/poly/commitment/bmmtv/mipp_k.rs:176
Method
verify
( v_srs: &KZGVerifierKey<P>, com: PairingOutput<P>, point: (P::ScalarField, P::ScalarF
jolt-core/src/poly/commitment/bmmtv/poly_commit.rs:152
Method
verify
( preprocessing: &JoltVerifierPreprocessing<F, PCS>, proof: JoltProof<F, PCS, FS>, mut
jolt-core/src/zkvm/mod.rs:253
Method
verify
Verifies a single sumcheck instance.
jolt-core/src/subprotocols/sumcheck.rs:120
Method
verify_g2
( v_srs: &KZGVerifierKey<P>, commitment: P::G2, point: P::ScalarField, proof:
jolt-core/src/poly/commitment/kzg.rs:386
Function
verify_proof
()
jolt-verifier/tests/verifier_api.rs:6
Function
version
()
src/main.rs:41
Method
write_csr
(&mut self, address: u16, value: u64)
tracer/src/emulator/cpu.rs:765
Method
write_doubleword
Writes eight bytes to memory. # Arguments `address` `value`
tracer/src/emulator/memory.rs:136
Method
write_halfword
Writes two bytes to memory. # Arguments `address` `value`
tracer/src/emulator/memory.rs:106
Method
zero
()
jolt-core/src/poly/unipoly.rs:102
Method
zero
()
jolt-core/src/poly/commitment/dory.rs:146
Method
zero
()
jolt-core/src/zkvm/r1cs/ops.rs:47
Method
zero
()
zklean-extractor/src/mle_ast.rs:174
Function
zeromorph_commit_prove_verify
()
jolt-core/src/poly/commitment/zeromorph.rs:765
← previous
2,201–2,242 of 2,242, ranked by callers