Proof Systems & Succinct Arguments
Statements tagged with the proof-systems area. This is a generated view, not a home directory – a statement can belong to several areas at once. See all statements for the full index, or the schema for what each column means.
| Status | Statement | Tags |
|---|---|---|
|
Groth16 optimality (pure GGM) Open: whether every sound, non-interactive, publicly verifiable pairing-based argument in the pure generic group model needs at least three group elements, matching Groth16. 2 open |
ggmtight-boundresearch-opennew-idea (ai) | |
|
No 2-element split NILPs Open: whether a 2-element split NILP can be statistically sound against affine provers for any hard relation generator, the information-theoretic core of whether Groth16’s 3-element proof size is optimal. 2 open |
standardimpossibilityresearch-opennew-idea (ai) |
No matching items