DAG-\( \Sigma \): a DAG-based sigma protocol for relations in CNF (Q6132415)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: DAG-\( \Sigma \): a DAG-based sigma protocol for relations in CNF |
scientific article; zbMATH DE number 7728547
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.83186084
0 references
0 references
0 references
0 references
0.8035281
0 references
0.8021766
0 references
0.80097675
0 references
