MCPcopy Create free account

hub / github.com/a16z/jolt / functions

Functions2,242 in github.com/a16z/jolt

⨍ Functions 2,242◇ Types & classes 398
Functiontest_sub
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1114
Functiontest_sw
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1119
Functiontest_trace
Test that the trace function produces the expected number of cycles for a given ELF input. Test the checkpointing functionality by verifying the numbe
tracer/src/lib.rs:681
Functiontest_unknown_memory_mapping
()
tracer/src/emulator/mmu.rs:1243
Functiontest_virtualrotri
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1216
Functiontest_virtualsra
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1221
Functiontest_virtualsrai
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1226
Functiontest_virtualsrl
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1231
Functiontest_virtualsrli
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1236
Functiontest_xor
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1124
Functiontest_xori
()
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:1129
Functiontick
()
tracer/src/emulator/cpu.rs:1731
Methodtick
Runs one cycle of MMU and peripheral devices.
tracer/src/emulator/mmu.rs:94
Functiontick_operate
()
tracer/src/emulator/cpu.rs:1759
Functiontipa_ssm_multiexponentiation_inner_product_test
()
jolt-core/src/poly/commitment/bmmtv/mipp_k.rs:259
Methodto_field_elements
(&self)
jolt-core/src/zkvm/r1cs/ops.rs:69
Methodto_index
TODO(moodlezoup): return Result<usize>
jolt-core/src/zkvm/witness.rs:160
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/andi.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_eq.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_movsign.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/sltiu.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_srl.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/bge.rs:30
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/auipc.rs:38
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_srai.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_muli.rs:39
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/fence.rs:20
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/xor.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_lte.rs:30
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_shift_right_bitmaski.rs:27
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_pow2.rs:29
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/bgeu.rs:30
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/lui.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_advice.rs:27
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/lw.rs:26
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/blt.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_sra.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_halfword_alignment.rs:40
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/add.rs:38
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/slti.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_valid_div0.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/sub.rs:40
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/jal.rs:38
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_shift_right_bitmask.rs:29
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/ori.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/bne.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/mul.rs:38
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/xori.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/slt.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_rotri.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_pow2i.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/beq.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/ecall.rs:20
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_move.rs:29
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/jalr.rs:38
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_valid_signed_remainder.rs:32
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/or.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/bltu.rs:27
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/sltu.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_srli.rs:28
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_valid_unsigned_remainder.rs:34
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/addi.rs:38
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/mulhu.rs:38
Methodto_instruction_inputs
(&self)
jolt-core/src/zkvm/instruction/and.rs:28
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/auipc.rs:34
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/virtual_muli.rs:35
Methodto_lookup_index
Converts this instruction's operands into a lookup index (as used in sparse-dense Shout). By default, interleaves the two bits of the two operands tog
jolt-core/src/zkvm/instruction/mod.rs:30
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/virtual_shift_right_bitmaski.rs:37
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/virtual_pow2.rs:44
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/lui.rs:38
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/virtual_advice.rs:41
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_halfword_alignment.rs:36
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/add.rs:34
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/sub.rs:36
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/jal.rs:34
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/virtual_shift_right_bitmask.rs:44
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/mul.rs:34
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/virtual_pow2i.rs:43
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/virtual_move.rs:44
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/jalr.rs:34
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/addi.rs:34
Methodto_lookup_index
(&self)
jolt-core/src/zkvm/instruction/mulhu.rs:34
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/auipc.rs:29
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/virtual_muli.rs:30
Methodto_lookup_operands
Returns a tuple of the instruction's lookup operands. By default, these are the same as the instruction inputs returned by `to_instruction_inputs`, bu
jolt-core/src/zkvm/instruction/mod.rs:23
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/virtual_pow2.rs:39
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/virtual_advice.rs:31
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_halfword_alignment.rs:31
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/add.rs:29
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/sub.rs:29
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/jal.rs:29
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/virtual_shift_right_bitmask.rs:39
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/mul.rs:29
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/virtual_pow2i.rs:38
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/virtual_move.rs:39
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/jalr.rs:29
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/addi.rs:29
Methodto_lookup_operands
(&self)
jolt-core/src/zkvm/instruction/mulhu.rs:29
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/andi.rs:47
Methodto_lookup_output
(&self)
jolt-core/src/zkvm/instruction/virtual_assert_eq.rs:44
← previousnext →2,001–2,100 of 2,242, ranked by callers