PCS abstraction: crate-owned traits + BLS12-381 KZG backend - #73

Draft

gabriel-barrett wants to merge 13 commits into

mainfrom

Commits on Aug 16, 2026

pcs abstraction: design doc + proof-bytes pin (Phase 0 gate)
gabriel-barrett
committed
fd6ac71
traits: crate-owned Transcript; core transcript decoupled from p3
gabriel-barrett
committed
90e3e0a
traits: crate-owned EvaluationDomain; core domain surface decoupled from p3
gabriel-barrett
committed
de3958b
traits: crate-owned Pcs; core commitment surface decoupled from p3
gabriel-barrett
committed
8c068ac
docs: sync pcs-abstraction with the landed slices
gabriel-barrett
committed
75fce34
traits: crate-owned field layer; core arithmetic decoupled from p3
gabriel-barrett
committed
4c14e49
docs: Phase 0 complete
gabriel-barrett
committed
99883b4
ark adapter: BLS12-381 KZG backend (feature "kzg")
gabriel-barrett
committed
c8ae7a2
srs: user-supplied parameters, checkable
gabriel-barrett
committed
b271020
ci: run tests with the kzg feature
gabriel-barrett
committed
d3627b0

Commits on Aug 17, 2026