Recursion over Public-Coin Interactive Proof Systems; Faster Hash Verification.

Alexandre Belling Azam Soleimanian Olivier Bégassat

Published in: CCS (2023)

Keyphrases

management system
computer systems
complex systems
model checking
user friendly
retrieval systems
theorem prover
theorem proving
formal methods
memory efficient
asynchronous circuits