ブログ

  • 4th March 2026

ゼロ知識証明:計算を多項式に変換する(第1回/全3回)

プログラムから数本の多項式方程式へ:SNARKがフラット化、R1CS、QAP変換を通じて計算をどうエンコードするか

Read more 
  • 13th February 2026

Verkle木:多項式コミットメント(第2回/全2回)

たった1つの曲線上の点で256個の子にコミットでき、証明がキロバイトからバイトに縮小する仕組み

Read more 
  • 3rd February 2026

EthereumのMerkle Patricia Trie(第1回/全2回)

Ethereumが状態をどう保存し、1つのハッシュにコミットし、なぜその設計が限界に達しつつあるのか

Read more 
  • 29th January 2026

教育のバリューチェーン:AIの出番はどこか

教育は一枚岩ではない。段階に分解すると、テクノロジーが本当に役立つ場所が見えてくる。

Read more 
  • 23rd January 2026

ParquetがCSVに勝るとき

ファイルレイアウトが重要になる物理的な現実

Read more 
  • 22nd January 2026

プロンプトファースト学習

教科書があなたの質問に合わせてくれたら?

Read more 
  • 19th January 2026

鍵からプロトコルへ:ECDHとECDSA(第2回/全2回)

楕円曲線の数学が安全な鍵交換とデジタル署名をどう可能にするか

Read more 
  • 16th January 2026

秘密鍵の背後にある数学(第1回/全2回)

群論から楕円曲線まで:公開鍵暗号の仕組み

Read more 
  • 14th January 2026

Claude Codeスキルによる翻訳

カスタムスキルとサブエージェントで、多言語公開を手動翻訳より速く、安く、高品質に

Read more 
  • 11th January 2026

計算の限界(第3回/全3回)

チューリングマシンにできないこと、そしてそれが重要な理由

Read more