GitHub repository: shan-chen/LOKI
Description: A fuzzing framework for blockchain consensus protocols