これは、SpaceSwapチームにとって大きな成果であり、プラットフォームエコシステムの改善の後押しとなります。
その監査は、トケノミクスモデルの改良と、プラットフォームのいくつかのバグを修正した後に行なわれたステップです。
SpaceSwap 2.0を立ち上げている間、チームは、中国の大手ブロックチェーンセキュリティ企業の1つBeosin社の一部であるLianantechとスマートコントラクト監査について交渉しました。
Lianantechを選んだ理由
LianatechはBeosin社の部門の一つです。その中国のブロックチェーンセキュリティプラットフォームは、スマートコントラクト、DApp、およびウォレットを保護するための最高のサービスを提供します。
専門知識とプロ意識により、その会社はユーザーの信頼を勝ち取ることに成功しました。
これまでに、BeosinはVaaS検証プラットフォームで世界中500以上のスマートコントラクトを監査してきました。さらに、過去30日以内にすでに10回以上の監査を行なっています。
Lianatech（Beosin）社の承認されたプロジェクトの1つになることはSpaceSwapチームにとって大変光栄なことです。
Lianatechによる監査の主要項目
Lianatechは、公式検証、静的分析、一般的ケースのテスト、手動レビューなどの方法を使って具体的な監査を実施し、すべてのスマートコントラクトの次３つの主要項目を監査しました
- コーディング基準
- セキュリティ
- ビジネスロジック
その結果、SpaceSwapスマートコントラクトに重大なバグや脆弱性は検出されませんでした。
SpaceSwapのコーディング基準、セキュリティ、およびビジネスロジックの監査
1. コーディング規約
コンパイラバージョンのセキュリティ、合格
非推奨項目、合格
冗長コード、合格
SafeMath機能、合格
require / assert使用、合格
ガス消費量、合格
可視性指定子、合格
Fallback機能、合格
2. 基礎的な弱点
整数オーバーフロー/アンダーフロー、合格
リエントラント、合格
疑似乱数ジェネレータ
（PRNG）、合格
トランザクション順序の依存関係、合格
DoS（サービス拒否）、合格
所有者のアクセス管理、合格
低レベル関数（呼び出し/デリゲート呼び出し）
セキュリティ、合格
戻り値のセキュリティ、合格
tx.origin機能、合格
リプレイ攻撃、合格
変数のオーバーライド、合格
3. ビジネスセキュリティ
ビジネスロジック、合格
スマートコントラクトのセキュリティ監査レポートは、既にEtherscanに追加されています。
技術的な詳細を確認するには、こちらのリンクからアクセスしてください。
https://etherscan.io/address/0x80c8c3dcfb854f9542567c8dac3f44d709ebc1de#code
SpaceSwapにとってこの監査が重要である理由は？
- バグや脆弱性のリスクが少なくなります。 各コードにエラーがあるかないかチェックされています。ハッキング、ダウンタイムが一度もない状況を目指しています。
- 高い資金安全レベル。 ユーザーの資金保護は弊社の最優先事項です。現在、不正資金、資金凍結すべてを排除出来るようになってます。すべての預金は、コミュニティによって単独で管理されます。
- 透明性と信頼の向上。投資家の資金を売り払って、スマートコントラクトエラーによって機能がブロックされるプラットフォームとは違って、弊社は機能不全、ハッキング、攻撃のリスクを減らすために最善を尽くしています。SpaceSwapのスマートコントラクトは、公正で効率的な資金配分を目的としています。
監査により、SpaceSwap2.0の機能が中断することはありません。弊社のアップデートされた最新のプラットフォームは引き続き稼働し、イールドファーミングおよびMILK2コイン獲得のための最高の場所であり続けています。
UniswapでMILK-ETHプールを開き、「Trade]ボタンをクリックしてMILKを今すぐに購入してください。
詳細については、 GitHubを確認するか、またはSpaceSwapチームにお問い合わせください。
https://spaceswap.app/
Telegram: t.me/SpaceSwap
Twitter: https://twitter.com/spaceswapdefi
ブログ： https ： //blog.spaceswap.app/
Discord: https://discord.gg/r6RymJj