Proofs of Proof-of-Stake with Sublinear Complexity.
Shresth AgrawalJoachim NeuErtem Nusret TasDionysis ZindrosPublished in: CoRR (2022)
Keyphrases
- space complexity
- mathematical proofs
- theorem proving
- theorem prover
- formal proof
- natural deduction
- decision procedures
- worst case
- interactive theorem proving
- computational complexity
- computer vision
- inference rules
- computational cost
- objective function
- mathematical knowledge
- multiscale
- sequent calculus
- bayesian networks
- automated theorem provers
- machine learning