![「パキスタンには俺より強い奴が沢山いる」は本当だった! 「Tokyo Tekken Masters 2019」、パキスタンから初来日のAtif Butt選手が堂々優勝](https://cdn-ak-scissors.b.st-hatena.com/image/square/f0c15f672a967026b98ea4cef015ce31bdc865d7/height=288;version=1;width=512/https%3A%2F%2Fgame.watch.impress.co.jp%2Fimg%2Fgmw%2Flist%2F1215%2F049%2Ftk10.jpg)
日記です。 リポジトリ: LayerXcom/cbc-casper-proof 概要 (私は LayerX の人ではないですが)LayerX 社の人と色々あって CBC Casper というブロックチェーンのプロトコルの検証作業を行いました。(主に定理証明士としてのお手伝い) 半年くらいかかったけどやりたかった証明についにたどり着いたよという話。 CBC Casper って何 わからん。(無知) 何かブロックチェーンのプロトコルの名前らしい。Ethereum 財団が目をつけてるらしい。いわゆるビットコインとは違ってブロックを頑張ってマシンをぶん回してマイニングしたりしないらしい(ビットコインは PoW で CBC Casper は PoS)。 詳しいことは詳しい人に聞いたほうがいいよ(真理)。 cf: CBC Casper と形式的検証 Isabelle で検証って何するの ブロックチェー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く