Login / Signup
Polynomial Commitment with a One-to-Many Prover and Applications.
Jiaheng Zhang
Tiancheng Xie
Thang Hoang
Elaine Shi
Yupeng Zhang
Published in:
USENIX Security Symposium (2022)
Keyphrases
</>
theorem proving
theorem prover
low order
database
neural network
real world
genetic algorithm
computer vision
information systems
database systems
image sequences