Dimensions

zheng/reference/props/binius-pcs
binius PCS β€” binary-native polynomial commitment a second PCS backend for zheng operating over Fβ‚‚ tower fields. the IOP layer (SuperSpartan + sumcheck + HyperNova) stays field-generic. only the polynomial commitment scheme changes. hemera remains the only hash β€” used externally for Merkle…

Local Graph