Secure3によるNeo X Bridge監査レポートの開示

Neo は、Web3 プロトコルに対する脅威を特定して軽減するためにセキュリティ専門家と協力するプラットフォームである Secure3 によって実施された監査コンテストの結果を発表しました。

Web3 protocol security platform Secure3 has completed an audit of the Neo Native Bridge, which was developed by Bane Labs to facilitate asset transfers between Neo N3 and Neo X. The audit aimed to ensure the integrity and security of the bridge, which is crucial for safeguarding user funds and maintaining the integrity of the Neo ecosystem.

Web3 プロトコル セキュリティ プラットフォーム Secure3 は、Neo N3 と Neo X の間の資産転送を容易にするために Bane Labs によって開発された Neo Native Bridge の監査を完了しました。監査の目的は、保護に不可欠なブリッジの完全性とセキュリティを確保することでした。ユーザーの資金を保護し、Neo エコシステムの完全性を維持します。

The Neo Native Bridge comprises two primary components: a bridge smart contract deployed on Neo X and a relayer code that facilitates communication between Neo N3 and Neo X. The audit focused on both these aspects to identify and mitigate any potential vulnerabilities or risks.

Neo Native Bridge は、Neo X に展開されるブリッジ スマート コントラクトと、Neo N3 と Neo X の間の通信を容易にするリレーラー コードという 2 つの主要コンポーネントで構成されます。監査では、潜在的な脆弱性やリスクを特定して軽減するために、これらの両方の側面に焦点を当てました。

? Bridge contract audit

? ブリッジ契約監査

The audit of the Neo X Bridge Contract identified several issues, including a medium-severity concern related to token registration and deregistration. This issue could potentially allow replay attacks on the bridge, posing a significant risk to the security of asset transfers.

Neo X Bridge Contract の監査では、トークンの登録と登録解除に関連する中程度の重大度の懸念を含む、いくつかの問題が特定されました。この問題により、ブリッジ上でリプレイ攻撃が可能になる可能性があり、資産転送のセキュリティに重大なリスクが生じます。

The audit team highlighted this issue and worked closely with the Neo team to resolve it promptly. The system was modified to disallow the deregistration of token bridges, effectively mitigating the identified risk and ensuring the integrity of the Neo Native Bridge.

監査チームはこの問題を指摘し、Neo チームと緊密に連携して問題を迅速に解決しました。このシステムは、トークン ブリッジの登録抹消を禁止するように変更され、特定されたリスクを効果的に軽減し、ネオ ネイティブ ブリッジの完全性を確保しました。

Furthermore, the audit uncovered several low-severity concerns, which were either acknowledged for future resolution or fixed by adopting more secure alternatives. These included:

さらに、監査により重大度の低い懸念がいくつか明らかになり、将来の解決が認められるか、より安全な代替手段を採用することで修正されました。これらには次のものが含まれます。

The use of safeTransferFrom instead of transferFrom, which could lead to unexpected behavior with certain tokens due to non-standard ERC20 implementations. This was addressed by using OpenZeppelin’s SafeERC20 library.

transferFrom の代わりに safetyTransferFrom を使用すると、非標準の ERC20 実装により、特定のトークンで予期しない動作が発生する可能性があります。この問題は、OpenZeppelin の SafeERC20 ライブラリを使用することで解決されました。

The use of the ecrecover function, which limited validators to externally owned accounts and made the system vulnerable to signature malleability, potentially enabling forgery or replay attacks. These issues were either acknowledged for future resolution or fixed by switching to more secure alternatives like OpenZeppelin’s ECDSA.recover function.

ecrecover 機能の使用により、バリデーターが外部所有のアカウントに限定され、システムが署名の展性に対して脆弱になり、偽造またはリプレイ攻撃が可能になる可能性がありました。これらの問題は、将来の解決策として認識されるか、OpenZeppelin の ECDSA.recover 関数などのより安全な代替手段に切り替えることで修正されました。

Minor informational issues, such as code style inconsistencies and unused errors, were also identified and addressed where necessary.

コード スタイルの不一致や未使用のエラーなどの軽微な情報の問題も特定され、必要に応じて対処されました。

? Bridge relayer audit

? ブリッジリレー監査

The audit of the Neo X Bridge Relayer also revealed several low-severity issues, which were promptly addressed or acknowledged for future improvements. These included:

Neo X Bridge Relayer の監査では、重大度の低いいくつかの問題も明らかになり、これらの問題は直ちに対処されるか、将来の改善が認められました。これらには次のものが含まれます。

The relayer’s program continued to run indefinitely in the event of a non-connection-related error, potentially leading to resource exhaustion. This was resolved by ensuring the program exits appropriately in such scenarios.

中継者のプログラムは、接続に関連しないエラーが発生した場合に無期限に実行され続け、リソースの枯渇につながる可能性がありました。この問題は、このようなシナリオでプログラムが適切に終了するようにすることで解決されました。

The potential for a denial of service attack due to the lack of a timeout in the signature processing function, which was fixed by implementing a timeout mechanism.

署名処理機能にタイムアウトがないことによるサービス拒否攻撃の可能性がありましたが、タイムアウト メカニズムを実装することで修正されました。

The system did not verify the uniqueness of signatures, which could allow possible bypasses. This issue was acknowledged and will be addressed in future updates.

システムは署名の一意性を検証しなかったため、回避される可能性がありました。この問題は認識されており、将来のアップデートで解決される予定です。

The hardcoded threshold for the number of signatures required for relayer operations, which limited the flexibility of the system. This was acknowledged, and a more dynamic approach will be implemented in future releases.

リレーラーの操作に必要な署名数のハードコードされたしきい値。これにより、システムの柔軟性が制限されます。これは認識されており、将来のリリースではより動的なアプローチが実装される予定です。

Other informational issues, such as improper handling of decrypted accounts, insecure password storage, and the risk of race conditions due to the use of goroutines in loops, were also noted. While most of these issues were promptly addressed, some were acknowledged and earmarked for future improvements.

復号化されたアカウントの不適切な処理、安全でないパスワードの保管、ループ内でのゴルーチンの使用による競合状態のリスクなど、他の情報に関する問題も指摘されました。これらの問題のほとんどはすぐに対処されましたが、一部の問題は認識され、将来の改善に割り当てられました。

The full reports can be found in the announcement linked below: https://medium.com/neo-smart-economy/disclosing-the-neo-x-audit-report-by-secure3-1b7eae9dc47b

完全なレポートは、以下のリンク先の発表でご覧いただけます: https://medium.com/neo-smart-economy/disclosed-the-neo-x-audit-report-by-secure3-1b7eae9dc47b