お知らせ PCP定理〜計算理論とゼロ知識証明をつなぐ〜
はじめに
SNARKs, STARKs, Bulletproofs, Auroraなどが
privacy(Zcash) と scalability (Ignis, StarkDEX, scaling Ethereum)に貢献しています。今回...
お知らせ 
お知らせ XRP 1.5.0導入プロセスの振り返り
日本時間で3/25の朝でしたが、こんなメールが ripple-server メーリングリストに流れました。
「2時間前に二つのアメンドメントがテストネットで有効になったよ。rippledを1.5.0-rc3に上げないと動かなくなります」
案...
お知らせ ElmでUUID GeneratorをTask化する
結論
Ellieでのデモ:
UUIDはTSFoster/elm-uuidを使用。
import UUID exposing (UUID)
randomToTask : Generator a -> Task Never a
ran...
お知らせ BitcoinプロトコルをRustでお話してみる（後編）
はじめに
この記事はbitcoinプロトコルをrustでお話してみる（前編）の続きの記事です。前回はBlockchain Advent Calendar 2019の中の記事の一つとして書きましたが、気がつくとあっという間に12月も終わってし...
お知らせ Bitcoin の P2P に Scala で通信してみる（後編）
前回までで Peer への接続とパケットの解析（パース）は出来るようになりました。これらを使ってパケットで Message をやりとりして、ハンドシェイクをしていきます。
接続してバイト列をやりとりする
バイト列をパースする
バージョン番...
お知らせ rippled1.4.0で適用されるDeletableAccounts Amendments
rippled 1.4.0のリリース
2019年12月2日にdeployされたXRP Ledger(rippled server) version 1.4.0から、バリデーターによるDeletableAccounts Amendmentsの...
お知らせ ハードフォークのタイミングを確率モデルで予測してみた
この記事はBlockchain Advent Calendar 2019の18日目の記事です。
ハードフォークのタイミング
BitcoinやEthereumではハードフォークやソフトフォークでなにかスペックを変える際に、事前に決めたブロック...
お知らせ BitcoinプロトコルをRustでお話してみる（前編）
この記事はBlockchain Advent Calendar 2019の13日目の記事です。
初めに
ご存じの方も多いと思いますが、先月の11/15にBitcoin Cash(BTC)のハードフォーク(HF)がありました。BTCは律儀に半...
お知らせ Bech32 のチェックサム
Bech32 のチェックサム
segwit アドレスなどに使われる Bech32 エンコードは BIP-173 に記述されています。
この記事では、チェックサム部分のアルゴリズムを解いていきます。
BIP ではまず python のソースコ...
お知らせ 分岐補題(Forking Lemma)の解説と具体例
分岐補題(Forking Lemma)の解説と具体例
概要
分岐補題(Forking Lemma)とは、ランダムオラクルモデル(ROM)を採用する署名形式の存在的偽造(＝署名検証をパスする署名とメッセージの組を秘密鍵を知らないまま作り出す偽...