情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました!
たぶん世界初です。
Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。
昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。
開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。
Nyxisは大部分がLean言語で記述されており、形式検証によって
「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」
という認可安全性定理を機械的に証明しています。
認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。
形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。
先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。
こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。
Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。
もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。
この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。
一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。
本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。
世界をセキュアにする一助になれば嬉しいです。
github.com/NyxFoundation/nyx…
akafuda@全財産睡眠 retweeted
Incerto合同会社が、患者情報を院外に出さずに生成AIを使う「院内ローカルAI基盤」の提供を始めたという発表。
▼ 院内に専用ハードウェアを設置してローカルLLMを動かし、導入前のセキュリティ点検から導入後の更新・保守までを同社が担う
▼ 音声カルテAI、算定AIチャット、医療文書の作成支援、医療情報の検索チャットの4つのソフトウェアは無料で提供する。導入は約4〜6か月が目安
▼ ハードウェア購入と導入・構築・保守の費用は規模や用途に応じた個別見積もり。対象は中小病院、診療所、医療法人グループなど
prtimes.jp/main/html/rd/p/00…
akafuda@全財産睡眠 retweeted
医療機関の機密情報を守りながら生成AIを活用する。Incerto、医療機関のセキュリティ強化とAI導入を一体で進める「... prtimes.jp/main/html/rd/p/00…
akafuda@全財産睡眠 retweeted
医療機関の機密情報を守りながら生成AIを活用する。Incerto、医療機関のセキュリティ強化とAI導入を一体で進める「... prtimes.jp/main/html/rd/p/00…
akafuda@全財産睡眠 retweeted
BREAKING NEWS
The Royal Swedish Academy of Sciences has decided to award the 2026 Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel to Robert E. Hall and Michael Woodford “for microeconomic foundations of macroeconomic stabilisation.”
#NobelPrize
akafuda@全財産睡眠 retweeted
日本のオンチェーン金融を牽引するフラッグシッププロジェクトになると確信しています。構想の先進性、設計の緻密さ、専門性を結集した協業体制、あらゆる点において、その叡智が結集したプロジェクトです。この挑戦に参加できることを、心から光栄に思います。
Nyx Foundationは、SMBC日興証券、Nethermind、Uniswap Labs、Baseと、投資家にとって利用しやすく、日本の規制要件に対応した「DeFi Gateway」の開発に向けたMOUを締結しました。
smbcnikko.co.jp/news/release…
各社の金融、ブロックチェーン、DeFi、セキュリティに関する知見を掛け合わせ、信頼性の高いDeFiアクセス基盤の構築を目指します。
akafuda@全財産睡眠 retweeted
แต่คนไทยก็ยังหาจังหวะตลกได้ตลอดเลยว่ะ ระบบขนส่งปรับตัวเร็วเกิน แล้วพายเรือใส่หมวกกันน็อคทำไม😭
Binance will list @HyperliquidX (HYPE) with the Seed Tag applied.
More info → binance.com/en/support/annou…
akafuda@全財産睡眠 retweeted
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
akafuda@全財産睡眠 retweeted

CZ 🔶 BNB@cz_binanceJul 23
🇦🇪
United Arab EmiratesConnected via United States App StoreAccount-level information, not a live location or per-post device.
Sad to see BitMex go. Some thoughts:
BitMex pioneered 100x perps in crypto back in 2014. Delivery futures existed before then, making Fridays hectic.
BTC deposits only, one chain only, withdrawals only once per day, through a multi-sig wallet. The constraints that seemed inconvenient kept them unhacked.
All four founders pled guilty to BSA violations a month before trial, after 18 months of fighting it. $10m fine each, home confinement. No one went to prison.
However, their business didn’t survive the “war on crypto” from the Biden admin.
Lastly, wind down appears orderly, users can withdrawals their assets. Respect to @CryptoHayes 🫡
Dear BitMEX Users,
Today, we share with a very heavy heart that BitMEX exchange will shut down its operations, effective 23 September 2026 at 04:00:00 UTC.
The owner and operator of BitMEX, HDR Global Trading Limited, has made the difficult decision to close operations following a strategic review of the business.
It may not look the same today, but we are proud of our 11+ year legacy and the role we played in shaping the crypto industry. We invented the 100x leverage perpetual swap, which for most of you, was the first step to your crypto trading journey. It is now the most traded financial product in the crypto industry, adopted by thousands of users and exchanges. And we remain proud of our robust security infrastructure, which has allowed us to maintain a flawless track record of 0 customer funds lost to hacks in our entire operating history.
We want to reassure you that your assets remain fully safe and under your control during this transition period. This announcement is just to give enough time to ensure a smooth withdrawal process for everyone.
From today we strongly encourage all users to close their positions and withdraw their funds as soon as convenient. For more details on the full process, please read our blog: bitmex.com/blog/bitmex-closu…
BitMEX was once home to some of the greatest traders today. Our team has dedicated tremendous effort and passion into building the platform into what it is, and we are glad to have reached some of you during your time with us. To everyone who has traded, supported, and grown alongside us - thank you for your trust over the last 11 years.
The BitMEX Team
akafuda@全財産睡眠 retweeted
(1) Today we're releasing Muse Spark 1.1 -- a strong agentic and coding model at a very low price. It's available through our new Meta Model API and in Meta AI.
AIアニメを36時間で完成させるハッカソンで、4分半の短編を制作しました!
最高にかわいい魔法少女アニメです!
『魔法少女マジカル☆リベンジ』
制作
赤星鉄/Meltix @RED_STAR_IRON
DiDi @DiDiDi0045
nuun @realNuun
@TapNow_AI @TapNow_JP #TapNowTokyo
↓リプライで制作テクニックを紹介します
魔法少女 マジカル☆リベンジ
akafuda@全財産睡眠 retweeted
Introducing Sakana Fugu: A full multi-agent orchestration system accessible via a single model API.
Our ‘Fugu Ultra’ model matches the performance of Fable and Mythos, delivering frontier capability without the risk of export controls.
Try it: sakana.ai/fugu 🐡
akafuda@全財産睡眠 retweeted
【速報】米、アマゾンの指摘で先端AI停止指示か
47news.jp/14466518.html?utm_…
































