Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs.

这篇名为《Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs》的学术论文提出了一种新的零知识证明系统，专门用于验证上下文无关文法（CFG）相关的计算。研究的核心问题是

历史摘要 · 未重新核验 · IEEE S&P