ここ1週間くらいMythosによる監査を徹底的にしてるけど、MythosはFableがおもちゃにみえるぐらい強い。 Intmaxの回路への監査も安定していて終わりに近い。zERC20にはMythosでも重要バグが1つも見つからなかった。 ボランティアで監査した暗号学ライブラリには案の定Criticalが見つかる。昨日一通り報告とパッチを終えた。

最近の活動についても改めて。 現在は、x402・MPPとプライバシー技術を組み合わせた決済プロトタイプを、zERC20チームからフィードバックをいただきながら開発しています。 近日中に公開予定です。AI Agents、決済、プライバシー技術に関心のある方に、公開後ご意見をいただけると嬉しいです。