address issues#32

Closed

zhenfeizhang wants to merge 34 commits intomainfrom

zz/merge-remote

Commits on Nov 18, 2025

challenger: add `observe_base_as_algebra_element ` to `FieldChallenger` trait (#1152)
tcoratger
authored
Add Preprocessed trace setup and VKs (#1150)
sai-deng
authored

Commits on Nov 19, 2025

Commits on Nov 24, 2025

Commits on Nov 25, 2025

refactor: deduplicate field JSON serialization tests (#1162)

andrewshab3
and
SyxtonPrime
authored
Update lookup traits and add folders with lookups (#1160)
LindaGuiga
authored
ExtensionBuilder for SymbolicAirBuilder (#1161)
LindaGuiga
authored

Commits on Nov 27, 2025

Derive Clone for PreprocessedInstanceMeta (#1166)
LindaGuiga
authored

Commits on Dec 1, 2025

Commits on Dec 2, 2025

Allow users to impl either permute or permute_mut (#1175)
SyxtonPrime
authored

Commits on Dec 4, 2025

Integrate lookups to prover and verifier (#1165)
LindaGuiga
authored

Commits on Dec 8, 2025

Automated releases with `release-plz` (#909)

BGluth
and
SyxtonPrime
authored

Commits on Dec 9, 2025

Commits on Dec 10, 2025

challenger: use `observe_algebra_slice` when possible (#1187)

tcoratger
and
Nashtare
authored

Commits on Dec 16, 2025