待って、週末に@aaveでトークン化された株式を担保にUSDCを借入できるってこと？でも、まだ金曜日の価格を使っているの？ 土曜日に悪いニュースが出て、フィードが更新されるまで、人々はその古い価格を担保に借入を続けられるの？ 彼らの担保限度額は、そのような状況に対してどれだけの余裕を残しているの？
バーター制度が復活したように見えるだろう
あなたは@MetaMaskを何百回も使ったことがあるでしょうが、誰が実際に作ったのか知っていますか？ 2人の男性、Dan Finlay（@danfinlay）とAaron Davis（Kumavis）です。 興味深いのは、この2人とも従来のコンピューターサイエンスの背景を持っていないことです。 Danは英語文学を学び、肖像画画家、チェスコーチ、さらには風船のねじり職人としても働いていました。彼はフン synthesizerを作りたいと思ってプログラミングを学びました（笑）。 Aaronは日本語を学び、通訳になることを目指していました。また、ビデオゲームにも興味があり、他の人のコードを読み解いて修正することで自力でコーディングを習得しました。 彼らは2013年に出会い、オープンソースのMinecraftクローンプロジェクトに取り組み、その後Ethereumの実験を始めました。 当時は、ウェブサイトをEthereumに接続することさえ簡単ではありませんでした。 Aaronは最初、ブラウザの中のブラウザのような複雑なアカウントマネージャーを作成しました。その後、彼らはこのアイデアをブラウザ拡張機能という形にシンプルにまとめました。 それが2016年7月にMetaMaskがリリースされた経緯です。 そして、キツネは？ Aaronは、それが独立性、賢さ、自己保管を象徴していると考えて選んだのです。 10年後、MetaMaskのダウンロード数は1億回を超えました。 まったく異なる背景を持つ2人が、暗号資産業界で最も有名なツールの1つを生み出したとは、面白いものです。 そして、すべてはブラウザから@ethereumを使いやすくしようとしたところから始まりました。
誰もがAkashがCosmosからSolanaへ移行すると話しているが、IBCで起こっている興味深い出来事があり、もっと注目されるべきだと思う。 Cosmosはすでに2025年にIBC Eurekaを通じてEthereumと接続していたが、それ以来さらに多くの進展を遂げている。 IBC v2にはSolidity実装、Ethereumライトクライアント、SP1を用いたZK証明検証が含まれている。 また、クロスチェーン契約呼び出しのためのGMP（General Message Passing）と、mint/burnモデルを用いてチェーン間で資産を移動するためのIFT（Interchain Fungible Tokens）の開発も進められている。 GitHubリポジトリを確認したところ、彼らは2025年6月にEthereumメインネットのIBCインフラをv3にアップグレードし、アップグレード後もCosmos Hubのパケットが引き続きリレーされていることを確認した。 さらに、Solana対応やその他のEVMチェーンおよびL2との接続にも取り組んでいるが、すべてがすでに稼働しているわけではない。 興味深いのは、Cosmosが何年もかけて主権アプリチェーンのためのインフラを構築してきたが、その同じインフラが今やCosmos外のチェーンへと拡張されつつある点だ。 これは、Cosmosの未来がCosmos SDKを用いて構築されたチェーンの数ではなく、IBCを採用するチェーンの数にかかっているのではないかという疑問を私に抱かせる。 https://t.co/9Lu7xS34ey
Ethereum上でCosmos IBCの実装を調べていたところ、非常に興味深い発見がありました。 Ethereumは、SP1を介してゼロ知識証明を用いてCosmosのコンセンサスを検証しています。 従来のCometBFTライトクライアント検証をEthereumのコントラクト内で実行する代わりに、彼らは検証をオフチェーンのRustプログラムで実行し、ZK証明を生成してその証明をEthereum上で検証しています。 これはすでにメインネットで稼働しています。 彼らの6月のアップグレード記録では、EthereumライトクライアントをSP1 v6.1に移行し、新しい検証子を使用してCosmos Hubのパケットを正常に中継したことが記録されています。 また、ガスベンチマークも確認しました。 Foundryテストでは、IBCを通じて既存のERC20を受け取るのに約551kガスかかりますが、50パケットをバッチ処理すると、1パケットあたりの平均ガス使用量は約175kガスに低下します。 これは1パケットあたり約68%のガス削減です。 しかし、これにはもう一つの側面があります。 このシステムは依然としてCosmosバリデーターセット、正しいSP1検証プログラムとキー、そしてライトクライアントをアップグレードまたは回復できるガバナンス構成に依存しています。 したがって、ZK検証が自動的に信頼仮定がゼロであることを意味するわけではありません。 私はこれが、相互運用性が向かう先の興味深い部分だと考えます。複雑なコンセンサス検証をオフチェーンに移し、暗号学的証明を用いて他のブロックチェーン上で実用化しているのです。 ソース: https://t.co/Y6IL0hSehd
Cosmos IBC EurekaのEthereum上のSP1 Tendermintライトクライアントについて調査しました。 新しいSP1バージョンが、コントラクトのアップグレードなしで既にデプロイされたバリデーターと引き続き動作するかどうかを気になりました。 いくつか興味深い発見がありました。 公式な本番用ELFファイル4つをすべて取得し、SP1 v6.1およびv6.9を使用して、それらの正確なプログラム検証キーを再現しました。 その後、実際のCosmos Hub Tendermint更新証明書を生成し、元の本番用ELFを両バージョンで実行しました。 両方の実行は成功し、768バイトの公開出力、同じ実行ガス、同じSHA-256ハッシュを生成しました。 さらに興味深い点： SP1 v6.1、v6.9、v6.10はすべて回路バージョンv6.1.0と報告しています。 v6.1とv6.10の実際のGroth16検証キーバイナリを比較したところ、バイト単位で完全に同一でした。 それらのSHA-256ハッシュは、Ethereumにすでにデプロイされているバリデーターのハッシュと一致しています： 0x4388a21c687fdd5f218d7e3d13190cac4c5355818d3605fd5fb811df468ee696 したがって、プログラムの識別子、実行、Groth16検証キーのレベルでは、これらのバージョン間で互換性が維持されています。 まだ新しいプローバーを使用して本物の証明を生成しておらず、ライブなEthereumバリデーターでの検証も行っていません。次回の課題です。 証明スタックの多くの部分が変更されても、検証インターフェースが同じままであるのは興味深いことです。
Ethereum上にデプロイされたCosmos IBCコントラクトを調査していたところ、ZKライトクライアントの管理方法について興味深い点を見つけました。 SP1証明はCosmosコンセンサスを検証しますが、ライトクライアント実装自体はガバナンスを通じて移行可能です。 実際、6月のアップグレード時にTendermintクライアントをSP1 v6.1に移行するためにこの仕組みが使用されました。 現在の構成では、OpenZeppelin AccessManager、4-of-7ガバナンスSafe、72時間のタイムロックが使用されています。 したがって、コンセンサス検証は暗号学的である一方で、システムには依然として管理的な信頼層が存在します。 これは重要な点だと考えます。 誰かがルーターが信頼するライトクライアント実装を変更できる場合、システム全体のセキュリティはその権限を制御する者に依存することになります。 ここに脆弱性があるとは言っていません。移行メカニズムは意図的であり、アップグレードや回復に役立ちます。 しかし、ガバナンスキーが侵害された場合に何が起こるのか、すべてのセンシティブな変更が本当にタイムロックを経ているのか、ユーザーがアップグレード前にそれをどのように検証できるのかを理解したいと思っています。 出典： https://t.co/dnN5drqJMi
Cosmos IBCがSP1証明を用いてEthereum上の合意を検証する方法を調査していました。 ZK証明そのものよりも、私がより関心を持っているのは、検証者を誰が制御しているかです。 数学的に妥当な証明を持つことはできますが、ライトクライアントのアップグレードや信頼される検証鍵を変更する権限を持つ人がいる場合、それはまったく別のセキュリティの問題になります。 Ethereumのデプロイでは、タイムロックされた管理制御を伴う4-of-7マルチシグが使用されています。 ここで、これらの管理者が実際に何を変更できるのか、アップグレードを通じて悪意のある検証者が導入される可能性があるのか、そしてタイムロック中にはユーザーが実際に何ができるのかを正確に追跡したいと思っています。 ZKは、特定の計算が正しく実行されたことを証明します。 しかし、どの計算を検証するかを制御する人々がそれを変更できないことを証明するものではありません。 私が掘り下げたいのは、その部分です。
現在、テック業界ではいくつかの荒唐無稽な噂が広まっている。 OpenAIがAnthropicのIPO前に300億ドルの調達を試みているという報道。 NvidiaがAnthropicのIPOに100億ドルを投資する可能性がある。 Anthropicの時価総額が2兆ドルになる可能性があるという話も。 OpenAIがTrail of Bitsの買収を検討しているという情報。 DatadogがUpwind Securityを約40億ドルで買収しようとしていたという報道。 SpaceXがNvidiaのGPUを購入するために400億ドルの資金調達を模索しているという話。 まだすべてが確認されていないが、AI分野で動いている資金の規模は尋常ではない。
