A blockchain network simulator, which can be used for blockchain network protocol verification. - View it on GitHub