A recursive Byzantine-resilient protocol. (February 2015)