Login / Signup
Reducing Participation Costs via Incremental Verification for Ledger Systems.
Weikeng Chen
Alessandro Chiesa
Emma Dauterman
Nicholas P. Ward
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
real world
management system
information systems
formal methods
distributed systems
automated verification
databases
asynchronous circuits
model checking
complex systems
data driven
social media
learning process
expert systems
face recognition
decision making
artificial intelligence
information retrieval