BTC $84,998.20 +0.49%
ETH $2,695.31 +0.58%
BNB $788.05 +2.92%
XRP $1.50 +0.91%
SOL $121.17 +1.42%
TRX $0.3352 +0.00%
DOGE $0.0931 +0.27%
ADA $0.2450 +0.11%
BCH $318.70 +2.69%
LINK $14.00 -0.23%
HYPE $89.67 +1.58%
AAVE $182.80 +1.74%
SUI $1.17 +1.84%
XLM $0.2157 +0.55%
ZEC $1,328.89 +1.25%
AAPL $333.46 +0.04%
AMZN $252.42 +0.22%
GOOGL $343.95 +0.08%
MSFT $518.13 +0.05%
META $729.92 +0.33%
NVDA $234.67 +0.17%
TSLA $371.40 +0.12%
SNDK $1,716.01 -0.12%
INTC $117.98 -0.21%
SPCX $159.01 +0.03%
MU $1,066.46 -0.27%
AMD $633.33 +0.03%
BTC $84,998.20 +0.49%
ETH $2,695.31 +0.58%
BNB $788.05 +2.92%
XRP $1.50 +0.91%
SOL $121.17 +1.42%
TRX $0.3352 +0.00%
DOGE $0.0931 +0.27%
ADA $0.2450 +0.11%
BCH $318.70 +2.69%
LINK $14.00 -0.23%
HYPE $89.67 +1.58%
AAVE $182.80 +1.74%
SUI $1.17 +1.84%
XLM $0.2157 +0.55%
ZEC $1,328.89 +1.25%
AAPL $333.46 +0.04%
AMZN $252.42 +0.22%
GOOGL $343.95 +0.08%
MSFT $518.13 +0.05%
META $729.92 +0.33%
NVDA $234.67 +0.17%
TSLA $371.40 +0.12%
SNDK $1,716.01 -0.12%
INTC $117.98 -0.21%
SPCX $159.01 +0.03%
MU $1,066.46 -0.27%
AMD $633.33 +0.03%

形式

すべて
記事
速報

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

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

中国レアアースグループ:関連機関、団体といわゆる「レアアース人民元ステーブルコイン」に関して、いかなる形式の協力、協議、または計画も行ったことはありません。

ChainCatcher のメッセージによると、智通財経の報道では、一部のネットメディアが「中国レアアースグループとアリババグループ、中国人民銀行が共同で世界初のレアアース人民元ステーブルコインを構築する」という関連情報を最近流布しているとのことです。この虚偽の情報は、公共を深刻に誤導し、金融秩序を乱すものであるため、中国レアアースグループ株式会社は、関連機関や団体といわゆる「レアアース人民元ステーブルコイン」に関して、いかなる形式の協力、協議、または計画を行ったことはないと声明を発表しました。この情報は不法な者によって悪意を持って捏造されたものであり、社会一般および広範な投資家に対して信じず、広めないよう呼びかけています。社会の各界および広範な投資家に対して、違法な金融活動に警戒し、リスクを防ぐよう注意を促し、財産の損失を防ぐようにしています。同社は関係当局に報告し、関連団体に対して侵害や詐欺などの不法行為を直ちに停止するよう厳正に要求しています。

新華社:ドルの信用と国際的責任は世界的な受容に影響を与え、形式を変えるだけではドルとステーブルコインの影響力を強化することはできない。

ChainCatcher のメッセージによると、CCTVニュースが報じたところによれば、トランプはホワイトハウスで正式に「アメリカのステーブルコイン国家革新法案」(略称「天才法案」)に署名し、アメリカが初めてステーブルコインの規制フレームワークを確立したことを示しています。トランプは、ステーブルコインがアメリカ国債の需要を増加させ、金利を低下させ、ドルの世界的な準備通貨としての地位を強化するのに役立つと述べました。彼は「アメリカで中央銀行デジタル通貨を設立することは絶対に許可しない」と再確認しました。「天才法案」では、ステーブルコインはドルやアメリカの短期国債などの流動性資産によって裏付けられることが求められ、発行者は毎月、準備の詳細を開示する必要があります。現在、世界で最大の2つのステーブルコインであるUSDTとUSDCの総時価総額は約90%を占めています。統計によると、ステーブルコイン市場の規模は約2470億ドルであり、アメリカの財務長官ベーセントは2030年までに3.7兆ドルに成長すると予測しています。専門家は、アメリカがステーブルコインを推進する意図は、ドルの既存の優位性を利用して、世界の通貨および決済システムにおける主導的地位を維持することであると指摘しています。一部の見解では、この動きがアメリカ国債の圧力を緩和する可能性があると考えられています。しかし、一部の民主党議員は、法案が消費者と金融の安定性を十分に保障していないと疑問を呈し、トランプ家族と暗号通貨との関係を指摘しています。また、一部の共和党議員も、この法案がトランプが以前に中央銀行デジタル通貨を禁止する行政命令と矛盾していると考えています。
app_icon
ChainCatcher Building the Web3 world with innovations.