Blog
Thoughts on blockchain, Web3, cloud technologies, and software engineering.
X の「おすすめ」はどう作られるのか — 公開された For You アルゴリズムをコードから読む
X が公開した x-algorithm を実装レベルで読み、候補生成、Phoenix、行動価値の重み付け、探索、多様性、安全性がなぜ分離されているのかを初見向けに解説する。
受理された署名は、何も証明していない――Schnorr と nonce 再利用
zk-tokyo Advanced Cryptography Program 2026 の Week 3 で楕円曲線と Schnorr プロトコルを扱いました。秘密鍵を一度も使わずに作った会話が検証に通ること、nonce を 1 回使い回すだけで secp256k1 の秘密鍵が復元されることを、実際に走らせた結果つきでまとめます。
答えが正しくても、開きすぎたら落ちる――MPC・Beaver triple・紛失通信
zk-tokyo Advanced Cryptography Program 2026 の Week 2 で MPC（秘密計算）を扱いました。積の値がすべて正しいのに採点器に落ちる実装、Beaver triple を再利用すると公開値だけから秘密の差が漏れること、OT の乱数範囲が 1 点欠けるだけで選択が漏れることを、実際に壊した採点結果つきでまとめます。
制約を 1 本書き忘れた回路は、誰でも通れる――算術回路とアンダー制約
zk-tokyo Advanced Cryptography Program 2026 の Week 1 で算術回路を扱いました。回路に if が書けない理由、制約を 1 本落とすと権限のない資格が 54 通り通ってしまうこと、そして Circom や Noir で同じバグがどう現れるかをまとめます。実際に回路を壊せる自習ノートも公開しました。
名刺を切らしても自己紹介を渡せる――TenkaCloud Passport を App Store で公開しました
アカウント登録もサーバーも要らない自己紹介カード TenkaCloud Passport を App Store で公開しました。データは QR のフラグメントに入れて持ち歩き、相手は標準カメラで開くだけ。v1.2.0 ではオンデバイス AI を Apple Intelligence へ全面切替し、モデルのダウンロード工程そのものを製品から消しました。
技術書をGitHubとCI/CDで書く方法――Zenn Bookを2冊公開してわかったこと
Zenn Bookを2冊公開した経験から、読者と到達点の決め方、動くサンプルの用意、ChatGPT Pro・人・Codexの役割分担、GitHubとCI/CDによる原稿管理、公開後の確認までをまとめた。
Zigでブロックチェインをゼロから作る無料本を公開した ― ブロック・PoW・P2P・簡易EVMまで動かす
Zig言語でブロックチェインをゼロから実装する無料本を公開した。ブロック、PoW、P2P通信とチェイン同期、そしてSolidityの一部オペコードを動かせる簡易EVMまで、自分で手を動かしながら仕組みを学ぶ工作キットとして書いた。PoS未実装の理由も含めて残しておく。
クラウドは「触る」でしか身につかない — 本物の AWS アカウントで戦う競技を作っている理由
資格やチュートリアルでは「クラウドが使える」にはならない。参加者それぞれの本物の AWS アカウントで戦ってもらうクラウド競技 TenkaCloud を、なぜ怖さを引き受けてまで作っているのかを書いた。
Koto: A Local-First AI Native IME for Context-Aware Intent-to-Text Transformation
「あれやっといて」を、次の入力候補に変える AI Native IME。ローカル作業文脈を用いた文脈対応型 Intent-to-Text IME の position paper。
Bootstrapping Conditions for Autonomous Agent Economies: An Empirical Study with On-chain Stablecoin Incentives
自律エージェントに能力・資本・通信手段を与えても経済活動は自然発火しない。Molt Marketでの予備実験と、発火条件を検証するための実験計画。