バビロンプロトコル、ビットコイン検証コストを1000倍以上削減