GLYPH is a transparent verification layer for Ethereum for trustless on-chain verification of heterogeneous proof systems. It unifies upstream SNARK and STARK settlement through a single packed arity-8 sumcheck verifier over p = 2¹28 - 159, while preserving upstream assumptions. The design centers on a universal adapter surface, UCIR compilation, and a chain-bound artifact interface for stateless verification. Benchmark evidence in the whitepaper reports 29. 45k total transaction gas in recorded testnet receipts. This record includes the whitepaper and the formal proof appendix.
Christopher Schulze (2026) studied this question.