Login / Signup
Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time.
Jiaheng Zhang
Weijie Wang
Yinuo Zhang
Yupeng Zhang
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
theorem prover
theorem proving
special case
closely related
automated theorem proving
high speed
user interaction
shift register
database
proof search
circuit design
wide class
user friendly
lightweight
image processing
data sets
real time