fujita

お知らせ

Bitcoinのアップデート「Taproot」は本当に安全なのか?

はじめに この記事ではTaprootの安全性の証明を述べます。 まず、Taprootの歴史、記号の定義、アルゴリズムを述べます。 次に、安全性の証明におけるTaprootのアルゴリズムを定義し、定理を述べ最後にその証明を行います。 Tapr...
お知らせ

一般誕生日問題 k-sum を解くための k-tree アルゴリズム

はじめに この記事では、一般化された誕生日問題である k-sum 問題を解くための k-tree アルゴリズムを紹介します。まず、この記事で多用する排他的論理和の性質と記号の定義を挙げ、k=4のときの k-sum 問題と k-tree アル...
タイトルとURLをコピーしました