Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass - View it on GitHub