Login / Signup
"Many-out-of-Many" Proofs with Applications to Anonymous Zether.
Benjamin E. Diamond
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
theorem proving
peer to peer
theorem prover
formal proofs
decision procedures
formal proof
equational theories
mathematical proofs
data mining
computer vision
machine learning
e learning
multiscale
information technology
natural deduction
mathematical knowledge