Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity | IEEE Conference Publication | IEEE Xplore