TRAIL: Cross-Shard Validation for Cryptocurrency Byzantine Shard Protection. - Mitch Jacovetty; Joseph Oglio; Mikhail Nesterenko; Gokarna Sharma (CoRR, 2024)