Login / Signup
Improved prover efficiency and SRS size in a Sonic-like system.
Ariel Gabizon
Published in:
IACR Cryptol. ePrint Arch. (2019)
Keyphrases
</>
computational complexity
theorem prover
small size
computer vision
computational efficiency
high efficiency
database
social networks
learning environment
expert systems
first order logic
theorem proving
scales linearly
grain size