About: Signatures of Knowledge for Boolean Circuits Under Standard Assumptions

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Signatures of Knowledge for Boolean Circuits Under Standard Assumptions Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	Signatures of Knowledge for Boolean Circuits Under Standard Assumptions
Creator	Ràfols, Carla Baghery, Karim González, Alonso Pindado, Zaira
Source	PMC
abstract	This paper constructs unbounded simulation sound proofs for boolean circuit satisfiability under standard assumptions with proof size [Formula: see text] bilinear group elements, where d is the depth and n is the input size of the circuit. Our technical contribution is to add unbounded simulation soundness to a recent NIZK of González and Ràfols (ASIACRYPT’19) with very small overhead. Our new scheme can be used to construct the most efficient Signature-of-Knowledge based on standard assumptions that also can be composed universally with other cryptographic protocols/primitives.
has issue date	2020-06-06(xsd:dateTime)
bibo:doi	10.1007/978-3-030-51938-4_2
has license	no-cc
sha1sum (hex)	df3d4b415b5ded7014dd6eec0c6d9646a57a7f17
schema:url	https://doi.org/10.1007/978-3-030-51938-4_2
resource representing a document's title	Signatures of Knowledge for Boolean Circuits Under Standard Assumptions
has PubMed Central identifier	PMC7334997
schema:publication	Progress in Cryptology - AFRICACRYPT 2020
resource representing a document's body	covid:df3d4b415b5ded7014dd6eec0c6d9646a57a7f17#body_text
is schema:about of	named entity 'simulation' named entity 'size' named entity 'DEPTH' named entity 'SOUND' named entity 'WHERE' named entity 'GROUP' named entity 'efficient' named entity 'technical' named entity 'unbounded' named entity 'González' named entity 'falsifiable' named entity 'algorithm' named entity 'computationally indistinguishable' named entity 'boolean' named entity 'fan-in' named entity 'nBB' named entity 'boolean' named entity 'Prover' named entity 'polynomial' named entity 'valid signature' named entity 'proof systems' named entity 'zk-SNARKs' named entity 'falsifiable' named entity 'zk-SNARKs' named entity 'Diffie-Hellman' named entity 'constant time' named entity 'falsifiable' named entity 'boolean' named entity 'Fig. 1' named entity 'polynomial' named entity 'non-falsifiable' named entity 'cryptographic protocols' named entity 'quadratic equations' named entity 'arbitrary number' named entity 'computable' named entity 'promise problem' named entity 'bitstring' named entity 'secret key' named entity 'promise problem' named entity 'universally composable' named entity 'negl' named entity 'non-falsifiable' named entity 'non-falsifiable' named entity 'zero-knowledge' named entity 'probability' named entity 'boolean' named entity 'zk-SNARKs' named entity 'binary values' named entity 'falsifiable' named entity 'promise problem' named entity 'non-falsifiable' named entity 'zk-SNARK' named entity 'algorithm' named entity 'boolean circuit' named entity 'boolean' named entity 'Zero-Knowledge' named entity 'trapdoor' named entity 'black-box' named entity 'deterministic' named entity 'zero-knowledge' named entity 'pseudorandom' named entity 'algorithm' named entity 'information-theoretic security' named entity 'quadratic equation' named entity 'quadratic equations' named entity 'linear time' named entity 'promise problem' named entity 'ith' named entity 'proof systems' named entity 'probabilistic polynomial-time' named entity 'zero-knowledge' named entity 'source code' named entity 'promise problem' named entity 'Zero-Knowledge' named entity 'non-falsifiable' named entity 'negligible function' named entity 'black-box' named entity '1, 2' named entity 'promise problem' named entity 'cryptography'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software