BTC $63,295.73 -3.02%
ETH $1,879.06 -3.36%
BNB $566.00 -1.13%
XRP $1.05 -4.32%
SOL $73.27 -4.04%
TRX $0.3242 -2.08%
DOGE $0.0701 -3.69%
ADA $0.1548 -6.19%
BCH $213.27 -1.05%
LINK $8.33 -4.84%
HYPE $55.98 -6.07%
AAVE $97.95 -1.72%
SUI $0.6831 -4.83%
XLM $0.1722 -4.92%
ZEC $475.22 -5.66%
BTC $63,295.73 -3.02%
ETH $1,879.06 -3.36%
BNB $566.00 -1.13%
XRP $1.05 -4.32%
SOL $73.27 -4.04%
TRX $0.3242 -2.08%
DOGE $0.0701 -3.69%
ADA $0.1548 -6.19%
BCH $213.27 -1.05%
LINK $8.33 -4.84%
HYPE $55.98 -6.07%
AAVE $97.95 -1.72%
SUI $0.6831 -4.83%
XLM $0.1722 -4.92%
ZEC $475.22 -5.66%

コード

すべて
記事
速報

物理AIスタートアップのMowitoが300万ドルの資金調達を完了し、コードではなくデモを通じて工場ロボットを訓練することを目指しています。

経済タイムズの報道によると、物理AIスタートアップのMowitoが300万ドルのプレシードラウンドの資金調達を完了し、Version One Venturesが主導し、All In Capital、Unisol、iSeedが参加し、AI研究者のSoumith ChintalaやFoundry Robotics、Coformer.ai、Better Capitalなどの創業者がエンジェル投資家として参加しました。Mowitoは2024年にPuru Rastogi、Adityanag Nagesh、Safar Vによって設立され、産業用ロボットアームのためのAI基盤モデルを構築しています。ロボットが人間のデモを観察して学習タスクを学ぶことで、明示的なプログラミングではなく、製造業の自動化におけるソフトウェアプログラミングのボトルネック問題を解決します。製品ラインの変更時にエンジニアが制御コードを再記述する必要がありません。Mowitoのソフトウェアは、標準の改造されていない産業用ロボット上で動作し、自動車および電子製造の顧客にサービスを提供します。このラウンドの資金は、アメリカ市場の拡大、エンジニアリングおよびマーケティングチームの拡充、製造現場の展開の深化に使用されます。

first_img Uniswapがノーコードのトークンオークションツールをローンチ、継続的清算メカニズムに基づいてロボットの入札優位性を排除

Uniswapは水曜日に、ウェブアプリにノーコードのトークンオークションツールを追加したと発表しました。どのチームでもブラウザを通じて直接オンチェーンのトークン販売を設定し、開始することができ、コードを書く必要はありません。このツールはUniswapの継続的清算オークション(CCA)メカニズムに基づいて動作し、入札は複数のブロックにわたって累積され、毎回統一された清算価格で決済されます。入札者は総予算と各トークンの最高価格を設定し、全員が同じ最終清算価格を支払います。オークションは時間を跨いで分散して行われるため、単一のブロック内で完了するのではなく、ボットや最後の瞬間に入札する速度の優位性を排除します。オークション終了後、流動性は直接Uniswapプールに注入され、価格発見と取引ペアの誘導の統合プロセスを実現します。以前、AztecはCCAを通じて191か国の17,000人の入札者から5,900万ドルを調達し、清算価格は底値を60%上回りました。Cap Labsのオークションは1,002件の独立した入札を引き付け、5.5倍の超過入札があり、清算FDVは1.06億ドルに達しました。

first_img ザッカーバーグはMetaに独立した予測市場アプリの開発を命じた、コードネームはArena。

『ニューヨーク・タイムズ』が引用した2人のMeta社員の報告によると、Mark Zuckerbergは内部の小チームに対し、FacebookやInstagramなどの既存の製品とは別に運営される、コードネーム「Arena」の独立した予測市場アプリを開発するよう指示した。初期のデザインは真金の賭けではなく、ゲームのポイントシステムを採用しているが、将来的に真金モデルを導入する可能性は排除されていない。ニュースが発表された後、RobinhoodとDraftKingsの株価は今週の早い時間に下落した。Meta傘下のアプリのデイリーアクティブユーザーは35.6億人に達しており、その配信規模は既存のすべての予測市場プラットフォームの合計を大きく上回っているため、正式に参入すればPolymarketやKalshiなどの暗号ネイティブプラットフォームに直接的な影響を与えるだろう。予測市場は急成長期にあり、Polymarketは今年の3月に取引量が初めて100億ドルを突破した。規制の面では、CFTCは連邦政府の予測市場に対する管轄権と州レベルの賭け法律に関して訴訟を展開しており、Metaのポイント制デザインは一時的にこの問題を回避しているが、その規模は真金賭けへの移行が重大な規制事件になることを意味している。

ヴィタリック:AIによる形式的検証の支援は、コードの効率と安全性を同時に向上させることが期待される。

ヴィタリック・ブテリンは、ブロックチェーンのセキュリティ分野における形式的検証(Formal Verification)の応用の展望について考察を発表しました。記事では、イーサリアムの最前線の研究開発において、新しいパラダイムが登場しており、EVMバイトコード、アセンブリ、またはLeanを直接使用してコードを記述し、Lean内で自動的に検証可能な数学的証明を用いてその正確性を検証することが指摘されています。研究者のヨイチ・ヒライは、このパラダイムを「ソフトウェア開発の最終形態」と呼んでいます。ヴィタリックは、AI支援の形式的検証がコードの効率と安全性を同時に向上させる可能性があり、特にSTARK、ZK-EVM、耐量子署名、コンセンサスアルゴリズムなどの安全なコアモジュールに適していると考えています。記事はまた、形式的検証が万能ではなく、証明範囲の不完全さ、仕様の誤り、ハードウェアのサイドチャネルなどの問題により失敗する可能性があることを強調しています。将来的には、ソフトウェアが「安全コア」と「非安全エッジ」に分化する可能性があり、イーサリアムは重要な安全コアの一つになるでしょう。

ハッカーがMistral AIソフトウェアパッケージに悪意のあるコードを埋め込んだ

Decrypt の報道によると、マイクロソフトの脅威インテリジェンス部門は、攻撃者が PyPI プラットフォームを通じて配布される Mistral AI ソフトウェアパッケージに悪意のあるコードを埋め込んだことを明らかにしました。この悪意のあるコードは、開発者が Linux システムで使用する際に自動的に実行され、transformers.pyz という名前の悪意のあるファイルをダウンロードし、バックグラウンドで実行します。このファイル名は、広く使用されている Hugging Face Transformers ライブラリを模倣して視覚的に混乱させるように意図されています。マイクロソフトは、この悪意のあるソフトウェアが主に開発者のログイン資格情報とアクセストークンを盗むことを指摘し、ロシア語システムを回避することがあり、一部のコードはイスラエルまたはイランにあるデバイスのファイルをランダムに削除する可能性があると述べています。この攻撃は、9 月に開始された "Shai-Hulud" サプライチェーン攻撃活動に関連しています。Mistral は、調査の結果、攻撃が侵害された開発者のデバイスから発生したことを示しており、同社のインフラは侵害されていないと応じています。
app_icon
ChainCatcher Building the Web3 world with innovations.