の検索結果 形式検証
Crypto
Ripple、年次イベント「Swell」27日開幕 AI決済とXRPL形式検証が焦点
Rippleは27日から29日まで、ニューヨークで年次イベント「Swell」を開催する。AIを活用した資金移動とXRPLの形式検証を主要テーマに、決済インフラと安全性強化の方向性を示す見通しだ。
Crypto
ZKsync、Ethereum向けZKプローバー「Airbender Prime」発表
ZKsyncはEthereum向けZKプローバー「Airbender Prime」を発表した。テストではNVIDIAのRTX Pro 6000 Blackwell GPU 1基でメインネット7200ブロックの連続証明に成功し、99%のブロックで証明時間は10秒未満だった。
Crypto
Ethereum次期大型アップグレード「Glamsterdam」、Sepoliaに10月6日適用
Ethereumは次期大型アップグレード「Glamsterdam」を10月6日にSepoliaテストネットへ適用する。メインネット時期は未定で、PBSのプロトコル組み込みやブロック単位のアクセスリスト導入、ガス体系の見直しを盛り込む。
-
Crypto
Ethereum次期更新「Glamsterdam」最終段階に 10月6日にSepoliaで公開テスト
-
Crypto
ブテリン氏、Ethereumの長期構想提示 「暗号学的世界コンピュータ」へ
-
AI & Enterprise
Microsoft、AI時代の防御戦略見直し パッチ偏重からセキュア開発重視へ
-
AI & Enterprise
OpenAIの非公開モデル「Astra」、未解決問題10件で新成果 Lean 4の証明も公開
-
AI & Enterprise
NVIDIA、次世代CPU・GPU設計に「NVIDIA Vera CPU」採用 CadenceとSynopsysのEDAを最適化
-
Industry
NVIDIA、自社CPU「Vera」をEDAに展開 次世代チップ設計を高速化
-
Crypto
XRPL、量子耐性やオンチェーン融資を強化 AMM刷新も推進
-
Crypto
XRPに短期デッドクロス、1ドルが次の下値めど
-
Crypto
Ethereum、ハードフォーク不要の耐量子化案 1アカウント約0.07ドル
-
Crypto
Cardano、研究提案に否決公算 ホスキンソン氏は研究所閉鎖に言及
-
Crypto
Solana共同創業者、PQC巡り「AIが先に破る可能性」に警鐘
-
Crypto
Aave Labs、Aave V4のセキュリティ枠組み公開