リップルの情報を中心に定期的に更新します。リップルの情報を中心に定期的に更新します。>2018年04月27日09:00ERC20トークンの一部のEDCC(スマートコントラクトとも呼ばれる)の最近発見された2つの脆弱性カテゴリその他gcuigzquComment(0)OKEx、Changelly、Poloniex、QUOINE、およびHitBTCはすべて、内部調査とEthereumベースのトークンの預金、引き出し、および/または移転の停止を含むそれぞれの措置を発表しました。重要なことに、ERC20トークン標準自体に脆弱性は検出されておらず、1人のredditユーザーが指摘したように、2つの同様のバグの少なくとも1つはEDCCに追加された機能でした。問題のあるソフトウェアのバグは、「命名されbatchOverflow、」4月22日、とに発見された「proxyOverflow、」4月24日に発見され、ミディアムパブリッシングプラットフォーム上の光にしました。これらの特定の悪用は、潜在的にハッカーが非常に多くのトークンの合計を得ることを可能にするが、設計上明確に斬新ではない。"batchOverflowは本質的に古典的な整数オーバーフローの問題です"と指摘しました。同じことがproxyOverflowについても言えます。コンピュータプログラミングに関して、「整数オーバーフロー」は、設計上の欠陥の結果であり、通常、所定のシステムにおける数学的演算が、システムの表現可能な範囲外の値を生成するときに生じる。契約ロジックを騙して発見されました。研究者によると、取引を認証するために設計された計画された健全性チェックは、スプーフィングされた金額によってだまされていました。契約を利用するのではなく、数学的な創造性と初歩的な契約プログラミングが、15行未満のコードを含むスクリーンショットで説明したこのエクスプロイトの発見においてどのように大きな役割を果たすかを強調します。"_value"が可能かどうかを検証するための論理チェックを無効にしました。"_value"を掛けることに基づいています。これは、例の契約コードの257行目に示されている式です。この式の積は「量」であり、数学的に検証可能でなければなりません。著者によれば、2段階プロセスは、この位置からbatchOverFlowエクスプロイトを開始することができます。"オーバーフロー"させてゼロにリセットします(車の走行距離計は999,999マイル後にゼロにリセットされます車が運転されているにもかかわらず、100万人に)。259行目に記載されているように、額のゼロ調整は、契約の論理チェックが失敗した理由です。著者は、「金額がゼロになると、攻撃者は258-259行目のサニティチェックをパスし、261行目の減算を無関係にすることができます」と述べました。"_value"に追加されます。「これらの脆弱性と壊滅的な影響から回復するための適切な方法は、すべての生態系メンバーの調整と支援が必要です」と、著者は書いています。「展開前に賢明な契約を徹底的に監査することの重要性を強調してはいけません。●無料でLINE@で有益情報を随時流しています。興味ある方は登録してください。Tweetコメントするこのブログにコメントするにはログインが必要です。さんログアウトこの記事には許可ユーザしかコメントができません。