Banshee is a ZK-based block header oracle protocol for Casper-based chains - View it on GitHub