lib.rs - source

Files

halo2

halo2_backend

plonk

lookup

prover.rs verifier.rs

permutation

keygen.rs prover.rs verifier.rs

shuffle

prover.rs verifier.rs

vanishing

prover.rs verifier.rs

circuit.rs error.rs evaluation.rs keygen.rs lookup.rs permutation.rs prover.rs shuffle.rs vanishing.rs verifier.rs

poly

kzg

multiopen

gwc

prover.rs verifier.rs

shplonk

prover.rs verifier.rs

gwc.rs shplonk.rs

commitment.rs mod.rs msm.rs multiopen.rs strategy.rs

commitment.rs domain.rs query.rs strategy.rs

arithmetic.rs helpers.rs lib.rs plonk.rs poly.rs transcript.rs

halo2_debug

check_witness.rs display.rs lib.rs

halo2_frontend

circuit

floor_planner

v1

single_pass.rs v1.rs

floor_planner.rs layouter.rs table_layouter.rs value.rs

dev

failure

graph

cost.rs cost_model.rs failure.rs gates.rs graph.rs metadata.rs tfp.rs util.rs

plonk

circuit

compress_selectors.rs constraint_system.rs expression.rs

assigned.rs circuit.rs error.rs keygen.rs lookup.rs permutation.rs shuffle.rs

circuit.rs dev.rs lib.rs plonk.rs

halo2_middleware

circuit.rs expression.rs lib.rs lookup.rs multicore.rs permutation.rs poly.rs shuffle.rs zal.rs

halo2_proofs

plonk

error.rs keygen.rs prover.rs

lib.rs plonk.rs

p3_frontend

air.rs fwrap.rs lib.rs symbolic_builder.rs symbolic_expression.rs symbolic_variable.rs

?

#![cfg_attr(docsrs, feature(doc_cfg))]

pub mod circuit;
pub mod dev;
pub mod plonk;