視界を共有しながら、実世界のスキルを声で導くAIコーチを作る試み
25ドルのインディーMacアプリがキーボードを置き換えた話。サブスクなし、音声OSも不要。
トラステッドセットアップ、曲線上の8つのコミットメント、5つのペアリングチェック：多項式恒等式をどうやって動くゼロ知識SNARKに変えるか。
プログラムから数本の多項式方程式へ：SNARKがフラット化、R1CS、QAP変換を通じて計算をどうエンコードするか
たった1つの曲線上の点で256個の子にコミットでき、証明がキロバイトからバイトに縮小する仕組み
Ethereumが状態をどう保存し、1つのハッシュにコミットし、なぜその設計が限界に達しつつあるのか
教育は一枚岩ではない。段階に分解すると、テクノロジーが本当に役立つ場所が見えてくる。
ファイルレイアウトが重要になる物理的な現実
教科書があなたの質問に合わせてくれたら？
楕円曲線の数学が安全な鍵交換とデジタル署名をどう可能にするか