@boundless_xyz ecoを探索しているときに、@RiscZero R0VMのアプリケーションで興味深いユースケースを発見しました:ZK Proof of Exploit - zkPoEx。 すべてのバグの中で、最も重大なバグは、ライブ製品に存在するバグです。暗号通貨では、重大な脆弱性がすぐに資金の悪用につながるため、ライブバグの金銭的価値は非常に高くなります。 通常、このようなバグが見つかった場合、@immunefiや@HackenProofなどのバグ報奨金プラットフォームが仲介者として機能し、バグの信頼性と重大度を検証し、報奨金交渉を修復します。この構造には、ホワイトハットが賞金を受け取る前にバグの詳細を開示しなければならないという問題が 1 つあります。プロジェクトの観点からは、バグレポートを受け取ってレビューした後、パッチを適用して「範囲外」であると主張したり、重大度を下げたりすることができます。非常に極端なケースでは、仲介者が脆弱性を発見し、最初に悪用する可能性があります。 zkPoEx は、RiscZero の R0VM を通じて、バグの詳細を明らかにすることなく、ZK 証明を使用して脆弱性の存在を証明できます。特定の条件を満たすバグが存在することを証明できるため、バグ発見者は一部前払いを求めるなど、プロジェクトからのより協力的な対応を期待できます。 より詳しく説明すると、レポーターは calldata/exploit コントラクトをプライベート入力として、攻撃時の状態をパブリック入力として使用して、R0VM 内のターゲット コントラクトの状態値を変更します。実行後、R0VM Prover によって生成された tx レシートと証明は、攻撃が残高の変更などの特定の条件を満たしているかどうかを検証できます。 個人的には、この方法はライブの脆弱性を報告するのに非常に便利だと思いますが、このアプローチを使用してバグが報告されたケースはまだ見たことがありません。どうやらプロジェクトがあらかじめ条件を設けなければならないから...もし、実際にそのようなシステムを実際に実装するのが難しいとしたら、どのような課題があるのか知りたいです。

Just unlocked Diamond status on @boundless_xyz mainnet beta With the introduction of the "Verify" section where you can leave the website open and run verification idly, it has become significantly easier to raise tiers. I feel like yap rewards are kinda converted into public sale tiers. personally love this compact program, compared to ~6 month of lazy farming ;)

Expected platinum this week, but this is what I got help @AbstractChain

: : Verify to Trust - EigenCloudとBoundlessの2つの異なるアプローチ 検証は人間の本能です。会議時間の確認、製品レビューの確認、情報の検証など、常に検証を行います。 しかし、クラウドコンピューティングとAIの時代では、舞台裏で何が起こっているのかを検証できなくなってきています。私たちの検証本能と能力の間のこのギャップは、デジタルシステムにおける根本的な信頼の危機を引き起こしています。 @eigenlayer と @boundless_xyz は、この課題のさまざまな側面に取り組む 2 つの先駆的なプロジェクトです。 1. アイゲンクラウド EigenCloud は、「主観的」検証、つまり数学的に証明することはできないが、合理的な観察者が同意するもの (DAO ガバナンスの決定、インセンティブの公平性など) を対象としています。EigenCloudは、独自のフォークメカニズムを持つトークンである$EIGENを活用して、経済的セキュリティに支えられた検証可能性を実装しています。 2. 無限 zkVM に基づいて構築された分散型証明市場として、Boundless は暗号化証明によって保証される検証可能性@RiscZero実装しています。したがって、Boundless は明確な入力/出力を備えた決定論的計算に特化しています。 この 2 つは競合するビジョンではありません。それらは補完的な層です。EigenCloudは主観的な判断が重要な点で優れており、Boundlessは数学的な確実性が可能な点で優位に立っています。 私たちは、検証技術が市場の需要を満たす転換点にいます。今日このインフラストラクチャを構築するプロジェクトは、明日のデジタルシステムとのやり取り方法を定義します。問題は、検証可能なコンピューティングが標準になるかどうかではありません。どれだけ早くそこに到達できるかが重要です。

ちょうど何かに気づきました...👀 オメガ

色あせないでください@megaeth_labs

韓国TG MindshareのPre TGE 24時間トップ20 1位。@AbstractChain @bram_m11 @SiwonHuhが殺している 2日、昨日@gaib_aiコミュニティイベントを開催しました 3rd. @Sidekick_Labs多くの韓国KOLとライブ配信を行う@ROKMCFIREANT @sikiri0 @oldman_cek 4.@Mira_Network @Edward__Park killing it ppl は毎日何かを投稿しています 5位. 韓国人はゲームをするのが大好き@irys_xyz + @monad グモナド @sungmo_nad

::ビットコインエコシステムの拡大は避けられません ビットコインは紛れもなく新たな発展段階に入っています。6月に開催されたビットコインカンファレンスでビットコインエコシステムを包括的にレビューした結果、ビットコインの技術インフラストラクチャが急速で変革的な成長を遂げていることが明らかになりました。 ビットコインのエコシステムで最も急速に成長しているセグメントは次のとおりです。 - リステーキングとリキッドステーキングは、@babylonlabs_io、@Lombard_Finance、@SolvProtocolを中心に - 拡張 BitVM を実装し、@SuccinctLabs SP1 と @RiscZero zkVM を組み込んで信頼性を最小化したブリッジを実現する高度な L2 ソリューション - 大手L1チェーンがBTCイニシアチブを推進し、BTCFiプロジェクトをオンボーディング 最近注目すべきアップデートがありましたので、ここで紹介したいと思います。 1. @babylonlabs_io - ビットコインのステーキング引き出し時間を約7日から約50時間に短縮することを提案しました。このT+2決済基準は、従来の金融要件と一致しているため、バビロンステーキングは機関投資家にとって非常に魅力的です。 - @krakenfxと協力してビットコインステーキングサービスを開始 - $BABY韓国の主要取引所であるUpbitに上場しました 2. BTCFiの取り組みを推進する@SuiNetwork - SuiはBTCFiイニシアチブの最も積極的な推進者として浮上し、真剣な技術的洗練さでビットコインの統合にアプローチしています。 - 共同創設者の@EmanAbioは、SuiのBTCFi戦略の詳細な分析を公開しています。@ikadotxyzの2PC-MPCブリッジやSuiのネイティブBTCブリッジなど、チェーンレベルのインフラストラクチャでBTCブリッジを直接サポートします。 - LombardやNativeなどのBTCFiプロジェクトを積極的にオンボーディングしています。 - BTC関連資産は現在、Suiの総資本の10%以上を占めています。 3. BTC L2統合について議論する@aave - @build_on_bobは、SolvBTC / openUSDTの追加を提案する提案をAaveガバナンスに提出しました。 4.ビットVM - BitVM3 ホワイトペーパーを公開 - プルーフサイズとコストを大幅に削減することを提案 5. @citrea_xyz - BitVM + @boundless_xyzを通じてビットコイン初のzk-rollupを立ち上げるためのロードマップを発表 ビットコインのエコシステムは前例のないペースで発展しており、エコシステムプロジェクトに最適な条件を作り出す有利な価格の勢いと一致しています。この技術革新、機関投資家の採用インフラストラクチャ、および市場状況の収束は、ビットコインがデジタルゴールドから包括的な金融インフラストラクチャへと進化する極めて重要な瞬間を目撃していることを示唆しています。 重要なのは、この勢いを生かしながら、良好な条件を維持していること:)ビットコインエコシステムがこの勢いを賢く活用し、近い将来に市場を獲得することを願っています!

Wow @EclipseFND は実際のオンチェーンユーザーにエアドロップを行わず、韓国で豪華なミートアップを開催して、参加者にトークンのエアドロップを約束しました。 なんというコメディ (画像H/T@DefiIgnas @Edward__Park)