Proofs of Proof-of-Stake with Sublinear Complexity.
Shresth AgrawalJoachim NeuErtem Nusret TasDionysis ZindrosPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- theorem proving
- theorem prover
- space complexity
- mathematical proofs
- interactive theorem proving
- natural deduction
- proof search
- computational complexity
- automated theorem provers
- formal proof
- high computational complexity
- sequent calculus
- automated theorem proving
- decision procedures
- database
- linear logic
- data structure
- bayesian networks
- image processing
- cut elimination
- knowledge base
- decision making
- data mining
- neural network