Login / Signup
Limits on revocable proof systems, with applications to stateless blockchains.
Miranda Christ
Joseph Bonneau
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
building blocks
distributed systems
computer systems
case study
evolutionary algorithm
theorem prover
databases
search engine
logic programs
complex systems
theorem proving