Login / Signup
HyperPianist: Pianist with Linear-Time Prover via Fully Distributed HyperPlonk.
Chongrong Li
Yun Li
Pengfei Zhu
Wenjie Qu
Jiaheng Zhang
Published in:
IACR Cryptol. ePrint Arch. (2024)
Keyphrases
</>
fully distributed
cooperative
theorem proving
peer to peer
distributed search
multi agent systems
overlay network
loosely coupled
theorem prover
key distribution
similarity search