おいお前ら、分散型WebことWeb3。まだそんな夢見てる奴、まさか、いねーよなぁ？ ビットコインのマイナーが偏ってる！！イーサの分散性は云々。…正直そういう〇〇は分散してない系の批判は飽きたよ。てか分散性なんてもう誰も気にしてないしな。だから、もっと簡単な欠陥を指摘させてもらうぜ。 ブロックチェーン技術で何か人のためになっているサービスある？これよ、これ。 よく聞くのはウクライナへの募金に！とかブロックチェーンゲームで途上国の人が仕事を得てる！とか。アルゼンチンで使われてる！とか。 スケール小さくね？ それにな。まずアルゼンチンで使われてるのはUSDTだろ？アメリカ様々じゃねえか。打倒ドルの野望はどうしたんだよ！いいか、初心を忘れてる奴は危機感持った方がいいぜ。は？ライトニングがある？あんなの使えねぇよ。Liquidity Managementとかめんどいし、口座作ったらデフォで受け取りで

英語の「Authentication」を整理する ここからは先ほどの分類で言うところの「ユーザ認証」としての「認証」、つまり英語の「Authentication」に該当する「認証」について、さらに整理を進めていきます。 先ほど、「ユーザ認証」を「システムを利用しようとしているユーザを、システムに登録済みのユーザかどうか識別し、ユーザが主張する身元を検証するプロセス」と説明しました。「ユーザの識別」と「身元の検証」はユーザ認証に欠かせませんが、実際は他にも「ユーザの有効／無効状態の確認」や「検証に成功した場合の身元の保証（アクセストークンの発行等）」などの処理も一般的にユーザ認証のプロセスには含まれます。 ここで冒頭の「○○認証」を振り返りましょう。パスワード認証、SMS認証、指紋認証、顔認証は実はここで言うユーザ認証には該当せず、ユーザ認証中の一処理である「身元の検証」を担っていることがお

先日、博士（情報学）になりました。学部と大学院をあわせた 9 年間で読んだ情報科学関連の教科書・専門書を思い出を振り返りつつここにまとめます。私は授業はあまり聞かずに独学するタイプだったので、ここに挙げた書籍を通読すれば、大学に通わなくてもおおよそ情報学博士ほどの知識は身につくものと思われます。ただし、特に大学院で重要となる論文を読み書きすることについては本稿には含めておりません。それらについては論文読みの日課についてや論文の書き方などを参考にしてください。 joisino.hatenablog.com 凡例：（半端）とは、数章だけ読んだ場合か、最後まで読んだものの理解が浅く、今となっては薄ぼんやりとしか覚えていないことを指します。☆は特におすすめなことを表します。 学部一年 寺田 文行『線形代数 増訂版』 黒田 成俊『微分積分』 河野 敬雄『確率概論』 東京大学教養学部統計学教室『統計学

Polygon LabとStarkWareがCircle STARKを発表 ポリゴンラボ（Polygon Lab）とスタークウェア（StarkWare）が、両社の協力により開発した新たな証明システム「サークルスターク（Circle STARK）」が完成したことを2月22日に発表した。 「サークルスターク」は、ブロックチェーンのスケーリングのために開発された効率的なSTARK証明システム。これによりロールアップがより効率化され、現行のSTARK証明より高速かつ安価にトランザクションを処理可能だ。 なお同システムは、Polygon2.0に採用される暗号アルゴリズム「Plonky3」に搭載される予定とのことだ。 ポリゴンラボは、ポリゴン（Polygon）ブロックチェーンの開発を主導する企業であり、スタークウェアはイーサリアム（Ethereum）のレイヤー2ブロックチェーンのスタークネット（Sta

シリコンバレーの巨大VC、アンドリーセン・ホロウィッツ（Andreessen Horowitz、略称：a16z）は昨年、投資企業としての看板を、パートタイムのコンピューターサイエンスR&D企業へと切り替え、ディープテック研究に乗り出すと発表して話題となった。 同社は4月9日、zkVM（ゼロ知識仮想マシン）「Jolt」のオープンソースコード実装をリリースし、その最初の成果を発表した。 VCからR&D企業へ この新しいプロダクトは、a16zを正真正銘のR&D企業として位置づけるだけでなく、ブロックチェーン（そしてa16z自身のポートフォリオ企業の一部）の事業拡大に役立つ可能性がある。 一般的に「VM」と呼ばれる仮想マシンは、ブロックチェーンや他のプログラムの基盤として機能するソフトウェアベースのコンピュータ環境をいう。 Joltの「zk（ゼロ知識）」の部分は、a16zのVMを動かす暗号技術の一

しばしばブロックチェーンは既存の情報システムを置き換える有用な技術と期待されている。Web3という用語自体、いずれはWeb2を支えるサーバーを置き換える含意がある。2010年代後半から世界中で様々なPoC（概念実証）が行われた。日本でも2016年から何度か公的部門におけるブロックチェーンの利用について検討し、例えばデジタル庁ではNFT（非代替性トークン）の発行も試行した。一方で企業や政府といった組織の情報システムなどでのブロックチェーンの利用は進んでいないのが実態である。いわゆるWeb2と括られる大規模Webサイトや既存の情報システムに対する置き換えとしてブロックチェーンの活用に何を期待して、なぜ実現していないのだろうか。 基幹業務システムの多くの割合を占める台帳管理 計算機の歴史で早くから電算化が進められてきた基幹業務システムの多くは、いわゆる台帳システムである。台帳システムとは、申請に

メリークリスマス！ なんか、、最初はめっちゃやる気あったけど、、結局今日のみ投稿します。内容も数式少なめ＆入門寄りです。ま、年一投稿が私のゴール。 本記事のゴールは、(zk)SNARKを聞いたことある人の(zk)SNARKの解像度を少しでもあげることです。また、本記事に関する指摘等は、コメント欄にお願いいたします。修正はしませんが、貴重な読者の皆様はコメント欄も見てくれるはずなので、きっと大丈夫です。 目次 1.(zk)SNARKとVerifiable Computation(VC) 2.SNARKの作り方 3.おまけ SNARKのTaxonomy 4.おまけ 私が抱いていた疑問 5.おまけ (zk)SNARKユースケース(Deepfake対策) ガウス過程と機械学習っぽく言えば、1章だけでも読んでいってください。 この本、信じられないくらいわかりやすいですよね。 TL;DR (zk)SN

0 はじめに この記事は、こちらの記事を翻訳・編集したものです。 ① Web2におけるプライバシーについて Web2プラットフォームでは、プライバシーは失われた概念です。 ユーザーの情報は、ほとんど保護されることなく、インターネット上のどこかで公開されています。 ② ブロックチェーンのpseudonymity（日本語では「偽名性」ですが少しニュアンスは違います）について その点、ブロックチェーン・ベースの分散型アプリケーション（dApps）は、比類ないユーザーデータのセキュリティとプライバシーを提供する手段として、しばしばWeb3支持者によって宣伝されます。 https://www.gemini.com/cryptopedia/anonymity-vs-pseudonymity-basic-differences しかし、ブロックチェーンの取引はweb3のウォレットと結びついており、せいぜ