STAKESURE: Proof of Stake Mechanisms with Strong Cryptoeconomic Safety.
Soubhik DebRobert RaynorSreeram KannanPublished in: CoRR (2024)
Keyphrases
- real time
- data sets
- theorem prover
- computational models
- machine learning
- linear logic
- building blocks
- artificial neural networks
- proof planning
- database
- mechanisms underlying
- mechanism design
- theorem proving
- multi agent systems
- data structure
- database systems
- image segmentation
- image processing
- information systems
- real world
- databases