Login / Signup
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
José Bacelar Almeida
Endre Bangerter
Manuel Barbosa
Stephan Krenn
Ahmad-Reza Sadeghi
Thomas Schneider
Published in:
IACR Cryptol. ePrint Arch. (2010)
Keyphrases
</>
expert systems
knowledge base
knowledge intensive
prior knowledge
domain knowledge
knowledge sharing
artificial intelligence
knowledge representation
knowledge acquisition
knowledge driven
data sets
knowledge extraction
higher level
programming language
general purpose
learning environment
databases