Loading paper
Basil: Breaking up BFT with ACID (transactions) | Tomesphere