Auditable and performant Byzantine consensus for permissioned ledgers