BTC $79,367.07 +1.24%
ETH $2,501.44 +1.72%
BNB $706.68 +0.66%
XRP $1.43 +1.11%
SOL $104.19 +7.66%
TRX $0.3371 +0.39%
DOGE $0.0883 +2.37%
ADA $0.2110 +0.51%
BCH $268.25 +0.61%
LINK $11.75 +3.33%
HYPE $82.25 +0.85%
AAVE $126.61 +0.27%
SUI $0.7642 +1.34%
XLM $0.1852 +1.16%
ZEC $783.10 -0.18%
BTC $79,367.07 +1.24%
ETH $2,501.44 +1.72%
BNB $706.68 +0.66%
XRP $1.43 +1.11%
SOL $104.19 +7.66%
TRX $0.3371 +0.39%
DOGE $0.0883 +2.37%
ADA $0.2110 +0.51%
BCH $268.25 +0.61%
LINK $11.75 +3.33%
HYPE $82.25 +0.85%
AAVE $126.61 +0.27%
SUI $0.7642 +1.34%
XLM $0.1852 +1.16%
ZEC $783.10 -0.18%

tt

すべて
記事
速報

first_img BetterがCoinbaseと提携してビットコイン担保の住宅ローン商品を発表

Better Mortgage と Coinbase は、ビットコイン担保の住宅ローン商品を全面的に開始したことを発表しました。アメリカの住宅購入者は、ビットコインを売却することなく頭金の担保として使用できます。この商品は、フレディ・マックが支援する住宅ローンと、ビットコインで担保された独立した頭金ローンを組み合わせたもので、借り手は頭金ローンの250%に相当するビットコインを担保として預ける必要があります。担保資産は、Coinbase Prime 上の Better の管理口座に預けられます。2つのローンは同じ金利と償還期間を享受し、単一の月々の支払いで返済されます。住宅ローンが全額返済されるか再融資されると、担保として預けたビットコインは返還されます。ビットコインの価格が下落しても、追加保証金を要求したり、ローン条件を変更したりすることはありませんが、借り手が60日以上遅延した場合、Better は担保として預けたビットコインを清算する権利を持ちます。借り手はアメリカの居住者であり、認証された Coinbase アカウントを持っている必要があります。Coinbase One の会員は、最大1万ドルの1%のキャッシュバックを受けることができます。この商品は今年の3月に初めて発表され、早期体験が可能になりました。それ以前に、アメリカ連邦住宅金融局は2025年6月にフレディ・マックとファニーメイに対し、住宅ローンのリスク評価に暗号通貨を組み込む研究を指示しました。また、モーゲージ機関の Newrez も1月に、2月から住宅ローン申請の評価時に一部の暗号通貨資産を認めることを発表しました。

first_img イーサリアム財団がbetter.codesチャレンジを発表し、ハッシュSNARKの証明可能な安全性を推進する

イーサリアム財団の形式的検証チームがYukon、zkSecurityと協力して構築したオープン自動研究チャレンジbetter.codesが現在オンラインになりました。このプラットフォームは、Proximity Prizeの自己包含問題をLeanで形式化し、koalaIRS12の機械検査の信頼性界を公共ランキングに入れ、誰でも推進して向上させることができるようにし、ハッシュベースのSNARKおよび後量子イーサリアム関連のセキュリティ基準を進めます。解決者はAIエージェントを持ち込むことができ、このReed-Solomon近接問題に対してより高い信頼性下界を証明し、固定の128ビット目標に向かって進みます。Leanカーネルは各提出物を検証し、昇格した証明は公開界を向上させ、その新しい補題、証明技術、不可能性結果は上流で同期され、すべての参加者が再利用できるようになります。生産環境におけるほとんどのハッシュSNARKは関連する近接ギャップと関連する合意結果に依存していますが、現在証明可能な結果は研究者が信じる基準を下回っており、このチャレンジはオープンで増分的、検証可能な方法でこのギャップを縮小することを目的としています。koalaIRS12は関連論文に由来し、エンドツーエンドでArkLibに形式化されています。参加者はGitHubを通じてログインし、チャレンジリポジトリをクローンし、固定定理の陳述と検証フレームワークの下で提出することができます。比較器とLeanカーネルが確認した後、結果は公共リポジトリに記録され、解決者と使用したモデルが明記されます。本日オンラインになったのは、koalaIRS12の証明された下界を128ビットに引き上げる信頼性チャレンジであり、今後はさらに多くの問題が追加される可能性があり、詳細はプロジェクトの条項に準じます。

Attestableが完成したAIの検証可能な技術の突破により、2000万ドルのシードラウンド資金調達を獲得しました。

AI安全スタートアップのAttestableは正式に設立され、2000万ドルのシードラウンド資金調達を完了した。このラウンドの資金調達は、Altimeter CapitalのJamin BallとTLV PartnersのYonatan Mandelbaumが主導し、Halcyon Futures、Cerca Partnersなどの機関および複数の投資家が参加した。Attestableの創業者Yogiは、AIが重要なインフラ、国家安全保障、大企業システムに徐々に浸透する中で、AIの運用過程の信頼性を検証する方法が世界的な課題となっていると述べた。同社は、最前線のAIラボ、重要なインフラ、国家レベルのアプリケーション向けの汎用検証レイヤーを構築することを目指している。紹介によると、Attestableはゼロ知識証明(Zero-Knowledge Proof)技術を通じて、AIシステムへの信頼をデータセンターから数学的検証メカニズムに移行させる。この技術は、承認されたモデル、モデルの重み、入力データおよび実行戦略が特定の出力を生成したことを証明できるが、モデルのパラメータやユーザーのプライバシーデータを漏洩させることはなく、モデルを再実行することなく検証を完了できる。Attestableは、その技術が現在、単一のNVIDIA H100 GPU上でMeta Muse Glimmer 30Bモデルの検証推論を実現し、毎秒85トークンの速度に達していると述べている。生成された証明書は小さく、量子耐性特性を備えており、迅速に検証を完了できる。これに対し、イーサリアム共同創設者のVitalik Buterinは投稿し、この成果が大規模言語モデルのゼロ知識証明の性能損失が単位数レベルに近づいていることを意味すると述べた。彼は、次の課題は全同態暗号(FHE)などの技術の性能オーバーヘッドをさらに低減することだと述べた。

first_img ペンシルベニア州は、予測市場に流動性を提供するために賭け会社を禁止することを検討しており、DraftKingsとFlutterの展開に影響を与える可能性があります。

ペンシルベニア州の下院議員タリク・カーンは7月22日にHB 2711法案を提出し、24名の超党派議員(20名の民主党、4名の共和党)が共同署名しました。この法案は、流動性提供者やマーケットメイカーの通常業務において、ペンシルベニア州の住民に予測市場サービスを提供することを禁止し、その範囲は親会社、子会社、関連会社および合弁企業にまで及び、予測プラットフォームと賭け企業との収益共有を禁止します。この動きは、DraftKings(CFTCに登録されたRailbird Technologiesを買収し、自社のDKeX取引所を立ち上げた)やFlutterなど、予測市場のマーケットメイキング分野に進出しているスポーツ賭博グループに影響を与える可能性があります。法案はまた、21歳の最低年齢制限を設定し、高校スポーツ、未成年者が参加するイベント、および死亡市場などの契約を禁止し、プラットフォームに対して詐欺防止および内部情報の濫用防止メカニズムを構築することを要求します。この法案にはライセンス制度が設けられておらず、執行権は州の司法長官に帰属します。以前、第三巡回控訴裁判所は4月に2対1で連邦の「商品取引法」が州の賭博法に優先すると裁定しましたが、ペンシルベニア州は40州の連合に参加し、スポーツ契約は州レベルの規制に属すべきだと主張しています。

OKXはElliptic、SlowMist、OttoSecと共同で2026年上半期のWeb3セキュリティとリスク管理レポートを発表しました。

公式発表によると、OKXはElliptic、SlowMist、OttoSecと共同で『2026年上半期 Web3 セキュリティとリスク管理レポート』を発表しました。レポートでは、Web3攻撃の焦点がスマートコントラクトコードから署名プロセス、ユーザーデバイス、運用インフラ、AIエージェントなどのより複雑なシナリオに徐々に移行していることが指摘されています。データによると、2026年上半期にOKXのリスク管理システムは570万件以上の高リスク取引を累計で遮断しました。その中には、ハッキングや盗難に関連する取引が約241万件、フィッシングに関連する取引が約148万件、詐欺に関連する取引が約99万件含まれています。OKXのWeb3チェーン上のインテリジェンスタグライブラリは現在、11億以上のタグを保有しており、420以上のチェーンをカバーし、アドレススクリーニング、取引監視、制裁アドレス管理などの機能をDEXやExchange OSなどのインフラに接続しています。さらに、ユーザー保護の観点から、OKXは700万回以上のリスクのあるウェブサイトへのアクセスを遮断し、20万回以上のデバイスリスク検出を完了し、6万回以上の高リスクアプリを特定し、400万回以上の高リスク署名操作を遮断または警告しました。レポートでは、Exchange OS、Outcomes、RWA、Agentic Walletなどのシナリオにおける「リスク管理の前置き」設計についても紹介されています。
app_icon
ChainCatcher Building the Web3 world with innovations.