Deep Selfish Proposing in Longest-Chain Proof-of-Stake Protocols.

Roozbeh Sarenche Svetla Nikova Bart Preneel

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

theorem prover
theorem proving
automated theorem proving
resource allocation
belief nets
upper bound
communication protocols
interactive theorem proving
neural network
genetic algorithm
information systems
probabilistic model
multi party
deep learning
linear logic
packet forwarding