Assess students' ability to design a Byzantine fault-tolerant consensus algorithm for sharded, permissionless blockchain systems: require them to state precise system and adversary models (synchrony, fault thresholds, cryptographic assumptions), specify secure committee selection and shard formation, design intra- and cross-shard protocols (including atomic cross-shard transactions and reconfiguration), provide formal proofs of safety and liveness under the stated assumptions, analyze message, time, and storage complexity for scalability, and discuss incentive compatibility and common attack vectors and mitigations.