Proofs of Proof-Of-Stake with Sublinear Complexity.
Shresth AgrawalJoachim NeuErtem Nusret TasDionysis ZindrosPublished in: AFT (2023)
Keyphrases
- theorem prover
- theorem proving
- space complexity
- mathematical proofs
- automated theorem provers
- interactive theorem proving
- worst case
- formal proof
- proof search
- linear logic
- database
- databases
- information retrieval
- computer algebra
- natural deduction
- automated theorem proving
- complexity measures
- computational complexity
- decision procedures
- social networks
- feature selection
- database systems
- inference rules
- decision problems
- knowledge representation