Axion に移行しました ポリゴンネットワーク! AXNの購入方法をご覧ください こちらをクリック.

すべき Axion V3は監査されますか?

Axion 開発チーム
2018年7月19日
axion DAO voting user community vote

このDAO投票の目的は、 Axion 起動前にv3コードの監査を開始し、その支払い方法を確認する必要があります。 ザ・ Axion v3コードは全体の完全な書き直しです Axion エコシステム、そして本当に Axionのスマートコントラクトは、市場に出回っている他のステーキングトークンよりも飛躍的に進歩しています。 Axion v3を使用すると、すべてのガス料金が大幅に削減されます(したがって、トランザクションが安くなります)。 Axionの主な機能は、ステーキング、引き出し、アップグレード、V1 / V2ステークの引き出し、オークション入札などであり、NFTステークミンティングや将来のトークンのアップグレードなどの機能のロックを解除します。 Axion v3はその基盤です Axionの未来は休む。

Axion ポリシーは常にそのコードに対して監査を実行することですが、コミュニティのメンバーはv3の起動を遅らせないように要求しており、監査は必要ありません。 NS Axion チームは、コミュニティが決定できるように、この決定を投票にかけることを決定しました。

このような重要なコードのアップグレードが行われているため、監査のタイミング、コスト、有効性など、監査に関してコミュニティが考慮すべきいくつかの要素があります。 この提案は、最初に監査を実施するかどうかを決定することであり、賛成票が承認された場合は、その支払い方法を決定するためにフォローアップ投票が行われます。

 投票が完了しました

主な事実:

監査プロバイダー:Halborn

監査期間:6月XNUMX日開始からXNUMX月中旬完了まで

監査費用:最低75,000ドル

監査を伴う開始期間:第3四半期の終わりから第4四半期の初め

監査なしの開始期間:DAO投票承認から3週間以内 

壊す:

監査はのコアコンポーネントです Axionスマートコントラクトに対する消費者の信頼を刺激するというのビジョン。 監査は、コードベース全体を分析して、スマートコントラクト自体に存在するコードまたはエコシステムに対するバグ、エクスプロイト、または脅威がないことを確認するプロセスです。

Axion 内部と外部のXNUMXつの監査タイプを実行します。 

内部監査 コード自体を徹底的に分析して実施され、以下に関する重要なテストで構成されます。

  1. リエントラント攻撃
  2. ミンティング機能
  3. V1およびV2の引き出し
  4. 下位互換性
  5. エクスプロイトと脅威の評価
  6. 数学的一貫性
  7. コードカバレッジテスト
  8. 行ごとの評価
  9. ガスコストの見積もり
  10. そして、もっと

これらのテストは全体によって実行されます Axion 7人のメンバーで構成される開発チーム。 チームの各メンバーは、コード自体の作成、実装、および評価を担当します。 彼らは、開発サイクル全体を通して定期的に徹底的かつ定期的なテストを実施します。

たった今、 Axion v3は、コード全体で95%のコードカバレッジを持ち、すべてのミンティング機能で100%のカバレッジを持っています。 

外部監査 コード全体に対して独立した評価を実行できるサードパーティの監査機関によって実施されます。 彼らは契約をXNUMX行ずつ調べ、一連のチェックの一環として明らかな悪用や問題を計画します。 監査会社は品質が異なる場合があります。 自動化されたプログラムを使用して、コードの操作の一貫性をチェックするだけの人もいます。 他の人は、契約全体を計画し、コードが何を意味するのかをよりよく理解するために、スマートコントラクトの背後にある経済モデルを理解するために深く掘り下げます。 Solidityが実行したもののように Axion。 これらの監査を行うことで、特に金融投資が懸念される場合、一般的にコードの展開に対する消費者の信頼が高まります。

コスト分析:

最小コストが75,000ドルである理由は、次のXNUMXつの要因によるものです。XNUMXつは Axion v3には、新しいコードと、V2およびV1をサポートするコードの両方が含まれています。 コードカバレッジ全体を保証するには、これらすべてを監査する必要があります。 XNUMXつ目は、Halbornは、チームの理想的な起動ウィンドウを満たす時間枠を持つ一流の監査会社であるということです。 より安価な監査を実行することもできますが、有用で徹底的で分析的なコードカバレッジのレベルは含まれません。 Axion その監査が必要になります。 以前の監査パートナーは利用できないか、十分な品質ではありません。

支払いとタイムラインの監査:

この監査を行うために、YESの投票が確保された場合、コミュニティは次のオプションに投票します。

  1. Axion Foundationは、開発基金からAXNで75,000ドルを販売する可能性があります。 これにより、金額が安定したコインに変換されるため、即座に価格が下がります。 現在のボリュームでは、この販売により5〜7%の価格低下が見込まれます。 のタイムライン Axion V3の発売は、第3四半期の終わりから第4四半期の初めになります。

  2. Axion 流動性プールから支払うことができます。 しかし、コミュニティが提供するLPトークンは、XNUMX月末までロックされているため、 Axion Foundationは、これらのトークンがリリースされるまで監査の費用を支払うことができず、監査の時間枠とv3のリリースを4年第2021四半期/ 1年第2022四半期に延期します。価格に直接的な影響はありません。 ただし、将来の売買は価格への影響が大きくなります。

  3. Axion オークションを通じて生み出された収益から支払うことができます。 コミュニティは、新しい投資家を呼び込むために、現在のオークションETH収益を第3四半期の残りの期間、マーケティング予算に割り当てることを決議しました。そのため、資金調達の取り組みは第4四半期に開始する必要があります。 オークションの予算が監査の支払いに再割り当てされた場合、オークションの収益のみを使用して監査のために貯蓄するのに、現在の価格/ボリュームで約2〜3か月かかります。 したがって、v3は2年第2022四半期に発売される可能性があります

  4. 未払配当金からのステーキング契約には30wBTC以上があります。 30のwBTCがすべて次の四半期に撤回される可能性は統計的に低いため、コミュニティはこのファンドに反対して借り入れ、オークションの収益で返済することに投票することができます。 のタイムライン Axion V3の発売は、第3四半期の終わりから第4四半期の初めになります。

  5. Axion 財団は、上記の資金調達方法のいずれかによって返済されるローンをまとめて提供することをいとわないコミュニティのメンバーから調達された資金を借りようとする可能性があります。 のタイムライン Axion V3の発売は、第3四半期の終わりから第4四半期の初めになります。

  6. または、資金源間の多方向分割など、その中のいくつかの組み合わせにより、いずれかの資金の流出/使用を軽減します。 

なお、 Axion チームは、監査のために75ドルを調達するようにコミュニティに依頼することを望んでいません。 チームは、これは費用になるはずだと感じています。 Axion 財団がカバーする必要があります。

監査に対する主なポイント:

  1. 監査には費用がかかります。 現在、 Axion Foundationには、監査に最低75ドルを支払う便利な方法がありません。 各オプション(上記で概説)には、時間、価格、またはその両方を何らかの犠牲にする必要があります。 その75ドルは、マーケティング、給与、コミュニティイベント、新しいトークンの組み合わせなどに費やされる可能性があります。

  2. 監査は常に効果的であるとは限りません。 コードを理解することは難しいですが、他の誰かのコードを理解することはさらに困難です。 V1、V2、v3のすべてをカバーしているため、監査会社が何かを見逃す可能性が高くなります。 たとえば、VCAコードの監査を請け負った監査会社は、機能を理解していなかったという理由だけで、数値が負になる可能性のあるVCA操作の重要な部分を見逃していました。 そのため、彼らは包括的な監査を実施しましたが、それでも物事は見落とされていました。 上記の例では、VCAのコードは、コードを完全に監査したにもかかわらず、リリース後に開発チームによって迅速に修正されました。 アップグレード可能なコントラクトを使用すると、エラーが発生した場合に修正を迅速に展開できるため、v3が監査されていなくても、修正がすぐに行われる可能性があります。

  3. 監査を迅速に実行することはできません。 XNUMX週間前、 Axion v3に取り組む次の監査パートナーの検索を開始しました。 チームは利用可能なトップの監査会社に連絡を取りましたが、監査要求とバックログの数が非常に多いため、監査の時間枠があります Axion v3は、月ごとの時間枠内にあります。 信頼できる監査パートナーはチェックを実行できません Axion 今後3日以内にリリースできるv30。

  4. 監査期間中は契約をロックする必要があります。 コードに新しい機能や変更を加える必要がある場合は、監査プロセスが完了するまで追加できません。そうしないと、コードベースが変更されるため、監査が無効になります。 これは、エコシステムに提案された変更は、監査が完了するまで待たなければならないことを意味します。 監査後にコードベースに追加された新しい機能またはコードにより、監査人の目には監査が無効になる可能性があります。 アップグレード可能な契約があるため、これは最終的には問題ではありません。したがって、これが発生することは避けられません。

監査を支持する主なポイント:

  1. 監査は投資家の信頼を高めます。 監査の有効性に関係なく、Halbornのような一流の監査会社による監査の実施は Axion独自のエコシステムに対するの自信。 監査はまた、現在および将来の投資家が彼らの投資が安全で、安全で、独立して検証されたことを知ることから来るであろう前向きな感情を認めます。

  2. 監査は、将来の開発のための安定した基盤を提供します。 将来の契約の更新(DAOを通じて投票)は、信頼性と安全性が証明されているコードベースで行われます。 これにより、コミュニティは、 Axion その開発チームによって。

  3. すべての監査で、脆弱性、バグ、またはガスの最適化が見つかりました。 以前の3つの監査すべてで、契約コードに比較的大きな脆弱性が見つかりました。 エクスプロイトや攻撃のベクトルを検索するだけでなく、これらの監査で発見されたバグや小さな最適化があり、vXNUMXをさらに効率的かつ安全にするのに役立ちます。 コードに目を向けることで、チームが発見できた以上の最適化の機会を増やすことができます。

  4. Axionのコードがプロプライエタリになることができるようになりました。 v3より前は、 Axion はオープンな開発プロセスと連携しており、投資家の信頼を高める方法として、そのコードベースを世界に公開することができます。 しかし、Halborn監査により、コードはプライベートになり、信頼できるのは Axion とそのコミュニティの代表者。 このコードは完全にゼロから書かれているので Axion、それを独占的にすることはさらに固まるでしょう Axion それ自体がユニークであり、コピーキャットと安価なノックオフが、開発チームが構築するために懸命に取り組んできたエコシステムを脅かすのを防ぎます。

  5. 監査は強力なコミュニティの先例を設定します。 価格にもかかわらず監査を確認するために投票することにより、コミュニティ全体が将来の投資家に次のことを示すために一緒にデューデリジェンスを行ったことを証明します Axionのコミュニティは、たとえそれが不便であっても、監視と正しい方法で物事を行うことを大切にしています。

  6. 流動性を枯渇させるエクスプロイトの場合、統計的にその可能性は低いです Axion 別のコミュニティの募金活動があっても、回復するでしょう。 したがって、完全な監査なしで起動するのは危険です。 

チームからのコメント:

世界 Axion チームは、v3のリリースが遅れたとしても、監査に賛成です。

投票:

コミュニティは、監査を実施するかどうか、および監査の支払い方法について投票する必要があります。 最初の投票は、監査を行うべきかどうかを決定します。 コミュニティが監査の実施に投票した場合、監査の支払い方法を決定するために別の投票が行われます。 

XNUMXつの投票オプションは次のとおりです。

  1. 監査なし
    あなたが欲しい Axion チームが展開に自信を持ったら、v3を監査なしで起動します。 発売のタイムラインは約3週間です。

  2. はい監査
    監査が行われるまで、v3の起動を延期したいと考えています。 監査の支払い方法を決定するためのフォローアップDAO投票に参加する準備が整います。 発売のタイムラインは、資金調達方法に応じて、4年第2021四半期から2年第2022四半期の間になります。

 

ここに投票してください:

 投票が完了しました