DAG-\( \Sigma \): a DAG-based sigma protocol for relations in CNF (Q6132415)
From MaRDI portal
scientific article; zbMATH DE number 7728547
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | DAG-\( \Sigma \): a DAG-based sigma protocol for relations in CNF |
scientific article; zbMATH DE number 7728547 |
Statements
DAG-\( \Sigma \): a DAG-based sigma protocol for relations in CNF (English)
0 references
16 August 2023
0 references
sigma protocol
0 references
proof of partial knowledge
0 references
conjunctive normal form
0 references
directed acyclic graph
0 references
disjunctive normal form
0 references
0 references
0 references
