Signatures from Sequential-OR Proofs.

Marc Fischlin Patrick Harasser Christian Janson

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

theorem proving
search algorithm
signature verification
formal proofs
mathematical proofs
neural network
real world
artificial intelligence
evolutionary algorithm
computer programs
signature scheme
digital signature
sequential search