Coral: Bridging Parsing and Zero-Knowledge Proofs
Nov 17, 2025
We introduce Coral, a system for proving in zero-knowledge that a committed byte stream corresponds to a structured object in accordance with a Context Free Grammar.
Read this articleNov 17, 2025
We introduce Coral, a system for proving in zero-knowledge that a committed byte stream corresponds to a structured object in accordance with a Context Free Grammar.
Read this articleNov 5, 2025
ZKPs are often advanced as a technical remedy, promising privacy-preserving attestations of age or eligibility. Yet their deployment in practice exposes both conceptual and practical limits.
Read this article