Files

openvm_stark_backend

air_builders

debug

check_constraints.rs mod.rs

symbolic

dag.rs mod.rs symbolic_expression.rs symbolic_variable.rs

gkr

gate.rs mod.rs prover.rs types.rs verifier.rs

interaction

debug.rs fri_log_up.rs mod.rs rap.rs trace.rs utils.rs

keygen

mod.rs types.rs view.rs

poly

mod.rs multi.rs uni.rs

prover

cpu

quotient

evaluator.rs mod.rs single.rs

mod.rs opener.rs

coordinator.rs hal.rs helper.rs metrics.rs mod.rs types.rs

verifier

constraints.rs error.rs folder.rs mod.rs

chip.rs config.rs engine.rs lib.rs proof.rs rap.rs sumcheck.rs utils.rs

openvm_stark_sdk

bench

config

baby_bear_blake3.rs baby_bear_bytehash.rs baby_bear_keccak.rs baby_bear_poseidon2.rs baby_bear_poseidon2_root.rs fri_params.rs goldilocks_poseidon.rs instrument.rs log_up_params.rs mod.rs

dummy_airs

fib_air

air.rs chip.rs columns.rs mod.rs trace.rs

interaction

dummy_interaction_air.rs mod.rs

cost_estimate.rs engine.rs lib.rs utils.rs

openvm_stark_sdk/dummy_airs/
mod.rs

Settings

Help

1pub mod fib_air;
2/// Some dummy AIRs for testing.
3pub mod interaction;