Making Speculative BFT Resilient with Trusted Monotonic Counters

Re-assign community