MCPcopy Create free account

hub / github.com/a16z/jolt / functions

Functions2,242 in github.com/a16z/jolt

⨍ Functions 2,242◇ Types & classes 398
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_movsign.rs:47
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/sltiu.rs:47
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_srl.rs:44
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/bge.rs:46
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/auipc.rs:57
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_srai.rs:47
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_muli.rs:58
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/fence.rs:24
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/xor.rs:44
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_lte.rs:46
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_shift_right_bitmaski.rs:41
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_pow2.rs:48
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/bgeu.rs:46
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/sw.rs:30
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/lui.rs:42
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_advice.rs:45
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/lw.rs:30
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/blt.rs:44
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_sra.rs:44
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_halfword_alignment.rs:56
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/add.rs:54
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/slti.rs:47
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_valid_div0.rs:44
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/sub.rs:56
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/jal.rs:57
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_shift_right_bitmask.rs:48
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/ori.rs:47
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/bne.rs:44
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/mul.rs:54
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/xori.rs:47
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/slt.rs:44
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_rotri.rs:35
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_pow2i.rs:47
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/beq.rs:44
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/ecall.rs:24
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_move.rs:48
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/jalr.rs:57
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_valid_signed_remainder.rs:48
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/or.rs:44
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/bltu.rs:43
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/sltu.rs:44
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_srli.rs:47
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_valid_unsigned_remainder.rs:50
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/addi.rs:54
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/mulhu.rs:54
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/and.rs:44
Methodto_u64
(&self)
jolt-core/src/field/mod.rs:69
Methodto_u64
(&self)
jolt-core/src/field/ark.rs:125
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/lhu.rs:49
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/mulhsu.rs:42
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/srli.rs:38
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/srl.rs:41
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/mod.rs:324
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/sll.rs:37
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/div.rs:47
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/lb.rs:46
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/divu.rs:45
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/sra.rs:40
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/slli.rs:34
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/rem.rs:47
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/remu.rs:44
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/sb.rs:46
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/mulh.rs:41
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/lbu.rs:46
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/lh.rs:48
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/srai.rs:36
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/inline_sha256/sha256.rs:59
Methodtrace
(&self, cpu: &mut Cpu, trace: Option<&mut Vec<RV32IMCycle>>)
tracer/src/instruction/inline_sha256/sha256init.rs:49
Methodtrace_analyze
(mut self, inputs: &[u8])
jolt-core/src/host/mod.rs:227
Functiontrace_lazy
( elf_contents: Vec<u8>, inputs: &[u8], memory_config: &MemoryConfig, )
tracer/src/lib.rs:83
Methodtrace_len
(&self)
jolt-core/src/host/analyze.rs:20
Methodtrim
(params: Arc<Self>, max_degree: usize)
jolt-core/src/poly/commitment/kzg.rs:91
Functiontruncated_trace
()
jolt-core/src/zkvm/dag/mod.rs:21
Methodtry_from
(poly: &'a MultilinearPolynomial<F>)
jolt-core/src/poly/multilinear_polynomial.rs:438
Methodtry_from
(value: JoltR1CSInputs)
jolt-core/src/zkvm/r1cs/inputs.rs:64
Functiontwist
()
jolt-core/src/benches/bench.rs:40
Functiontwist_e2e
()
jolt-core/src/subprotocols/twist.rs:1130
Methoduniform_constraints
(cs: &mut R1CSBuilder)
jolt-core/src/zkvm/r1cs/constraints.rs:25
Functionuninstall_no_std_toolchain
()
jolt-core/src/host/toolchain.rs:168
Functionuninstall_toolchain
Uninstalls the toolchain if it is already installed
jolt-core/src/host/toolchain.rs:179
Functionunivariate_poly_commit_test
()
jolt-core/src/poly/commitment/bmmtv/poly_commit.rs:336
Functionunmap_address_poly
()
jolt-core/src/poly/identity_poly.rs:625
Functionunmap_address_poly_evaluate
()
jolt-core/src/poly/identity_poly.rs:489
Methodupdate_addressing_mode
Updates addressing mode # Arguments `new_addressing_mode`
tracer/src/emulator/mmu.rs:102
Functionupdate_pc
()
tracer/src/emulator/cpu.rs:1669
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/positive_remainder_equals_divisor.rs:63
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, _: F, _: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/left_is_zero.rs:32
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], _r_x: F, r_y: F, _: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/left_shift_helper.rs:30
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/lower_word.rs:44
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], _: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/right_msb.rs:25
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], _: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/sign_extension.rs:68
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/left_shift.rs:44
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/negative_divisor_zero_remainder.rs:63
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/positive_remainder_less_than_divisor.rs:91
Methodupdate_prefix_checkpoint
Every two rounds of sumcheck, we update the "checkpoint" value for each prefix, incorporating the two random challenges `r_x` and `r_y` received since
jolt-core/src/zkvm/lookup_table/prefixes/mod.rs:262
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/xor.rs:37
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, _: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/lt.rs:40
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, j: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/negative_divisor_greater_than_remainder.rs:91
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], _: F, r_y: F, _: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/right_is_zero.rs:33
Methodupdate_prefix_checkpoint
( checkpoints: &[PrefixCheckpoint<F>], r_x: F, r_y: F, _: usize, )
jolt-core/src/zkvm/lookup_table/prefixes/eq.rs:34
← previousnext →2,101–2,200 of 2,242, ranked by callers