Login / Signup
Batch Proofs are Statistically Hiding.
Nir Bitansky
Chethan Kamath
Omer Paneth
Ron Rothblum
Prashant Nalini Vasudevan
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
theorem proving
mathematical proofs
batch mode
decision procedures
equational theories
statistically significantly
theorem prover
batch processing
batch size
online algorithms
formal proof
batch learning
learning algorithm
color space
probabilistic model
database systems
social networks