Shared vs Private Randomness in Distributed Interactive Proofs.
Pedro MontealegreDiego Ramírez-RomeroIvan RapaportPublished in: ISAAC (2020)
Keyphrases
- distributed systems
- multi agent
- privacy preserving
- neural network
- theorem proving
- computer networks
- distributed environment
- user friendly
- data mining
- lightweight
- data sets
- communication overhead
- distributed architecture
- distributed network
- mobile agents
- user interaction
- cooperative
- communication cost
- distributed computing
- distributed learning
- graphical interface
- mathematical proofs