Gitter for casper scaling and protocol economics