LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols