lib_q_plonky_lookup/
lib.rs

1//! Lookup Arguments for STARKs
2//!
3//! # Security Considerations
4//!
5//! ## Post-Quantum Security
6//! Lookup protocols compose with STARK; no classical-only assumptions.
7//! ## Constant-Time
8//! Use constant-time operations for any secret values in lookup expressions.
9//! ## Memory and Zeroization
10//! Zeroize permutation columns and witness data when they are sensitive.
11//! ## Input Validation
12//! Callers must ensure lookup column indices and expressions are well-formed.
13//! ## Side-Channel Resistance
14//! LogUp is information-theoretic; no cryptographic assumptions beyond the field.
15//! ## Threat Model
16//! Assumes quantum adversaries; security relies on field size and soundness of the AIR.
17
18#![cfg_attr(not(feature = "std"), no_std)]
19#![deny(unsafe_code)]
20#![deny(unused_qualifications)]
21
22extern crate alloc;
23
24pub mod debug_util;
25pub mod logup;
26pub mod lookup_traits;
27mod types;
28
29pub use types::*;
lib_q_plonky_lookup/lib.rs

lib_q_plonky_lookup/
lib.rs
