bbg-integration.md

BBG integration the BBG (the authenticated state structure for cyber) uses WHIR-based polynomial commitments for all indexes. the same WHIR instance that serves as the stark PCS also handles state operations — one polynomial commitment scheme for proofs and state. shared primitives | operation |…