The Crypto Basic

「Common Prefix」は、#XRP の「Ledger Lending Protocol（レジャー・レンディング・プロトコル）」を形式的に検証し、引き出されることがなく、債務超過にならず、またルールを破らないことを数学的に証明することに取り組んだ。

この取り組みは、XLS-66を通じて導入されたレンディング・プロトコルに焦点を当てている。「Common Prefix」は、検証プロセスにLean 4を選んだ理由を含む6部構成のシリーズで、そのアプローチを説明した。

「Common Prefix」は、形式的検証は通常のソフトウェアテストを超えるものであり、数学を用いて、あらゆる可能な状況でシステムが正しく機能することを証明すると述べた。

XRP LedgerのバリデータであるVet（Hussein Zanganaとしても知られる）は、形式的検証は軍事技術、航空交通ソフト、飛行制御、原子力発電所といったハイリスクなシステムで、すでに使われていると語った。

同氏は、その手法は、開発者がテストした状況だけでなく、考えられるあらゆる入力に対してシステムが有効であり続けることを数学によって示すものだと説明した。

「Common Prefix」は、Dafny、Lean 4、TLA+、Pなど複数のツールを検討した。同チームは、レンディング・プロトコルに関して自分たちが答える必要のある特定の問いに対しては、TLA+とPが適していないと判断した。

Lean 4を選んだ理由の一つとして、SMTソルバに依存しない点が挙げられる。「Common Prefix」は、Dafnyのソルバが検証に必要な複雑な算術を扱う際に、時にタイムアウトすることがあると分かった。Leanは手作業での負担が増えるが、その分、開発者が誤りを見つけて修正しやすくなる。

#CryptoNewsCommunity

ブラックロックのIBITは、取引額15.6億ドル（約15億6000万ドル）で、約6%上昇し、5位にランクインした。GLDの9億764万ドルの出来高を約72%上回った。

ブラックロックのiShares #Bitcoin Trust ETF（IBIT）は約45.81〜45.86ドルで取引され、日次の上昇率はおよそ5.8%〜5.9%だった。

この取引セッションでは、ビットコインETFが、最大級の金投資商品であるSPDR Gold Shares（GLD）を、いずれも値動きの割合と取引額の面で上回った。

GLDは約398.96ドルで取引され、0.15%高。出来高（取引額）は9億764万ドルだった。その結果、金ETFは表示されたランキングで9位となった。

IBITの15.6億ドルの出来高は、GLDの9億764万ドルより約6.52億ドル多く、計測されたセッションではIBITが取引額で約72%上回ったことを意味する。

値動きの割合も大きく異なった。IBITは約5.9%上昇したのに対し、GLDは0.15%上昇にとどまり、差はおよそ5.75パーセントポイントだった。

#CryptonewswithJack

カルダノの創業者チャールズ・ホスキンソンは、#ADA and #XRP を米国の暗号規制の下で「本物のコモディティ（商品）」として扱うべきだと主張した。

ホスキンソンは、米国上院でCLARITY法案が前進しなかった理由を説明する中で、この発言を行った。同氏は、デジタル資産の分類と規制に関する同法案の提案アプローチに、基本的な問題があるとしている。

同氏によれば、根本的な問題の一つは、多種多様なデジタル資産をコモディティとして扱い、暗号規制の中心にCFTCを据えようとした点だという。

ホスキンソンは、証券とコモディティは本質的に異なる特性を持つため、異なる規制アプローチが必要だと主張した。彼の見解では、SECはより大規模な人員と、開示および市場監視のためのより幅広いツールを備えている一方、CFTCは伝統的に、原則（プリンシプル）に基づくコモディティ規制当局として機能している。

しかし、ホスキンソンの批判は、暗号資産全般に対してコモディティ規制を用いること自体を問題視しているようには見えない。むしろ、議員はまず、どのデジタル資産が本当にコモディティに該当するのか、そしてどれが別のデジタル・セキュリティ（デジタル証券）カテゴリに属するのかを明確に定めるべきだと述べた。

同氏は具体的に、ビットコイン、カルダノ、XRPを「本物のコモディティ」と同氏が考える暗号資産の例として挙げた。

#CryptoNews🚀🔥V

米国下院歳入委員会は、暗号資産のマイナーおよびストーカーが求める重要な提案を除外した、広範なデジタル資産の課税パッケージを審査する予定だ。

114ページに及ぶ「デジタル資産税の確実性法（Digital Asset Tax Certainty Act）」であるH.R. 10357は、新たに作成されたトークンに対する税金を、それらが売却されるまで繰り延べることを可能にする条項を含んでいない。委員会は、水曜日に予定されている審査（マークアップ）の前日、月曜日に法案を公表した。

この方針は、6月にマイク・ケアリー下院議員が提出した「採掘・ステーキングに関する税の明確化法（Tax Clarity for Mining and Staking Act）」とは異なる。同法案は、納税者が採掘およびステーキングの報酬を所得として認識する時期を決められるようにするものだ。

一つの選択肢は、トークンを受け取った時点で課税すること。もう一つは、納税者によって作られた財産のように扱い、売却時に税金を課すことだ。

この条項を盛り込まないことで、ステーキングおよびマイニングの報酬は、受領者がそれらを受け取るか、または支配できるようになった時点で、一般的に課税対象のままになる。

その結果、受領者がトークンを現金に換える前に、納税義務が生じる可能性がある。

業界団体は、議会に対してこの取り扱いを変えるよう求めてきた。ブロックチェーン協会、イノベーションのための暗号評議会（Crypto Council for Innovation）、デジタル・チャンバーは、これまでケアリー氏の法案を、提出当初の形で支持していた。

彼らは、売却前に報酬に課税すると、マイナーやストーカーの流動性の問題を引き起こし得ると主張している。さらに、税の繰り延べ期間を5年に上限設定することを想定した修正案にも反対していた。
#CryptonewswithJack

Blockstreamは、Liquidネットワーク侵害の背後にいるとされるグループからの10%の懸賞金（バウンティ）要求を拒否した。事件で得られた598 BTCはいまだ返還されていない。

Blockstreamは、無許可で取得した資産を対価（支払い）と引き換えに差し控える行為は、正当なセキュリティ調査に当たらないとしており、許可のもとでの責任ある開示と、無断で資金を奪うことを区別している。

同社は、ユーザーの資金を取り戻そうとする中で当事者たちと連絡を取っていた。現在Blockstreamは、いかなる金銭的条件も付けずに、残っている分を返すよう求めている。

ハッカーは10%のバウンティを要求
このグループは、水曜日にJAN3のCEOであり、元Blockstreamのチーフ戦略オフィサーであるSamson Mowが共有したオンチェーン上のメッセージで条件を提示した。提案ではBlockstreamが10%のバウンティを拠出することを求め、合意がない場合、Liquidの保有者は15%の損失を被り得ると主張していた。

要求は、9月6日のLiquid侵害の後に出された。この際、約4,000 BTCがネットワークのフェデレーション・ウォレットから持ち去られた。持ち去られたビットコインは当時、約3億2,000万ドル相当と評価されていた。

このうち3,400 BTCは、影響を受けたブリッジ・ノードに対する修正が適用された後に、引き続き送還された。その結果、未回収のまま残ったのは598 BTCだった。

これらのコインが差し止められた場合、Blockstreamは法執行機関を関与させ、取引所、サービス提供者、ブロックチェーンの調査担当者の協力を求める計画だ。こうした協力によって、ビットコインがどこへ移動したかを追跡し、それを支配しているのが誰かを特定できる可能性がある。

Liquidは復旧に向けて動く
一方、Liquidは木曜日に、侵害に対応して導入されたソフトウェア修正を実装した後、ネットワーク復旧に向けた初期の一歩を踏み出した。

#CryptoNewsCommunity

ベテランの米国人ファイナンシャルアドバイザー、リック・エデルマンは、ビットコインの現在の普及段階を、インターネット・ブーム初期のアマゾンになぞらえ、印象的な比較を行った。ビットコイン・マガジンTVとの9月17日のインタビューで、エデルマンは、ビットコインが時とともにより広く保有されるようになると期待していると述べ、2030年に向けたBTCの予想価格50万ドルを改めて繰り返した。

エデルマン、ビットコインとアマゾンの類似点を指摘

エデルマンは、投資家が、成長しつつあるインターネット企業が自分たちのポートフォリオに入るべきかどうかをまだ議論していた1999年当時のアマゾンをめぐる不確実性に言及した。彼の主張は、ビットコインも同様の時期を迎えており、普及は拡大しているものの、いまだに普遍的とはほど遠いというものだ。

#Crypto

米国のスポット型ビットコイン上場投資信託（ETF）は先週、純流入が9億8690万ドルとなり、前週の9億2450万ドルから増加した。これは3週連続の資金流入がプラスとなったことを示している。

SoSoValueのデータによると、9月4日までの週における流入額のうち、ブラックロックのIBITが6億9150万ドルを占めた。継続的な資金配分に伴い、取引活動は低下し、ビットコイン・ファンドの週次出来高は190億ドル近くから145億ドルへと減少した。

最新の数値は、2025年9月以来の最高の月間実績となったスポット・ビットコインETFの純流入35.2億ドル（8月）からの勢いをさらに延長するものだった。

Zeus Researchのアナリスト、ドミニック・ジョンは、継続した流入は、機関投資家の資金がビットコインへのエクスポージャーを徐々に再構築しており、レバレッジを効かせた投機に基づく需要ではなく、実際のスポット需要を生み出していることを示していると述べた。

Presto Researchのアソシエイトであるミン・ジョン氏も同様に、流入は再び高まった機関投資家の需要によるものだとし、暗号資産は他のリスク資産に出遅れた後、その遅れを取り戻す「追随取引」の局面にあるようだと語った。

#CryptoNewss

#XRP

Ledger (XRPL)におけるステーブルコインおよびトークン化資産の価値は、わずか6四半期で約43倍に成長しました。

Evernorthによると、これらの資産の平均価値は、2025年Q1の1億9900万ドルから2026年Q2には42.6億ドルに上昇しました。毎四半期増加しており、減少はありませんでした。

2026年Q2の数値は記録された中で最高であり、XRPレジャーが大規模な金融資産を適切に管理し、決済していることを示唆しています。

トークン化資産が、XRPLの急速な成長の主な理由でした。報告書によれば、XRPL上のトークン化資産の平均額は2026年Q2に37.2億ドルで、前年から3,000%以上増加しました。

リップルの米ドル担保型ステーブルコインであるRLUSDも、急速に伸びました。2026年Q2の平均残高は5億3900万ドルに達し、前年の7300万ドルと比べて642%の増加です。

RLUSDの残高は、6四半期にわたる期間中、毎四半期増加しました。XRPLにおけるステーブルコイン供給に占める割合も、20%から34%へと上昇しました。Evernorthによれば、RLUSDを通じて動いた資金の額も、前年と比べて925%増加しました。

#Crypto

米国のワイオミング州は、Chainlink（チェーンリンク）に基づく準備金（リザーブ）のモニタリングを同州のフロンティア・ステーブル・トークン（Frontier Stable Token）に追加し、ユーザーがFRNTを支える資産に関する検証済みのオンチェーンデータに、最小限の報告遅延でアクセスできるようにします。この動きは、州発行のステーブルコインにおけるChainlinkの役割をさらに拡大するものです。

ワイオミング・ステーブル・トークン委員会による水曜の発表によると、州はFRNTの準備金および流通供給について検証済みデータをオンチェーンに反映するために、ChainlinkのProof of Reserve（準備金証明）技術を選定しました。ネットワーク企業（The Network Firm）は、データがChainlinkのインフラ経由で送信される前に、数値を独立して精査します。

委員会は、ChainlinkのSecure Mint機能による追加のセーフガードも求めています。採用されれば、この仕組みにより、検証済みの準備金がトークンの総供給量以上でない限り、新たなFRNTの発行ができなくなります。

これらの対策は、ワイオミング州が既に実施している準備金の報告プロセスに基づくものです。FRNTはすでに日次の準備金に関する保証（アテステーション）を行っており、GENIUS Act（GENIUS法）では、準備金の構成および未決済のステーブルコイン供給について月次の開示が求められています。委員会は、Proof of Reserveにより、報告期間の間におけるトークンの裏付け（バックング）の動きについて、よりタイムリーな可視性が得られると述べました。

#CryptoNewsCommunity