Login / Signup
Honest Majority Multi-Prover Interactive Arguments.
Alexander R. Block
Christina Garman
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
virtual reality
theorem proving
databases
knowledge base
virtual environment
theorem prover
graphical interface
highly interactive
neural network
machine learning
information retrieval
case study
bayesian networks
user friendly
third party
product configuration