Login / Signup
Acki Nacki: A Probabilistic Proof-of-Stake Consensus Protocol with Fast Finality and Parallelisation.
Mitja Goroshevsky
Nikita Sattarov
Alina Trepacheva
Published in:
ACNS Workshops (1) (2024)
Keyphrases
</>
cost based abduction
formal proof
bayesian networks
probabilistic model
data driven
uncertain data
lightweight
probabilistic logic
generative model
communication protocol
probability theory
database
graphical models
formal analysis
clustering algorithm
learning algorithm
tcp ip
neural network
data sets