column_env.rs - source

Files

arrabbiata

decider

column_env.rs mod.rs proof.rs prover.rs verifier.rs

challenge.rs cli.rs column.rs constraint.rs curve.rs interpreter.rs lib.rs logup.rs poseidon_3_60_0_5_5_fp.rs poseidon_3_60_0_5_5_fq.rs setup.rs witness.rs

bench_cross_terms

bench_cross_terms.rs

export_test_vectors

main.rs vectors.rs

flamegraph

folding

checker.rs columns.rs decomposable_folding.rs error_term.rs eval_leaf.rs expressions.rs instance_witness.rs lib.rs quadraticization.rs standard_config.rs

groupmap

internal_tracing

ivc

ivc

columns.rs constraints.rs helpers.rs interpreter.rs lookups.rs mod.rs

poseidon_55_0_7_3_2

columns.rs interpreter.rs mod.rs

poseidon_55_0_7_3_7

columns.rs interpreter.rs mod.rs

poseidon_8_56_5_3_2

bn254

columns.rs interpreter.rs mod.rs

expr_eval.rs lib.rs plonkish_lang.rs poseidon_params_55_0_7_3.rs prover.rs verifier.rs

kimchi

circuits

lookup

tables

mod.rs range_check.rs xor.rs

constraints.rs index.rs lookups.rs mod.rs runtime_tables.rs

polynomials

foreign_field_add

circuitgates.rs gadget.rs mod.rs witness.rs

foreign_field_mul

circuitgates.rs gadget.rs mod.rs witness.rs

keccak

constants.rs mod.rs witness.rs

range_check

circuitgates.rs gadget.rs mod.rs witness.rs

and.rs complete_add.rs endomul_scalar.rs endosclmul.rs foreign_field_common.rs generic.rs mod.rs not.rs permutation.rs poseidon.rs rot.rs turshi.rs varbasemul.rs xor.rs

witness

constant_cell.rs copy_bits_cell.rs copy_cell.rs copy_shift_cell.rs index_cell.rs mod.rs variable_bits_cell.rs variable_cell.rs variables.rs

argument.rs berkeley_columns.rs constraints.rs domain_constant_evaluation.rs domains.rs expr.rs gate.rs macros.rs mod.rs polynomial.rs scalars.rs serialization_helper.rs wires.rs

snarky

folding

api.rs asm.rs boolean.rs constants.rs constraint_system.rs cvar.rs errors.rs folding.rs mod.rs poseidon.rs range_checks.rs runner.rs snarky_type.rs union_find.rs

alphas.rs bench.rs curve.rs error.rs lagrange_basis_evaluations.rs lib.rs linearization.rs oracles.rs plonk_sponge.rs precomputed_srs.rs proof.rs prover.rs prover_index.rs verifier.rs verifier_index.rs

kimchi_msm

circuit_design

capabilities.rs composition.rs constraints.rs mod.rs witness.rs

fec

columns.rs interpreter.rs lookups.rs mod.rs

ffa

columns.rs interpreter.rs lookups.rs mod.rs

serialization

column.rs interpreter.rs lookups.rs mod.rs

test

test_circuit

columns.rs interpreter.rs lookups.rs mod.rs

generic.rs logup.rs mod.rs proof_system.rs

column_env.rs columns.rs expr.rs lib.rs logup.rs lookups.rs precomputed_srs.rs proof.rs prover.rs verifier.rs witness.rs

kimchi_stubs

arkworks

bigint_256.rs group_affine.rs group_projective.rs mod.rs pasta_fp.rs pasta_fq.rs

caml

caml_bytes_string.rs caml_pointer.rs mod.rs shared_reference.rs shared_rwlock.rs

field_vector.rs gate_vector.rs lagrange_basis.rs lib.rs linearization.rs oracles.rs pasta_fp_plonk_index.rs pasta_fp_plonk_proof.rs pasta_fp_plonk_verifier_index.rs pasta_fp_poseidon.rs pasta_fq_plonk_index.rs pasta_fq_plonk_proof.rs pasta_fq_plonk_verifier_index.rs pasta_fq_poseidon.rs plonk_verifier_index.rs projective.rs srs.rs urs_utils.rs

kimchi_visu

lib.rs witness.rs

mina_book

mina_curves

pasta

curves

mod.rs pallas.rs vesta.rs

fields

fft.rs fp.rs fq.rs mod.rs

mina_hasher

lib.rs poseidon.rs roinput.rs

mina_poseidon

pasta

fp_kimchi.rs fp_legacy.rs fq_kimchi.rs fq_legacy.rs mod.rs

constants.rs dummy_values.rs lib.rs permutation.rs poseidon.rs sponge.rs

mina_signer

keypair.rs lib.rs pubkey.rs schnorr.rs seckey.rs signature.rs

mvpoly

lib.rs monomials.rs pbt.rs prime.rs utils.rs

o1_utils

adjacent_pairs.rs array.rs biguint_helpers.rs bitwise_operations.rs chunked_evaluations.rs chunked_polynomial.rs dense_polynomial.rs evaluations.rs field_helpers.rs foreign_field.rs hasher.rs lib.rs math.rs serialization.rs

o1vm

cli

cannon.rs mod.rs

interpreters

keccak

column.rs constraints.rs environment.rs helpers.rs interpreter.rs mod.rs witness.rs

mips

column.rs constraints.rs interpreter.rs mod.rs registers.rs witness.rs

riscv32im

column.rs constraints.rs interpreter.rs mod.rs registers.rs witness.rs

pickles

column_env.rs mod.rs proof.rs prover.rs verifier.rs

cannon.rs elf_loader.rs lib.rs lookups.rs preimage_oracle.rs ramlookup.rs test_preimage_read.rs utils.rs

pickles_o1vm

plonk_wasm

arkworks

bigint_256.rs group_affine.rs group_projective.rs mod.rs pasta_fp.rs pasta_fq.rs

wasm_ocaml_serde

de.rs mod.rs ser.rs

circuit.rs gate_vector.rs lib.rs oracles.rs pasta_fp_plonk_index.rs pasta_fq_plonk_index.rs plonk_proof.rs plonk_verifier_index.rs poly_comm.rs poseidon.rs projective.rs rayon.rs srs.rs urs_utils.rs wasm_flat_vector.rs wasm_vector.rs

poly_commitment

combine.rs commitment.rs error.rs hash_map_cache.rs ipa.rs kzg.rs lib.rs pbt_srs.rs utils.rs

saffron

blob.rs cli.rs commitment.rs diff.rs env.rs lib.rs proof.rs utils.rs

saffron_og_flow

turshi

flags.rs helper.rs lib.rs memory.rs runner.rs word.rs

//! This module will be used by the prover to evaluate at a certain point.