Login / Signup
Publicly Verifiable Proofs from Blockchains.
Alessandra Scafuro
Luisa Siniscalchi
Ivan Visconti
Published in:
IACR Cryptol. ePrint Arch. (2019)
Keyphrases
</>
theorem prover
formal proofs
sufficient conditions
theorem proving
equational theories
mathematical proofs
neural network
formal proof
computer vision
database systems
feature extraction
probabilistic model
decision procedures