Login / Signup

Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time.

Jiaheng ZhangTianyi LiuWeijie WangYinuo ZhangDawn SongXiang XieYupeng Zhang
Published in: CCS (2021)
Keyphrases
  • theorem prover
  • special case
  • cost effective
  • theorem proving
  • computationally tractable
  • computer graphics
  • virtual reality
  • automated theorem proving
  • data mining