On Interactive Oracle Proofs for Boolean R1CS Statements.

Ignacio Cascudo Emanuele Giunta

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

Keyphrases

boolean functions
computer science
real valued
database
genetic algorithm
graphical interface
oracle database
theorem prover
search engine
user interaction
virtual reality
user friendly
mathematical proofs
database administrators
theorem proving
natural language
information systems
data sets
real time