Hydra: An Efficient Asynchronous DAG-Based BFT Protocol.

Zhuo An Mingsheng Wang Dongdong Liu Taotao Li Qiang Lai

Published in: SciSec (2023)

Keyphrases

state machines
state machine
directed acyclic graph
lightweight
neural network
database systems
formal analysis
wavelet transform
random variables
tcp ip
coloured petri nets