Login / Signup
Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field.
Jonathan Bootle
Alessandro Chiesa
Ziyi Guan
Siqi Liu
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
formal proof
probabilistic model
bayesian networks
cellular automata
data driven
latest developments
worst case
mathematical theory
finite automata
context sensitive
equational theories
formal proofs
probabilistic automata
algebraic structure
signature verification
space complexity
uncertain data
database
model checking
generative model
hidden markov models
face recognition
information systems
data sets