Login / Signup
Recursion over Public-Coin Interactive Proof Systems; Faster Hash Verification.
Alexandre Belling
Azam Soleimanian
Olivier Bégassat
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
distributed systems
intelligent systems
management system
interactive systems
support systems
real time
information systems
case study
database systems
data structure
building blocks
computer graphics
complex systems
user friendly
theorem prover
automated verification