
Crypto米国スタートアップをやっています。現職←DeNA←慶應 | EN: @zkyuki_ditto
東京 & NYC
Joined April 2020
- Tweets2.8K
- Following1K
- Followers1.6K
- Likes17K
Pinned Tweet
Solanaのグローバルハッカソンで勝ちました🏆
サポートいただいた@SuperteamJapan や、動画制作を協力してくれた@uhi_sen @shocolt 、何よりもチームのおかげです!
AI × Cryptoでちゃんとユーザーに愛されるものをつくっていきます
実績と信頼をコツコツ勝ち取りながら、今後も頑張ります!
Replying to @solana
🤖 Fourth prize in the AI Track goes to @DaikoAI, a vibe trading app with personalized sell signals.
arena.colosseum.org/projects…
隣でイノベーション起きちゃってる
情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました!
たぶん世界初です。
Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。
昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。
開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。
Nyxisは大部分がLean言語で記述されており、形式検証によって
「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」
という認可安全性定理を機械的に証明しています。
認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。
形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。
先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。
こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。
Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。
もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。
この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。
一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。
本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。
世界をセキュアにする一助になれば嬉しいです。
github.com/NyxFoundation/nyx…
佐藤祐希 Yuki Sato retweeted
明日10/20(火)朝8時、経済の生放送番組「TOKYO INSIDERS」を始めます。
なぜテレビ局でも暗号資産メディアでもなく、この番組なのか。8年分の想いを書きました。
佐藤祐希 Yuki Sato retweeted
今週だけでセキュリティ相談の連絡が5件ほどあり、ロボット、AIデータセンター、量子耐性、KYA、環境問題と多様なラインナップ
Lean案件もこの1ヶ月で一気に複数受注した
セキュリティ、量子耐性、形式検証、DeFiなど多分野で専門家が揃うグローバル集団Nyx Foundationにしか対応できない案件がゴロゴロ増えてきた
少し前までは「何ができるの?」と聞かれていたが今は「何でもできそう」と言ってもらえるようになって嬉しい
佐藤祐希 Yuki Sato retweeted
【拡散希望】
来週火曜、「AI×予測市場」というテーマのイベントで登壇します!
🇺🇸元CFTC・Danさんの米国規制動向
🇯🇵MIRAIMA安達さんのポイント制市場と集合知
🤖私はAI取引と市場デザインについて
日米の最前線がわかる豪華ラインナップです🔥
ぜひ皆さん来てください!
luma.com/sbvg6p2x
佐藤祐希 Yuki Sato retweeted
出させていただきました!
喋ってないのに写ってる尺かなりとってくれてありがとうございます!
@shundiary0817
with @gdvonly @TetsuFujita
【日本人売りは失敗する?】海外起業家のリアルな起業体験と成功のコツを聞いてみました。 youtu.be/-YGppGqxv5E?si=aORw… via @YouTube
おめでたいなあ〜
「株式会社Wanderlustの株式取得(子会社化)に関するお知らせ」
AI inside社による適時開示出てます!評価額、10億円!!
<本M&Aのディールの概要>
・東京大学・松尾研究所発のAI開発コンサルティング会社
・AI insideが約7億円で急成長中のAIコンサル会社Wanderlustの70%を取得。
・Wanderlustの100%株式価値は約10億円。
・2026年3月期は、売上2.41億円、営業利益3,100万円、経常利益3,600万円、純利益2,600万円、純資産7,300万円
・売上は3年で、0.02億円 → 0.76億円 → 2.41億円と急拡大
・AI insideはプロダクト販売だけでなく「AI戦略→開発→実装」まで一気通貫で提供できる体制を作ろうとしており、そのシナジーを見込んだM&A。
創業3年半、営業利益3,000万円前後で、10億円評価。素晴らしい。
西川 響くんはAI会社始める前に、Web3で一緒にガシガシやってた時期からの友達で、フットサルとか、運動会とか一緒にやったりしてる仲なので、個人的にめちゃエモいです!
元ツイートでまとめているけど、20代の若手AI起業家のExit、めちゃくちゃ活況。
release.tdnet.info/inbs/1401…
今後の展開気になる👀
Japan was told to export less when it sold too much, and to revalue the yen when the dollar’s foundations cracked.
The yen’s history has more twists, and more arm-twisting, than the headlines suggest.
What could $JPYdf add to that story?
佐藤祐希 Yuki Sato retweeted
【COO候補を募集しています!】
現在ベータ版で行なっている、ロボット向けデータ収集事業「ロボデータバンク」を本格的に立ち上げるにあたり、一緒に事業を推進してくれる方を探しています!
「ロボデータバンク」は、現場を持っている会社が、その作業のデータを蓄積して将来ロボットを導入する際に活用できる資産とすること、また、その一部を売却し新しい収益源を作ることのできるサービスです。
海外では大規模な投資が行われているロボット向けデータの収集事業ですが、日本にはその投資が流入していません。現場のある全ての産業が対象となるため、大規模な展開を一緒に作っていける方を探しています!
■ お願いしたいこと
事業立ち上げ全般を行います
・現場を持つ企業(製造/物流/清掃/建設など)の新規開拓
・パートナー企業との関係構築
・収集フローの設計と運用、品質・進捗の管理
■ こんな方
・決まった手順がない状態から、自分で段取りを作って回せる方
・いろいろな会社を巻き込める方
・現場に積極的に足を運べる方
※ロボティクス・AIの事前知識は不問。英語も不要です。
これから確実に成長する領域で、大きな裁量を持ち立ち上げフェーズから参加できる機会になると思います。話だけ聞いてみたい方、ロボット領域に興味がある方、事業に興味を持っていただいた方、などもお気軽にDMください!
佐藤祐希 Yuki Sato retweeted
Your PnL doesn't care. Your trading friends might.
JTX Flight at Tokyo, traders' meetup. @jito team flying in from the US & APAC.
Sept 28 (Mon), 19:00–22:00
Luma below, approval required. Contact @alltimesushie
佐藤祐希 Yuki Sato retweeted
ねこねこAIラジオ、サンフランシスコ土産話回🐈
#18 San Fransisco | AI-Native Companyの実像
▼Chapters
16:00 ソフトウェア開発はビール作り
17:40 バイブコーディングはパンクロック
26:18 本当の意味で AGI に張る組織
27:43 コンテキストは気にしてもしゃあない
30:35 俺、全然 AGI に張ってないじゃん
34:09 街で OpenAI の人を見かけない
40:49 結局コンピューティングが足りない
44:15 米建設費20%は地下配管のせい
54:19 シリコンの限界をダイヤモンドで
1:08:02 逆イーサリアム
1:08:48 Waymo・Robotaxi・Zoox 乗り比べ
youtu.be/6xonfhjNXzs?si=ILFC…
佐藤祐希 Yuki Sato retweeted
猫は苦手なのですが、SFでNotion / Databricks / Anthropicに話を聞いてきたパイセンに面白話を聞かせてもらいました!
ねこねこAIラジオ、サンフランシスコ土産話回🐈
#18 San Fransisco | AI-Native Companyの実像
▼Chapters
16:00 ソフトウェア開発はビール作り
17:40 バイブコーディングはパンクロック
26:18 本当の意味で AGI に張る組織
27:43 コンテキストは気にしてもしゃあない
30:35 俺、全然 AGI に張ってないじゃん
34:09 街で OpenAI の人を見かけない
40:49 結局コンピューティングが足りない
44:15 米建設費20%は地下配管のせい
54:19 シリコンの限界をダイヤモンドで
1:08:02 逆イーサリアム
1:08:48 Waymo・Robotaxi・Zoox 乗り比べ
youtu.be/6xonfhjNXzs?si=ILFC…
佐藤祐希 Yuki Sato retweeted
オンチェーンと伝統的金融が交わる。
日本の銀行、証券、資産運用、決済、通信会社と、Solanaエコシステムが語り合った一夜。
No panels. No pitches. No press.
未来の金融は、対話から始まる。
OFF THE RECORD at Cotton Club
Sesameと弊社oto(@otodotearth), カーネギーメロン大学の共同研究が公開されました!
音声対話システムのターンテイキングを評価する新しいベンチマークTurnBenchです!
To craft for conversation, timing is everything. Natural conversation is a social dance, and timing matters just as much as tone and delivery.
Most voice AI doesn't do this well yet.
So we built TurnBench: an open benchmark that measures whether voice AI knows when your turn is really over, and when an "mm-hmm" is agreement, not an interruption.
Learn more about how we built this on our blog.
sesame.com/blog/turnbench
Akim ×フミコーンさん 🔥
🎉本日配信スタート!🎉
📻#フミコーンのダルマラジオ 📻
/
ナイジェリアでサンダルを売る男
Akimさんの起業哲学に迫る‼️
\
インド単身留学、YouTube売却、フルカスタムだるま——
常識の枠に収まらない行動力で道を切り拓いてきた“フミコーン”こと髙橋史好さん(@ppfumiko)が、ついにパーソナリティに🔥
記念すべき第1回ゲストは、
MIKOTO Holdings代表・河明宗(Akim/@gdvonly)さん。
NFTアート「ベリーロングアニマルズ」(@verylonganimals)をきっかけに単身ナイジェリアへ渡り、その後サンダル事業に乗り出したAkimさんの規格外の決断の裏側に迫ります。
👇本編はこちらから
youtrust.jp/studio/articles/…
#フミコーン #髙橋史好 #TOKYOLOLLIPOP #カイシャダルマ #Akim #ナイジェリア #ダルマラジオ #ビデオポッドキャスト #Podcast #ユースタ #YOUTRUST #行動力






























