Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field.
Jonathan BootleAlessandro ChiesaZiyi GuanSiqi LiuPublished 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