Detecting and Verifying Sharding Issues in BFT Systems

Authors: Xincheng Yang, Kyle Hale, ...

Type: advised project

Description: An ongoing project focused on detecting and verifying sharding-related correctness and performance issues in Byzantine Fault Tolerant (BFT) systems.