The Power of Distributed Verifiers in Interactive Proofs.
Moni NaorMerav ParterEylon YogevPublished in: Electron. Colloquium Comput. Complex. (2018)
Keyphrases
- cooperative
- distributed systems
- distributed environment
- multi agent
- theorem proving
- power consumption
- user interaction
- mobile agents
- user friendly
- formal proof
- database
- distributed computing
- distributed database systems
- fault tolerant
- computer networks
- distributed databases
- energy consumption
- computer graphics
- peer to peer
- databases