お知らせ 3色塗り分け問題を利用したゼロ知識証明プロトコルの紹介 はじめに 本記事では、Practical Relativistic Zero-Knowledge for NP の解説を行います。 この記事で紹介されるプロトコルの、モチベーションと実験による実現は相対論的ゼロ知識証明の実験による実現に記載... 2022.03.22 お知らせ
お知らせ 相対論的ゼロ知識証明を実験により実現した論文の紹介 はじめに 本記事では、 の数理的な部分の解説を行います。 こちらの記事( でも、同論文の日本語での解説がなされています。 まず、モチベーションを説明し、プロトコルの説明を実験の解説から、順を追って行います。 最後にまとめを述べます。 モチベ... 2022.03.08 お知らせ
お知らせ 環境変数一つでスタイルを切り替えるシステムを作った はじめましてこんにちは。フロントエンドエンジニアの山浦です。 今回、表題の通り「環境変数一つでスタイルを切り替えるシステム」の実装を任されたので、その全貌を追っていければと思います。 やりたいこと 同じブランチ・ソースコードでも、デプロイ先... 2022.02.18 お知らせ
お知らせ 50%では不十分?Selfish-Mining攻撃の脅威とは この記事では、“Selfish Mining” と呼ばれるブロックチェーンに対する攻撃手法の1つを提案した論文 を要約していきます。最初に論文の概要を述べ、論文を読むために必要な用語の解説をします。次に、提... 2022.01.26 お知らせ
お知らせ 時間が経たないと復号できない「タイムロック暗号」の作り方 この記事は の紹介記事になります。 タイムロック暗号のモチベーション 1.既存研究:Timed-release encryptionなどの欠点 2.以上を踏まえたモチベーション 本論文で示されること 3.Computational ref... 2022.01.11 お知らせ
お知らせ Bitcoinのアップデート「Taproot」は本当に安全なのか? はじめに この記事ではTaprootの安全性の証明を述べます。 まず、Taprootの歴史、記号の定義、アルゴリズムを述べます。 次に、安全性の証明におけるTaprootのアルゴリズムを定義し、定理を述べ最後にその証明を行います。 Tapr... 2021.11.06 お知らせ
お知らせ Testnet3でTaprootのトランザクションを作ってみる Taproot Taprootは11月からビットコインメインネットにてアクティベートされる予定の新しいアウトプット(と、アウトプットを消費するためのスクリプトルール)です。 今回はBitcoinのリファレンス実装であるbitcoindを使っ... 2021.10.15 お知らせ
お知らせ Vue3&TypeScript導入してよかった点悪かった点 初めまして!フロントエンドチーム小林です。 今回バックエンド側がAPIの改修を行ったことをきっかけに、フロントエンドも大幅に書き換え、Vue2からVue3へアップグレードも行いました。その感想をお届けします。 改修の内容 Vue2からVu... 2021.10.08 お知らせ
お知らせ 計算複雑性理論におけるPvsNPと探索問題から決定問題への自己還元可能性 この記事で紹介する内容 計算複雑性理論に属する P 問題と NP 問題とを調べ、それらの関係がどのように暗号資産に影響するかを紹介する。 参考 M.Sipser Introduction to the Theory of Compu... 2021.10.04 お知らせ
お知らせ ペグサイドチェーンによるブロックチェーンイノベーションの実現 この記事では、“サイドチェーン”と呼ばれるブロックチェーン技術について最初に提案された論文 を要約することでサイドチェーンについて解説していきます。 : Enabling Blockchain In... 2021.09.17 お知らせ