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
exec
(&self, cpu: &mut Cpu, _: &mut <VirtualMove as RISCVInstruction>::RAMAccess)
tracer/src/instruction/virtual_move.rs:20
Method
exec
(&self, cpu: &mut Cpu, _: &mut <JALR as RISCVInstruction>::RAMAccess)
tracer/src/instruction/jalr.rs:19
Method
exec
(&self, cpu: &mut Cpu, ram_access: &mut <SB as RISCVInstruction>::RAMAccess)
tracer/src/instruction/sb.rs:33
Method
exec
( &self, cpu: &mut Cpu, _: &mut <VirtualAssertValidSignedRemainder as RISCVInstruction
tracer/src/instruction/virtual_assert_valid_signed_remainder.rs:23
Method
exec
(&self, cpu: &mut Cpu, _: &mut <OR as RISCVInstruction>::RAMAccess)
tracer/src/instruction/or.rs:19
Method
exec
(&self, cpu: &mut Cpu, ram_access: &mut <SCD as RISCVInstruction>::RAMAccess)
tracer/src/instruction/scd.rs:19
Method
exec
(&self, cpu: &mut Cpu, ram_access: &mut <AMOMINW as RISCVInstruction>::RAMAccess)
tracer/src/instruction/amominw.rs:19
Method
exec
(&self, cpu: &mut Cpu, _: &mut <MULH as RISCVInstruction>::RAMAccess)
tracer/src/instruction/mulh.rs:27
Method
exec
(&self, cpu: &mut Cpu, _: &mut <BLTU as RISCVInstruction>::RAMAccess)
tracer/src/instruction/bltu.rs:19
Method
exec
(&self, cpu: &mut Cpu, ram_access: &mut <LBU as RISCVInstruction>::RAMAccess)
tracer/src/instruction/lbu.rs:31
Method
exec
(&self, cpu: &mut Cpu, ram_access: &mut <LRD as RISCVInstruction>::RAMAccess)
tracer/src/instruction/lrd.rs:19
Method
exec
(&self, cpu: &mut Cpu, _: &mut <SLTU as RISCVInstruction>::RAMAccess)
tracer/src/instruction/sltu.rs:19
Method
exec
(&self, cpu: &mut Cpu, _: &mut <VirtualSRLI as RISCVInstruction>::RAMAccess)
tracer/src/instruction/virtual_srli.rs:20
Method
exec
(&self, cpu: &mut Cpu, ram_access: &mut <LH as RISCVInstruction>::RAMAccess)
tracer/src/instruction/lh.rs:33
Method
exec
( &self, cpu: &mut Cpu, _: &mut <VirtualAssertValidUnsignedRemainder as RISCVInstructi
tracer/src/instruction/virtual_assert_valid_unsigned_remainder.rs:23
Method
exec
(&self, cpu: &mut Cpu, _: &mut <ADDI as RISCVInstruction>::RAMAccess)
tracer/src/instruction/addi.rs:19
Method
exec
(&self, cpu: &mut Cpu, _: &mut <SRAI as RISCVInstruction>::RAMAccess)
tracer/src/instruction/srai.rs:25
Method
exec
(&self, cpu: &mut Cpu, _: &mut <SRLW as RISCVInstruction>::RAMAccess)
tracer/src/instruction/srlw.rs:17
Method
exec
(&self, cpu: &mut Cpu, ram_access: &mut <AMOSWAPW as RISCVInstruction>::RAMAccess)
tracer/src/instruction/amoswapw.rs:19
Method
exec
(&self, cpu: &mut Cpu, ram_access: &mut <LRW as RISCVInstruction>::RAMAccess)
tracer/src/instruction/lrw.rs:19
Method
exec
(&self, cpu: &mut Cpu, _: &mut <MULHU as RISCVInstruction>::RAMAccess)
tracer/src/instruction/mulhu.rs:22
Method
exec
(&self, cpu: &mut Cpu, _: &mut <AND as RISCVInstruction>::RAMAccess)
tracer/src/instruction/and.rs:19
Method
exec
(&self, cpu: &mut Cpu, _ram_access: &mut <SHA256 as RISCVInstruction>::RAMAccess)
tracer/src/instruction/inline_sha256/sha256.rs:24
Method
exec
(&self, cpu: &mut Cpu, _: &mut <SHA256INIT as RISCVInstruction>::RAMAccess)
tracer/src/instruction/inline_sha256/sha256init.rs:24
Method
expected_output_claim
( &self, _: Option<std::rc::Rc<std::cell::RefCell<VerifierOpeningAccumulator<F>>>>, r:
jolt-core/src/poly/opening_proof.rs:500
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r_prime: &[F
jolt-core/src/zkvm/instruction_lookups/booleanity.rs:214
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, _r: &[F],
jolt-core/src/zkvm/instruction_lookups/hamming_weight.rs:130
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r: &[F],
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:378
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r: &[F],
jolt-core/src/zkvm/bytecode/booleanity.rs:238
Method
expected_output_claim
( &self, opening_accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, _r:
jolt-core/src/zkvm/bytecode/hamming_weight.rs:118
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r: &[F],
jolt-core/src/zkvm/bytecode/read_raf_checking.rs:691
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r: &[F],
jolt-core/src/zkvm/registers/read_write_checking.rs:1100
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r: &[F],
jolt-core/src/zkvm/registers/val_evaluation.rs:189
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r: &[F],
jolt-core/src/zkvm/ram/booleanity.rs:299
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r: &[F],
jolt-core/src/zkvm/ram/read_write_checking.rs:1002
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r: &[F],
jolt-core/src/zkvm/ram/ra_virtual.rs:290
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r: &[F],
jolt-core/src/zkvm/ram/val_evaluation.rs:210
Method
expected_output_claim
( &self, _accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r: &[F],
jolt-core/src/zkvm/ram/raf_evaluation.rs:190
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r: &[F],
jolt-core/src/zkvm/ram/output_check.rs:257
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, _r: &[F],
jolt-core/src/zkvm/ram/hamming_weight.rs:191
Method
expected_output_claim
( &self, accumulator: Option<Rc<RefCell<VerifierOpeningAccumulator<F>>>>, r: &[F],
jolt-core/src/zkvm/ram/hamming_booleanity.rs:135
Method
extract
()
zklean-extractor/src/instruction.rs:116
Method
extract
()
zklean-extractor/src/r1cs.rs:30
Method
extract
Iterate over the instruction set and extract each R1CS input variable.
zklean-extractor/src/flags.rs:38
Method
extract
()
zklean-extractor/src/subtable.rs:83
Function
fast_evaluation
()
jolt-core/src/poly/dense_mlpoly.rs:516
Function
fetch
()
tracer/src/emulator/cpu.rs:1783
Function
fib
(n: u32)
examples/fibonacci/guest/src/lib.rs:5
Function
fib_e2e_dory
()
jolt-core/src/zkvm/mod.rs:389
Function
fib_e2e_mock
()
jolt-core/src/zkvm/mod.rs:362
Method
final_sumcheck_claim
(&self)
jolt-core/src/poly/multilinear_polynomial.rs:570
Method
final_sumcheck_claim
(&self)
jolt-core/src/poly/identity_poly.rs:57
Method
final_sumcheck_claim
(&self)
jolt-core/src/poly/compact_polynomial.rs:369
Method
finalize
(state: Self::State<'a>)
jolt-core/src/poly/commitment/hyperkzg.rs:548
Method
fixed_base_vector_msm
( base: &JoltGroupWrapper<G1Projective>, scalars: &[JoltFieldWrapper<Fr>], _g1_cache:
jolt-core/src/poly/commitment/dory.rs:308
Method
fixed_scalar_scale_with_add
( vs: &mut [JoltGroupWrapper<G1Projective>], addends: &[JoltGroupWrapper<G1Projective>],
jolt-core/src/poly/commitment/dory.rs:384
Method
fixed_scalar_variable_with_add
( bases: &[JoltGroupWrapper<G1Projective>], vs: &mut [JoltGroupWrapper<G1Projective>],
jolt-core/src/poly/commitment/dory.rs:329
Method
fixed_scalar_variable_with_add_cached
( bases_count: usize, g1_cache: Option<&dory::curve::G1Cache>, _g2_cache: Option<&dory
jolt-core/src/poly/commitment/dory.rs:349
Method
fmt
(&self, f: &mut std::fmt::Formatter<'_>)
jolt-core/src/utils/lookup_bits.rs:60
Method
fmt
(&self, f: &mut std::fmt::Formatter<'_>)
jolt-core/src/zkvm/lookup_table/prefixes/mod.rs:128
Method
fmt
(&self, f: &mut std::fmt::Formatter<'_>)
zklean-extractor/src/instruction.rs:172
Method
fmt
(&self, f: &mut std::fmt::Formatter<'_>)
zklean-extractor/src/mle_ast.rs:315
Method
fmt
(&self, f: &mut std::fmt::Formatter<'_>)
zklean-extractor/src/subtable.rs:141
Method
fmt
(&self, f: &mut std::fmt::Formatter<'_>)
zklean-extractor/src/modules/util.rs:59
Method
fmt
(&self, f: &mut core::fmt::Formatter<'_>)
common/src/jolt_device.rs:157
Method
from
(value: LookupBits)
jolt-core/src/utils/lookup_bits.rs:66
Method
from
(coeffs: Vec<F>)
jolt-core/src/poly/multilinear_polynomial.rs:394
Method
from
(x: (usize, T))
jolt-core/src/poly/spartan_interleaved_poly.rs:38
Method
from
(r: Vec<F>)
jolt-core/src/poly/opening_proof.rs:102
Method
from
(prover_key: &ZeromorphProverKey<P>)
jolt-core/src/poly/commitment/zeromorph.rs:68
Method
from
(value: PairingOutput<P>)
jolt-core/src/poly/commitment/dory.rs:224
Method
from
(pk: &KZGProverKey<P>)
jolt-core/src/poly/commitment/kzg.rs:150
Method
from
(poly: &MultilinearPolynomial<F>)
jolt-core/src/poly/commitment/bmmtv/hyperbmmtv.rs:55
Method
from
(preprocessing: &JoltProverPreprocessing<F, PCS>)
jolt-core/src/zkvm/mod.rs:136
Method
from
(value: F)
jolt-core/src/zkvm/lookup_table/prefixes/mod.rs:134
Method
from
(val: i64)
jolt-core/src/zkvm/r1cs/ops.rs:226
Method
from
(value: RV32I)
zklean-extractor/src/instruction.rs:24
Method
from
(value: RV32ISubtables<F>)
zklean-extractor/src/subtable.rs:19
Method
from
(value: std::io::Error)
zklean-extractor/src/modules/util.rs:26
Method
from
(read: RAMRead)
tracer/src/instruction/mod.rs:274
Method
from_builder
(constraint_builder: &CombinedUniformBuilder<F>)
jolt-core/src/zkvm/r1cs/key.rs:86
Method
from_bytes
(bytes: &[u8])
jolt-core/src/field/ark.rs:145
Method
from_bytes
(_bytes: &[u8])
zklean-extractor/src/mle_ast.rs:423
Method
from_coeff
(coeffs: Vec<F>)
jolt-core/src/poly/unipoly.rs:30
Method
from_coeffs
(coeffs: Vec<T>)
jolt-core/src/poly/compact_polynomial.rs:115
Method
from_evals
Interpolate a polynomial from its evaluations at the points 0, 1, 2, ..., n-1.
jolt-core/src/poly/unipoly.rs:35
Method
from_file
Reads data from a file
jolt-core/src/zkvm/mod.rs:321
Method
from_i128
(val: i128)
jolt-core/src/field/ark.rs:97
Method
from_i128
(val: i128)
zklean-extractor/src/mle_ast.rs:415
Method
from_i64
(val: i64)
jolt-core/src/poly/commitment/dory.rs:182
Method
from_i64
(val: i64)
jolt-core/src/field/ark.rs:75
Method
from_i64
(val: i64)
zklean-extractor/src/mle_ast.rs:411
Method
from_index
TODO(moodlezoup): return Result<Self>
jolt-core/src/zkvm/witness.rs:151
Method
from_index
Converts an index to the corresponding constraint input.
jolt-core/src/zkvm/r1cs/inputs.rs:183
Function
from_index_to_index
()
jolt-core/src/zkvm/r1cs/inputs.rs:398
Method
from_indices
(nonzero_indices: Vec<Option<usize>>, K: usize)
jolt-core/src/poly/one_hot_polynomial.rs:348
Method
from_instruction
Extract the [`JoltR1CSInputs::InstructionFlags`] variable for a given instruction.
zklean-extractor/src/flags.rs:16
Method
from_linear_times_quadratic_with_hint
This function computes a cubic polynomial s(X), given the following conditions: - s(X) = l(X) * t(X), where l(X) is linear and t(X) is quadratic, - l(
jolt-core/src/poly/unipoly.rs:226
Method
from_prover_state_manager
(mut state_manager: StateManager<'_, F, FS, PCS>)
jolt-core/src/zkvm/dag/proof_serialization.rs:130
Method
from_u16
(n: u16)
jolt-core/src/field/ark.rs:53
← previous
next →
1,101–1,200 of 2,242, ranked by callers