Orion: Zero Knowledge Proof with Linear Prover Time.

Tiancheng Xie Yupeng Zhang Dawn Song

Published in: CRYPTO (4) (2022)

Keyphrases

theorem proving
knowledge representation
artificial intelligence
simple linear
real world
machine learning
website
multiscale
evolutionary algorithm
special case
answer set programming
linear systems
linear constraints
linear complexity