On Interactive Oracle Proofs for Boolean R1CS Statements.

Ignacio Cascudo Emanuele Giunta

Published in: Financial Cryptography (2022)

Keyphrases

real valued
graphical interface
user interaction
user friendly
database
virtual reality
website
computer graphics
real time
information retrieval
data structure
natural language
boolean functions
interactive video