Axion đã di chuyển đến Mạng đa giác! Tìm hiểu cách mua AXN bằng nhấn vào đây.

Nếu Axion V3 được kiểm toán?

Axion Nhóm phát triển
24 2021 tháng bảy
axion DAO voting user community vote

Mục đích của cuộc bỏ phiếu DAO này là để xác định xem Axion nên bắt đầu Kiểm tra mã v3 trước khi khởi chạy và cách thanh toán cho mã đó. Các Axion mã v3 là một bản viết lại hoàn chỉnh của toàn bộ Axion và thực sự là một thành tựu công nghệ giúp AxionCác hợp đồng thông minh của các hợp đồng thông minh phát triển vượt bậc so với bất kỳ mã thông báo đặt cược nào khác trên thị trường. Axion v3 sẽ dẫn đến giảm đáng kể phí gas (do đó giao dịch rẻ hơn) cho tất cả AxionCác chức năng chính của nó như đặt cược, rút ​​tiền, nâng cấp, rút ​​tiền cổ phần V1 / V2 và đấu giá, cũng như mở khóa các tính năng như đúc tiền cổ phần NFT và khả năng nâng cấp mã thông báo trong tương lai. Axion v3 là nền tảng mà Axionphần còn lại của tương lai.

Axion chính sách là luôn thực hiện kiểm tra trên mã của nó, nhưng các thành viên của cộng đồng đã yêu cầu không trì hoãn việc khởi chạy v3 và kiểm tra là không cần thiết. Các Axion Nhóm đã quyết định đưa quyết định này lên thành một cuộc bỏ phiếu để cho phép cộng đồng quyết định.

Với việc nâng cấp mã quan trọng như vậy trên mạng, có một số yếu tố để cộng đồng của chúng tôi phải tính đến liên quan đến cuộc đánh giá, bao gồm thời gian, chi phí và hiệu quả của cuộc đánh giá. Đề xuất này trước hết là để xác định xem có nên thực hiện một cuộc đánh giá hay không và một cuộc bỏ phiếu tiếp theo sẽ được tổ chức nếu một cuộc bỏ phiếu CÓ được chấp thuận để xác định cách thanh toán cho nó.

 Bỏ phiếu hiện đã hoàn tất

Sự kiện chính:

Nhà cung cấp dịch vụ kiểm toán: Halborn

Khung thời gian kiểm toán: Bắt đầu từ ngày 6 tháng XNUMX đến hoàn thành giữa tháng XNUMX

Chi phí kiểm toán: tối thiểu $ 75,000

Khởi chạy khung thời gian có kiểm tra: Cuối Quý 3 đến Đầu Quý 4

Khởi chạy khung thời gian mà không cần kiểm tra: trong vòng 3 tuần kể từ khi phê duyệt bỏ phiếu DAO 

Phá vỡ:

Kiểm toán là một thành phần cốt lõi của Axiontầm nhìn của nó, nhằm khơi dậy niềm tin của người tiêu dùng vào các hợp đồng thông minh của nó. Kiểm toán là quá trình mà toàn bộ cơ sở mã được phân tích để đảm bảo không có lỗi, khai thác hoặc các mối đe dọa đối với mã hoặc hệ sinh thái có trong chính hợp đồng thông minh.

Axion thực hiện hai loại kiểm toán: nội bộ và bên ngoài. 

Kiểm toán nội bộ được thực hiện với phân tích kỹ lưỡng về chính mã và bao gồm thử nghiệm quan trọng về:

  1. Các cuộc tấn công tái mê
  2. Tính năng đúc
  3. Rút tiền V1 và V2
  4. Khả năng tương thích ngược
  5. Khai thác & đánh giá mối đe dọa
  6. Tính nhất quán toán học
  7. Kiểm tra mức độ phù hợp của mã
  8. Đánh giá từng dòng
  9. Ước tính chi phí khí đốt
  10. Và nhiều hơn nữa

Các bài kiểm tra này được thực hiện bởi toàn bộ Axion nhóm phát triển, bao gồm 7 thành viên. Mỗi thành viên của nhóm chịu trách nhiệm về việc viết, thực hiện và đánh giá chính quy tắc đó. Họ tiến hành kiểm tra kỹ lưỡng và thường xuyên một cách thường xuyên trong toàn bộ chu kỳ phát triển.

Ngay bây giờ, Axion v3 có độ phủ mã 95% trên toàn bộ mã và độ phủ 100% đối với bất kỳ chức năng đúc nào. 

Kiểm toán bên ngoài được thực hiện bởi một cơ quan kiểm toán bên thứ ba, có thể thực hiện các đánh giá độc lập về toàn bộ quy tắc. Họ xem từng dòng một trong hợp đồng và vạch ra bất kỳ lợi ích hoặc vấn đề rõ ràng nào như một phần trong chuỗi kiểm tra của họ. Các công ty kiểm toán có thể khác nhau về chất lượng. Một số sẽ chỉ kiểm tra mã về tính nhất quán hoạt động bằng cách sử dụng các chương trình tự động. Những người khác sẽ vạch ra toàn bộ hợp đồng và tìm hiểu sâu để hiểu mô hình kinh tế đằng sau hợp đồng thông minh để hiểu rõ hơn những gì mã có nghĩa là để làm, giống như chương trình mà Solidity thực hiện cho Axion. Việc thực hiện các cuộc kiểm tra này thường làm tăng niềm tin của người tiêu dùng vào việc triển khai quy tắc, đặc biệt là khi các khoản đầu tư tài chính được quan tâm.

Phân tích chi phí:

Lý do cho chi phí tối thiểu 75,000 đô la là do hai yếu tố: Một là Axion v3 chứa cả mã mới, cũng như mã hỗ trợ V2 và V1. Tất cả những điều này sẽ cần phải được kiểm toán để đảm bảo toàn bộ độ phủ của mã. Thứ hai là Halborn là một công ty kiểm toán hàng đầu với khung thời gian đáp ứng thời hạn khởi động lý tưởng của nhóm. Việc đánh giá rẻ hơn có thể được thực hiện, nhưng nó sẽ không bao gồm mức độ bao quát mã phân tích hữu ích, kỹ lưỡng và Axion sẽ cần cho cuộc kiểm toán của nó. Các đối tác kiểm toán trước đây hoặc không có sẵn hoặc không đủ chất lượng.

Kiểm tra Thanh toán & Tiến trình:

Để đủ khả năng kiểm tra này, cộng đồng sẽ bỏ phiếu cho các tùy chọn sau nếu phiếu bầu CÓ được bảo đảm:

  1. Axion Foundation có thể bán 75,000 đô la AXN từ quỹ nhà phát triển. Điều này sẽ dẫn đến việc giảm giá ngay lập tức khi số tiền được chuyển đổi thành một đồng tiền ổn định. Với khối lượng hiện tại, chúng tôi ước tính giá sẽ giảm từ 5-7% với đợt bán này. Tiến trình cho Axion V3 sẽ ra mắt vào cuối Quý 3 đến đầu Quý 4.

  2. Axion có thể thanh toán từ nhóm thanh khoản. Nhưng với các mã thông báo LP do cộng đồng cung cấp bị khóa cho đến cuối tháng XNUMX, Axion Tổ chức không thể thanh toán cho việc kiểm toán cho đến khi những mã thông báo đó được phát hành, đẩy lùi khung thời gian kiểm tra và ra mắt phiên bản 3 đến quý 4 năm 2021 / quý 1 năm 2022. Sẽ không có tác động trực tiếp đến giá cả; tuy nhiên, việc mua và bán trong tương lai sẽ có tác động đến giá cao hơn.

  3. Axion có thể trả từ số tiền thu được thông qua các cuộc đấu giá. Cộng đồng đã bỏ phiếu để phân bổ số tiền thu được từ đấu giá ETH hiện tại cho Ngân sách Tiếp thị trong phần còn lại của Quý 3, để thu hút các nhà đầu tư mới, vì vậy nỗ lực gây quỹ sẽ cần phải bắt đầu vào Quý 4. Nếu ngân sách đấu giá được phân bổ lại để thanh toán cho cuộc kiểm toán, sẽ mất khoảng 2-3 tháng với mức giá / khối lượng hiện tại để tiết kiệm cho cuộc kiểm toán chỉ sử dụng tiền đấu giá. Do đó v3 có thể ra mắt vào quý 2 năm 2022

  4. Có hơn 30wBTC trong hợp đồng đặt cược từ cổ tức chưa rút. Cộng đồng có thể bỏ phiếu để vay chống lại quỹ này và trả lại bằng tiền đấu giá, vì theo thống kê không chắc rằng tất cả 30 wBTC sẽ bị rút trong quý tới. Tiến trình cho Axion V3 sẽ ra mắt vào cuối Quý 3 đến đầu Quý 4.

  5. Axion Tổ chức có thể cố gắng vay các quỹ có nguồn gốc từ (các) thành viên của cộng đồng, những người sẵn sàng thực hiện chung một khoản vay sẽ được hoàn trả bằng bất kỳ phương thức cấp vốn nào ở trên. Tiến trình cho Axion V3 sẽ ra mắt vào cuối Quý 3 đến đầu Quý 4.

  6. Hoặc một số kết hợp trong đó, chẳng hạn như sự phân chia nhiều chiều giữa các nguồn tài trợ để giảm thiểu việc thoát nước / sử dụng bất kỳ nguồn nào. 

Lưu ý rằng Axion nhóm không muốn yêu cầu cộng đồng quyên góp 75 nghìn đô la để trả cho cuộc kiểm toán. Nhóm nghiên cứu cảm thấy như đây phải là một khoản chi phí mà Axion Nền tảng phải bao phủ.

Các điểm chính chống lại cuộc kiểm toán:

  1. Kiểm toán rất tốn kém. Hiện tại, Axion Tổ chức không có phương thức thuận tiện để thanh toán số tiền tối thiểu 75 nghìn đô la cho cuộc kiểm toán. Mỗi tùy chọn (được nêu ở trên) yêu cầu một số loại hy sinh về thời gian, giá cả hoặc cả hai. 75 nghìn đô la đó có thể được chi cho tiếp thị, trả lương, sự kiện cộng đồng, ghép nối mã thông báo mới, v.v.

  2. Kiểm toán không phải lúc nào cũng hiệu quả. Hiểu mã đã khó, nhưng hiểu mã của người khác còn khó hơn. Với tất cả V1, V2 và v3 được bao gồm, khả năng công ty kiểm toán bỏ sót điều gì đó là cao. Ví dụ, công ty kiểm toán được ký hợp đồng kiểm toán mã VCA đã bỏ sót một phần trọng yếu của hoạt động VCA có thể khiến các con số trở nên âm, đơn giản là vì họ không hiểu các chức năng. Vì vậy, mặc dù họ đã thực hiện một cuộc kiểm toán toàn diện, nhưng mọi thứ vẫn bị bỏ sót. Trong ví dụ trên, mã cho các VCA đã được nhóm phát triển nhanh chóng sửa sau khi khởi chạy, mặc dù mã đã được kiểm tra đầy đủ. Các hợp đồng có thể nâng cấp cho phép triển khai nhanh các bản sửa lỗi trong trường hợp xảy ra lỗi, vì vậy ngay cả khi v3 không được kiểm tra, mọi bản sửa lỗi có thể đến nhanh chóng.

  3. Kiểm toán không thể được thực hiện nhanh chóng. Sáu tuần trước, Axion bắt đầu tìm kiếm đối tác kiểm toán tiếp theo để giải quyết v3. Nhóm đã liên hệ với các công ty kiểm toán hàng đầu hiện có, nhưng do số lượng yêu cầu kiểm toán và tồn đọng quá nhiều, khung thời gian kiểm toán Axion v3 nằm trong khoảng thời gian từ tháng này sang năm khác. Không đối tác kiểm toán có uy tín nào có thể thực hiện kiểm tra Axion v3 sẽ cho phép chúng tôi khởi chạy trong vòng 30 ngày tới.

  4. Hợp đồng phải được khóa trong thời gian kiểm toán. Nếu bất kỳ tính năng mới hoặc sửa đổi nào đối với mã cần thiết xảy ra, chúng không thể được thêm vào cho đến sau quá trình kiểm tra, nếu không quá trình kiểm tra sẽ không hợp lệ do cơ sở mã sẽ thay đổi. Điều này có nghĩa là mọi thay đổi được đề xuất đối với hệ sinh thái sẽ phải đợi cho đến khi quá trình kiểm tra hoàn tất. Có thể là bất kỳ chức năng hoặc mã mới nào được thêm vào cơ sở mã sau cuộc đánh giá sẽ khiến cuộc đánh giá không hợp lệ trong mắt đánh giá viên. Điều này cuối cùng không phải là một mối quan tâm, vì chúng tôi có các hợp đồng có thể nâng cấp, vì vậy điều này không thể tránh khỏi.

Các điểm chính có lợi cho cuộc kiểm toán:

  1. Một cuộc kiểm toán mang lại niềm tin lớn hơn cho nhà đầu tư. Bất kể hiệu quả của cuộc kiểm toán, việc kiểm toán được thực hiện bởi một công ty kiểm toán hàng đầu như Halborn cho thấy Axiontự tin vào hệ sinh thái của chính nó. Một cuộc kiểm toán cũng ghi nhận tình cảm tích cực của các nhà đầu tư hiện tại và tương lai khi biết rằng khoản đầu tư của họ là an toàn, bảo mật và được xác minh độc lập.

  2. Kiểm toán cung cấp một nền tảng ổn định cho sự phát triển trong tương lai. Bất kỳ cập nhật nào đối với hợp đồng trong tương lai - được bỏ phiếu thông qua DAO - sẽ được thực hiện trên cơ sở mã đã được chứng minh là đáng tin cậy và an toàn. Điều này sẽ giúp cộng đồng tin tưởng hơn vào tiện ích trong tương lai được phát triển cho Axion bởi nhóm phát triển của nó.

  3. Mọi cuộc kiểm tra đều tìm thấy lỗ hổng, lỗi hoặc tối ưu hóa khí. Cả ba cuộc kiểm toán trước đều tìm thấy những lỗ hổng tương đối lớn trong mã hợp đồng. Ngoài việc tìm kiếm khai thác hoặc vectơ tấn công, có những lỗi hoặc tối ưu hóa nhỏ được phát hiện trong các cuộc kiểm tra này có thể giúp v3 trở nên hiệu quả và an toàn hơn. Việc quan tâm nhiều hơn đến mã giúp tạo ra nhiều cơ hội tối ưu hóa hơn những gì nhóm của chúng tôi có thể khám phá.

  4. Axionmã của bây giờ có thể trở thành độc quyền. Trước phiên bản 3, Axion đã làm việc với một quy trình phát triển mở, cho phép cơ sở mã của nó được tiết lộ với thế giới như một cách để truyền cảm hứng cho nhà đầu tư. Nhưng với kiểm tra Halborn, mã giờ đây có thể trở thành riêng tư, chỉ được tin cậy đối với Axion và đại diện cộng đồng của nó. Bởi vì mã này được viết hoàn toàn từ đầu cho Axion, nếu nó trở thành độc quyền sẽ tiếp tục củng cố Axion như là duy nhất theo đúng nghĩa của nó, ngăn chặn việc bắt chước và hàng nhái rẻ tiền đe dọa hệ sinh thái mà nhóm phát triển đã làm việc rất chăm chỉ để xây dựng.

  5. Kiểm toán đặt ra một tiền lệ cộng đồng mạnh mẽ. Bằng cách bỏ phiếu để xác nhận việc kiểm toán bất chấp giá cả, điều đó chứng tỏ rằng cả cộng đồng đã cùng nhau thực hiện công việc thẩm định của họ để giới thiệu với các nhà đầu tư tương lai rằng AxionChính cộng đồng của họ coi trọng việc giám sát và thực hiện mọi việc một cách đúng đắn, ngay cả khi điều đó là bất tiện.

  6. Trong trường hợp khai thác làm cạn kiệt thanh khoản, nó không chắc chắn về mặt thống kê rằng Axion sẽ bao giờ phục hồi, ngay cả với một cuộc gây quỹ cộng đồng khác. Do đó, việc khởi chạy mà không có kiểm toán đầy đủ là rất rủi ro. 

Nhận xét từ nhóm:

Mô hình Axion nhóm ủng hộ việc kiểm tra, ngay cả khi có sự chậm trễ khi khởi chạy phiên bản v3.

Cuộc bình chọn:

Cộng đồng cần bỏ phiếu về việc có nên thực hiện cuộc đánh giá hay không và cách thức thanh toán. Cuộc bỏ phiếu đầu tiên sẽ quyết định xem có nên thực hiện đánh giá hay không. Nếu cộng đồng bỏ phiếu cho một cuộc đánh giá diễn ra, một cuộc bỏ phiếu khác sẽ diễn ra để xác định cách thức thanh toán. 

Hai tùy chọn bỏ phiếu như sau:

  1. KHÔNG KIỂM TOÁN
    Bạn có muốn Axion v3 để khởi chạy mà không cần kiểm tra sau khi nhóm tự tin vào việc triển khai. Thời gian ra mắt sẽ là khoảng 3 tuần.

  2. CÓ KIỂM TOÁN
    Bạn muốn tiếp tục khởi chạy v3 cho đến khi quá trình kiểm tra diễn ra. Bạn sẽ sẵn sàng tham gia vào một cuộc bỏ phiếu DAO tiếp theo để xác định cách thức thanh toán cuộc kiểm toán. Thời gian khởi động là từ quý 4 năm 2021 đến quý 2 năm 2022 tùy thuộc vào phương thức tài trợ.

 

Đặt phiếu bầu của bạn ở đây:

 Bỏ phiếu hiện đã hoàn tất