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 articleResearch
The limits of zero-knowledge for age-verification
Nov 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 articleMembership Privacy Risks in LLMs
Sep 25, 2025
LLMs can memorize and leak training data, posing serious privacy risks. We introduce CAMIA, an assessment method tailored to the generative nature of LLMs.
Read this article
