Sabitlenmiş Tweet
【ブログ更新】作品制作における自分の根本的なモチベーションについて、包み隠さず書きました。
> 日本の現代美術家は失われた30年の表現に向き合え
knskito.com/2025/09/16/%E6…
日本語
Kensuke ITO
11.2K posts
Kensuke ITO
@knskito
Conceptual Art & Bitcoin | Cryptoeconomics | Blog: https://t.co/7Y4YkkIccq | 好きな言葉: 南の国のカンヤダ
Bunkyo-ward, Tokyo Katılım Ocak 2010
788 Takip Edilen1.4K Takipçiler
Kensuke ITO retweetledi
予測市場のアルゴリズムについて、POYPのしょらさんに解説してもらいました。
今回は Part1 として「なぜ対数を使うのか？」をテーマに、予測市場のベースとなるアルゴリズムについてわかりやすく話しています。
youtu.be/yQ-OzYC9iO4?si…
YouTube
日本語
Kensuke ITO retweetledi
東京大学工学部で「現代美術 × ブロックチェーン」スタディグループの初回でした。毎週の議論と探索課題を通じて、作品制作まで取り組みます！
日本語
Kensuke ITO retweetledi
Kensuke ITO retweetledi
最近、平均して毎日１件以上、予測市場についての取材の依頼や、問い合わせや、執筆依頼がある。凄い勢いで予測市場への関心が高まってきている。
日本語
Kensuke ITO retweetledi
AIエージェント専用ブロックチェーン「Eris」の開発を開始しました！
加えて、Eris上で稼働するAIエージェント専用コンペASCONの開催も決定しました！ (最大賞金総額450万円)
Erisは、AIエージェントのみが自律的に取引するEthereum L2です。
ASCONは、Eris上のAIエージェントが自律的にトレード、ハッキングを行って賞金を稼ぐ経済コンペティションです。
AIエージェントとEthereumプロトコルセキュリティの技術を組み合わせ、検証可能で安全な金融インフラ構築に貢献してまいります！
Nyx Foundation@NyxFoundation
Nyx Foundationは、AIエージェント専用Ethereum Layer 2「Eris」の開発を開始しました。 Erisは、AIエージェント同士が実際に流動性提供・MEV・アービトラージ・攻撃・検証を行う、DeFiセキュリティのための経済シミュレーション環境です。 あわせて、Eris上で稼働するAIエージェント・コンペティション「ASCON」のスポンサー募集を開始します。 - 2026 Q4 開催予定 - 賞金総額: 最大30,000 USD Trader・Hacker・Verifierの機能を持ったAIエージェントが、数週間にわたり同一市場内で継続的に相互作用します。 DeFi・RWA時代に求められるのは、静的な監査や単発的な検証だけではなく、実際の市場圧力と敵対的環境下において継続的に検証可能なインフラであると考えています。 スポンサー・協業にご関心のある企業様はDMまたはお問い合わせください。 prtimes.jp/main/html/rd/p…
日本語
Kensuke ITO retweetledi
Nyx Foundationは、AIエージェント専用Ethereum Layer 2「Eris」の開発を開始しました。
Erisは、AIエージェント同士が実際に流動性提供・MEV・アービトラージ・攻撃・検証を行う、DeFiセキュリティのための経済シミュレーション環境です。
あわせて、Eris上で稼働するAIエージェント・コンペティション「ASCON」のスポンサー募集を開始します。
- 2026 Q4 開催予定
- 賞金総額: 最大30,000 USD
Trader・Hacker・Verifierの機能を持ったAIエージェントが、数週間にわたり同一市場内で継続的に相互作用します。
DeFi・RWA時代に求められるのは、静的な監査や単発的な検証だけではなく、実際の市場圧力と敵対的環境下において継続的に検証可能なインフラであると考えています。
スポンサー・協業にご関心のある企業様はDMまたはお問い合わせください。
prtimes.jp/main/html/rd/p…
日本語
Kensuke ITO retweetledi
Kensuke ITO retweetledi
サトシ・ナカモトから、世界で初めてビットコインを受け取った男、ハル・フィニー
去る5月4日は、稀代の天才プログラマーであり、暗号技術の歴史を切り拓いた彼の誕生日でした。
病魔と戦いながらもコードを書き続けた彼が、死去の前年に掲示板BitcoinTalkへ遺した手記「Bitcoin and me（ビットコインと私）」
彼の不屈の生き様と、ビットコインへの想いが詰まった記録です。ぜひ読んでみてください👇
Tokyo Bitcoin Base JP@TBB_JP
日本語
Kensuke ITO retweetledi
予測市場について話しました。
特に今回は、インサイダー取引は必要なのか？予測市場は集合知なのか？という2点について議論しています。
youtu.be/1tNBgozujt4?si…
YouTube
日本語
Q5. Ethereumのステートデータについて、正しい記述を選択せよ (SCはスマートコントラクト, Txはトランザクション, BCはブロックチェーン, をそれぞれ示す)
日本語
Q4. Ethereumのスマートコントラクトについて、正しい記述を選択せよ (Txはトランザクション, CAはコントラクトアカウント をそれぞれ示す)
日本語
2026年度ブロックチェーン公開講座の宣伝も兼ねて、例年作成している講義の復習問題をここにも投稿してみようと思います。Xの仕様で選択肢の文章が短くなっていますが、良かったら挑戦してみてください。
docs.google.com/forms/d/e/1FAI…
日本語
Kensuke ITO retweetledi
Ethereumバグ報告件数で世界一になったSPECAを、遂にOSS化しました！
攻撃者に知見を与えることになりかねないため、これまでは公開を控えていましたが
昨今の情勢を色々勘案した結果完全に公開しました。
全知見を公開しているので、ぜひホワイトハッカーの方々はフル活用して世界をセキュアにしてください！
Nyx Foundation@NyxFoundation
【お知らせ】 コードではなく「仕様書」からバグを見つけるAIセキュリティ監査ツールを、本日OSS公開しました。 名前はSPECA。Specification-to-Checklist Agentic Auditing Framework の略です。 SPECAは、「仕様駆動（Specification-driven）」で高信頼性ソフトウェアを監査するための、AIエージェント型セキュリティ監査フレームワークです。 従来のコード駆動型ツールとは、根本的に異なるアプローチを取っています。 自然言語で書かれた仕様、たとえば EIP やコンセンサス仕様書などから、まず 明示的な型付きセキュリティプロパティ（Invariant / Precondition / Postcondition / Assumption） を抽出します。 次に、それらを STRIDE + CWE Top 25 に基づく脅威モデルで整理します。 そのうえで、各実装に対して proof-attempt reasoning、つまり「このプロパティが成立することを証明してみろ」と構造的に問いかけることで、仕様と実装のギャップを検出します。 これにより、次の3つの価値を提供します。 - 仕様レベルでしか表現できない脆弱性: コードパターンだけでは拾えない、仕様由来のバグを検出できる - 複数実装間の横断比較: 同じプロパティ辞書で、複数の実装を一律に評価できる - 偽陽性の原因分析: 根拠を完全にトレースし、偽陽性を根本原因ごとに分解できる 「これまでの実績」 SPECAは、これまで以下のような対象で実際に脆弱性を発見してきました。 ・Intmax ZK実装 ・SP1 zkVM実装 ・Ethereumクライアント実装20件以上 ・その他多数の DeFi プロトコル / OSSプロジェクト 直近の Sherlock Ethereum Fusaka 監査コンテストデータを用いた再実験では、既知の脆弱性15件すべてを検出し、さらに 追加バグ4件を独立に発見しました。 RepoAudit C/C++ ベンチマークでも、他のバグ発見AIと比較して最高水準の精度を維持しつつ、12件の新規候補バグを報告しています。 「なぜ今、全部OSS公開するのか？」 SPECAの核心である以下の要素を、すべて公開しています。 - プロンプト: AIエージェントのハルシネーションを徹底的に抑えるproof-attemptプロンプト設計 - 再帰的自己改善: 偽陽性を削減しながら H/M/L リコールを維持する 3-gate audit-reviewループ （Dead Code / Trust Boundary / Scope） - ハーネス: 並列化、リジューム、予算制御、circuit breakerまで完備した 再利用可能なPythonオーケストレータ - 解釈可能性: 全ステップのログ・出力をJSONで構造化し、監査可能・解釈可能にした設計 バグバウンティのスコープやルールをそのまま BUG_BOUNTY_SCOPE.json として読み込み、実践的な脆弱性だけを抽出する設計です。 Claude Code CLI + MCPサーバーで動作し、Go / Rust / Nim / TypeScript / C などマルチ言語に対応しています。GitHub Actionsで全フェーズを自動実行できます。 公開の決め手はシンプルです。 エンタープライズのセキュリティ部門でも、ClaudeやOpenAIを活用したセキュリティツールを導入する選択肢が現実的になってきました。 その今なら、SPECAをオープンに公開しても、ただ攻撃に悪用されるのを指をくわえて見ているだけではない。防御側・ホワイトハッカー側が先に活用できる環境を作れると判断しました。 攻撃者より先に、ホワイトハッカーが現実システムのバグを見つけ、報告し、修正につなげられる世界を作りたい。 「Call for white-hat hackers」 ホワイトハッカーの皆さん、どうかこのSPECAを使ってください。 悪意あるハッカーより先に、バグバウンティ対象の現実システムの脆弱性を発見しきって、報告し、修正に導いてください。 あるいは、これをベースに、より高度なバグ発見システムを構築する研究・開発の土台にしてください。 プロンプトも、ループも、ハーネスも、JSONログも、全部MITライセンスで公開しています。好きなだけ改造・拡張・フォークしてください。 「使い方」 repoをcloneして、次のコマンドを実行するだけです。 uv run python3 scripts/run_phase.py --target 04 --workers 4 --max-concurrent 64 コマンド一つで即座に動かせます。 BUG_BOUNTY_SCOPE.json と TARGET_INFO.json を用意するだけで、新しいターゲットの監査を開始できます。 GitHub: github.com/NyxFoundation/… READMEと全ソースコードを読めば、すぐに動かせます。 セキュリティ界隈の皆さんと一緒に、仕様から始まる本物の監査文化を次のステージに押し上げたいと思っています。 ご意見・改善案・バグ報告・コラボレーションも大歓迎です。RT・コメント・試用報告、どれでも構いません。ぜひ反応いただけると嬉しいです。
日本語
Kensuke ITO retweetledi
東京大学「ブロックチェーン応用実践プログラム」暗号SGの募集は今月末まで！
すでに多くの応募が集まっています！
寄付やスポンサーも募っているので興味がある方はこちらをチェック！
merklejapan.eth.limo/#/education/ut…
日本語
Kensuke ITO retweetledi
