MCPcopy Create free account

hub / github.com/a16z/jolt / functions

Functions2,242 in github.com/a16z/jolt

⨍ Functions 2,242◇ Types & classes 398
Functionmultiexponentiation_inner_product_test
()
jolt-core/src/poly/commitment/bmmtv/gipa.rs:290
Methodneg
(self)
jolt-core/src/zkvm/r1cs/ops.rs:199
Methodneg
(mut self)
zklean-extractor/src/mle_ast.rs:192
Methodnew
(capacity: usize)
jolt-core/src/utils/expanding_table.rs:20
Methodnew
(label: &'static [u8])
jolt-core/src/utils/transcript.rs:79
Methodnew
(mut bits: u64, len: usize)
jolt-core/src/utils/lookup_bits.rs:13
Methodnew
(guest: &str)
jolt-core/src/host/mod.rs:49
Methodnew
(range_start: u64, range_end: u64)
jolt-core/src/poly/range_mask_polynomial.rs:12
Methodnew
(Z: Vec<F>)
jolt-core/src/poly/dense_mlpoly.rs:26
Methodnew
(w: &[F], binding_order: BindingOrder)
jolt-core/src/poly/split_eq_poly.rs:32
Methodnew
(num_vars: usize)
jolt-core/src/poly/identity_poly.rs:23
Methodnew
(r_address: &[F], r_cycle: &[F])
jolt-core/src/poly/one_hot_polynomial.rs:72
Methodnew
(x: Vec<F>)
jolt-core/src/poly/eq_poly.rs:158
Methodnew
(r: Vec<F>)
jolt-core/src/poly/opening_proof.rs:77
Methodnew
(program_io: &JoltDevice)
jolt-core/src/poly/program_io_polynomial.rs:15
Methodnew
()
jolt-core/src/poly/prefix_suffix.rs:33
Methodnew
()
jolt-core/src/poly/rlc_polynomial.rs:30
Methodnew
(len: usize, label: &[u8])
jolt-core/src/poly/commitment/pedersen.rs:19
Methodnew
(num_vars: usize)
jolt-core/src/poly/commitment/hyrax.rs:46
Methodnew
(transcript: &'a mut T)
jolt-core/src/poly/commitment/dory.rs:936
Methodnew
(srs: Arc<SRS<P>>, offset: usize, supported_size: usize)
jolt-core/src/poly/commitment/kzg.rs:113
Methodnew
(trace: &[RV32IMCycle], G: [Vec<F>; D], r_address: &[F], r_cycle: &[F])
jolt-core/src/zkvm/instruction_lookups/booleanity.rs:113
Methodnew
(trace: &'a [RV32IMCycle], eq_r_cycle: Vec<F>)
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:165
Methodnew
( trace: &[RV32IMCycle], preprocessing: &BytecodePreprocessing, eq_r_cycle: Vec<F>,
jolt-core/src/zkvm/bytecode/booleanity.rs:121
Methodnew
( initial_ram_state: Vec<u32>, final_ram_state: Vec<u32>, program_io: &JoltDevice,
jolt-core/src/zkvm/ram/output_check.rs:55
Methodnew
(terms: Vec<Term>)
jolt-core/src/zkvm/r1cs/ops.rs:38
Methodnew
(padded_trace_length: usize)
jolt-core/src/zkvm/r1cs/spartan.rs:617
Methodnew
()
jolt-core/src/zkvm/r1cs/builder.rs:73
Methodnew
( compressed_polys: Vec<CompressedUniPoly<F>>, )
jolt-core/src/subprotocols/sumcheck.rs:620
Methodnew
(attr: AttributeArgs, func: ItemFn)
jolt-sdk/macros/src/lib.rs:47
Methodnew
()
jolt-sdk/src/sha256.rs:39
Methodnew
(emulator_state: EmulatorState)
tracer/src/lib.rs:163
Methodnew
(_: u32, _: u64, _: bool)
tracer/src/instruction/virtual_advice.rs:36
Methodnew
( address: u64, vr: [usize; NEEDED_REGISTERS], operand_rs1: usize, operand_rs2
tracer/src/instruction/inline_sha256/mod.rs:67
Methodnew
Creates a new `Emulator`. [`Terminal`](terminal/trait.Terminal.html) is internally used for transferring input/output data to/from `Emulator`. # Argu
tracer/src/emulator/mod.rs:92
Methodnew
Creates a new `Mmu`. # Arguments `xlen` `terminal` `tracer`
tracer/src/emulator/mmu.rs:64
Methodnew
Creates a new `Cpu`. # Arguments `Terminal`
tracer/src/emulator/cpu.rs:248
Methodnew
Creates a new `ElfAnalyzer`. # Arguments `data` ELF file content binary
tracer/src/emulator/elf_analyzer.rs:82
Methodnew
(memory_config: &MemoryConfig)
common/src/jolt_device.rs:32
Methodnew_for_small_value
```ignore (idk why it tries to run doctest) Compute the split equality polynomial for the small value optimization The split is done as follows: (her
jolt-core/src/poly/split_eq_poly.rs:100
Methodnew_gruen
(opening_point: &[F])
jolt-core/src/poly/opening_proof.rs:168
Methodnew_padded
(evals: Vec<F>)
jolt-core/src/poly/dense_mlpoly.rs:41
Methodnew_poly_from_bound_poly_var_top
(&self, r: &F)
jolt-core/src/poly/dense_mlpoly.rs:138
Methodnew_poly_from_bound_poly_var_top_flags
(&self, r: &F)
jolt-core/src/poly/dense_mlpoly.rs:163
Methodnew_prover
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, G: [Vec<F>; D],
jolt-core/src/zkvm/instruction_lookups/booleanity.rs:55
Methodnew_prover
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, F: [Vec<F>; D],
jolt-core/src/zkvm/instruction_lookups/hamming_weight.rs:38
Methodnew_prover
( sm: &'a mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, eq_r_cycle:
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:93
Methodnew_prover
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, eq_r_cycle: Vec
jolt-core/src/zkvm/bytecode/booleanity.rs:52
Methodnew_prover
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, F: Vec<Vec<F>>,
jolt-core/src/zkvm/bytecode/hamming_weight.rs:33
Methodnew_prover
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, )
jolt-core/src/zkvm/bytecode/read_raf_checking.rs:79
Methodnew_prover
( state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/registers/read_write_checking.rs:245
Methodnew_prover
( state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/registers/val_evaluation.rs:37
Methodnew_prover
( K: usize, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/ram/booleanity.rs:57
Methodnew_prover
( K: usize, T: usize, initial_memory_state: &[u32], state_manager: &mut StateM
jolt-core/src/zkvm/ram/read_write_checking.rs:323
Methodnew_prover
( state_manager: &StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/ram/mod.rs:102
Methodnew_prover
( K: usize, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/ram/ra_virtual.rs:55
Methodnew_prover
( K: usize, initial_ram_state: &[u32], state_manager: &mut StateManager<'_, F, ProofTr
jolt-core/src/zkvm/ram/val_evaluation.rs:47
Methodnew_prover
( K: usize, T: usize, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>,
jolt-core/src/zkvm/ram/raf_evaluation.rs:54
Methodnew_prover
( initial_ram_state: Vec<u32>, final_ram_state: Vec<u32>, state_manager: &mut StateMan
jolt-core/src/zkvm/ram/output_check.rs:131
Methodnew_prover
( K: usize, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/ram/hamming_weight.rs:38
Methodnew_prover
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, )
jolt-core/src/zkvm/ram/hamming_booleanity.rs:31
Methodnew_prover
( preprocessing: &'a JoltProverPreprocessing<F, PCS>, trace: Vec<RV32IMCycle>, program
jolt-core/src/zkvm/dag/state_manager.rs:77
Methodnew_prover
( state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, key: Arc<UniformSpartanKey<F>
jolt-core/src/zkvm/r1cs/spartan.rs:144
Methodnew_prover_instance_dense
( polynomials: Vec<CommittedPolynomial>, sumcheck_id: SumcheckId, eq_poly: Arc<Mutex<S
jolt-core/src/poly/opening_proof.rs:289
Methodnew_prover_instance_one_hot
( polynomial: CommittedPolynomial, sumcheck_id: SumcheckId, eq_state: Arc<Mutex<OneHot
jolt-core/src/poly/opening_proof.rs:311
Methodnew_verifier
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, )
jolt-core/src/zkvm/instruction_lookups/booleanity.rs:84
Methodnew_verifier
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, )
jolt-core/src/zkvm/instruction_lookups/hamming_weight.rs:67
Methodnew_verifier
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, )
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:134
Methodnew_verifier
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, )
jolt-core/src/zkvm/bytecode/booleanity.rs:92
Methodnew_verifier
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, )
jolt-core/src/zkvm/bytecode/hamming_weight.rs:57
Methodnew_verifier
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, )
jolt-core/src/zkvm/bytecode/read_raf_checking.rs:210
Methodnew_verifier
( state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/registers/read_write_checking.rs:279
Methodnew_verifier
( state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/registers/val_evaluation.rs:91
Methodnew_verifier
( K: usize, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/ram/booleanity.rs:163
Methodnew_verifier
( K: usize, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/ram/read_write_checking.rs:361
Methodnew_verifier
( state_manager: &StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/ram/mod.rs:223
Methodnew_verifier
( K: usize, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/ram/ra_virtual.rs:180
Methodnew_verifier
( K: usize, initial_ram_state: &[u32], state_manager: &mut StateManager<'_, F, ProofTr
jolt-core/src/zkvm/ram/val_evaluation.rs:116
Methodnew_verifier
( K: usize, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/ram/raf_evaluation.rs:111
Methodnew_verifier
( K: usize, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/ram/output_check.rs:158
Methodnew_verifier
( K: usize, state_manager: &mut StateManager<'_, F, ProofTranscript, PCS>, )
jolt-core/src/zkvm/ram/hamming_weight.rs:116
Methodnew_verifier
( sm: &mut StateManager<F, impl Transcript, impl CommitmentScheme<Field = F>>, )
jolt-core/src/zkvm/ram/hamming_booleanity.rs:64
Methodnew_verifier
( preprocessing: &'a JoltVerifierPreprocessing<F, PCS>, program_io: JoltDevice, trace_
jolt-core/src/zkvm/dag/state_manager.rs:136
Methodnew_verifier
( input_claim: F, key: Arc<UniformSpartanKey<F>>, rx_var: Vec<F>, claimed_witn
jolt-core/src/zkvm/r1cs/spartan.rs:199
Methodnew_verifier_instance
( polynomials: Vec<CommittedPolynomial>, sumcheck_id: SumcheckId, opening_point: Vec<F
jolt-core/src/poly/opening_proof.rs:330
Methodnew_with_precompute
( padded_num_constraints: usize, uniform_constraints: &[Constraint], flattened_polynom
jolt-core/src/poly/spartan_interleaved_poly.rs:106
Methodnew_with_root
Construct a new AST with the given node as the root.
zklean-extractor/src/mle_ast.rs:82
Methodnormalize
(&self)
tracer/src/instruction/format/format_virtual_halfword_alignment.rs:59
Methodnormalize
(&self)
tracer/src/instruction/format/format_i.rs:76
Methodnormalize
(&self)
tracer/src/instruction/format/format_u.rs:67
Methodnormalize
(&self)
tracer/src/instruction/format/format_virtual_right_shift_i.rs:68
Methodnormalize
(&self)
tracer/src/instruction/format/format_virtual_right_shift_r.rs:76
Methodnormalize
(&self)
tracer/src/instruction/format/format_j.rs:69
Methodnormalize
(&self)
tracer/src/instruction/format/format_b.rs:79
Methodnormalize
(&self)
tracer/src/instruction/format/format_load.rs:78
Methodnormalize
(&self)
tracer/src/instruction/format/format_r.rs:77
Methodnormalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/poly/opening_proof.rs:509
Methodnormalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/instruction_lookups/booleanity.rs:247
Methodnormalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/instruction_lookups/hamming_weight.rs:153
Methodnormalize_opening_point
(&self, opening_point: &[F])
jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs:439
← previousnext →1,501–1,600 of 2,242, ranked by callers