Phát triển smart contract, kiểm tra trước khi viết code

Lần kiểm tra hợp đồng đầu tiên so sánh những gì?

1 lần kiểm tra trước khi xây dựng so sánh các quy tắc bạn gửi với hành vi bạn cần smart contract thực thi. Chúng tôi xác định các quyết định còn thiếu trước khi triển khai, sau đó thống nhất công việc nào thuộc về on-chain.

Bảng phân tách 4 lĩnh vực công việc có thể nằm trong một dự án. Quy tắc của bạn quyết định lĩnh vực nào được áp dụng. Một smart contract có thể phục vụ một chức năng. Các hợp đồng kết nối cần nhiều quyết định giao diện hơn.

Đối với mỗi hành động, chúng tôi ghi lại ai bắt đầu nó, điều kiện nào áp dụng và những thay đổi gì. Chúng tôi cũng ghi chú các hành động bị từ chối và kết quả người dùng mong đợi. Điều này cung cấp cho nhóm của bạn một đánh giá cụ thể trước khi code biến các giả định thành hành vi hợp đồng.

Nếu token là một phần của thiết kế, hãy kết nối công việc này với tạo và triển khai token.

7 đầu vào giúp các quyết định hợp đồng luôn rõ ràng

7 đầu vào cung cấp cho chúng tôi một điểm khởi đầu thực tế cho đặc tả hợp đồng. Gửi những gì bạn có; đánh dấu các mục chưa trả lời thay vì coi các phỏng đoán là quy tắc đã được phê duyệt.

• Mục đích sản phẩm: công việc hợp đồng phải thực hiện.
• Luồng người dùng: các hành động từ khi bắt đầu đến khi hoàn thành.
• Vai trò: người dùng, quản trị viên và từng quyền họ cần.
• Quy tắc kinh doanh: điều kiện, thời gian và các trường hợp ngoại lệ.
• Ưu tiên mạng: mạng mục tiêu, nếu đã chọn.
• Giao diện: hợp đồng hiện có và yêu cầu ứng dụng.
• Nhu cầu xem xét: yêu cầu vận hành, pháp lý hoặc audit đã biết.

Đối với vesting, bao gồm:

• Nguồn phân bổ, người thụ hưởng và điều kiện bắt đầu.
• Mô hình giải phóng và quy trình yêu cầu.
• Liệu có ai có thể thay đổi lịch trình hay không và ai có thể ủy quyền hành động đó.

Đối với staking, ghi lại:

• Các bước nạp và rút.
• Đầu vào phần thưởng và quy tắc yêu cầu.
• Hành vi tạm dừng.

Chúng tôi gắn cờ các phụ thuộc và quyết định còn mở trong quá trình xem xét. Sau đó, chúng tôi yêu cầu nhóm của bạn phê duyệt các tiêu chí chấp nhận. Sự phê duyệt đó cung cấp một tham chiếu rõ ràng cho việc triển khai.

Nếu công việc của bạn mở rộng ra ngoài code hợp đồng, Phát triển Web3 có thể bao phủ sản phẩm rộng hơn. Phát triển dApp giải quyết lớp ứng dụng.

3 khung thời gian xây dựng, từ quy tắc đến phát hành

3 khung thời gian công việc giữ cho các quyết định sản phẩm, code và chuẩn bị phát hành riêng biệt. Lịch trình chính xác phụ thuộc vào các hành vi hợp đồng đã thống nhất, tích hợp và nhu cầu xem xét.

1. Khung thời gian quy tắc: chúng tôi lập bản đồ vai trò, hành động, điều kiện và các trường hợp biên. Nhóm của bạn giải quyết các quyết định ảnh hưởng đến hành vi hợp đồng.
2. Khung thời gian đặc tả: chúng tôi ghi lại các hành vi đã phê duyệt và tiêu chí chấp nhận. Bạn xem xét tài liệu trước khi triển khai bắt đầu.
3. Khung thời gian xây dựng: chúng tôi triển khai logic hợp đồng đã thống nhất. Chúng tôi giữ code phù hợp với đặc tả đã xem xét.
4. Khung thời gian kiểm thử: chúng tôi kiểm tra các đường dẫn mong đợi, quyền, đầu vào không hợp lệ và các trường hợp biên đã chỉ định. Kết quả và các lựa chọn sản phẩm chưa giải quyết được ghi lại để xem xét.
5. Khung thời gian phát hành: chúng tôi chuẩn bị ghi chú cấu hình và chi tiết bàn giao. Nếu có bao gồm đánh giá độc lập, chúng tôi phối hợp tài liệu và câu hỏi của nó.

Mỗi khung thời gian kết thúc bằng một tạo phẩm hoặc quyết định có thể xem xét, không phải là sự phê duyệt giả định. Bạn có thể thấy những gì đã sẵn sàng và những gì vẫn cần phản hồi. Đối với một sản phẩm kết nối, hãy xác nhận nhóm nào sở hữu tích hợp ứng dụng. Cũng xác nhận giao diện hợp đồng nào nó sẽ sử dụng.

Kiểm thử hợp đồng và audit có thể cho bạn biết điều gì?

Kiểm thử cho thấy liệu hợp đồng có tuân theo các hành vi đã thống nhất trong đặc tả của nó hay không. Một audit độc lập là một đánh giá riêng biệt, với đánh giá và kết quả riêng của nó.

Chúng tôi liên kết từng hành vi cốt lõi với các kiểm tra cụ thể:

• Hành động của người dùng.
• Quyền.
• Đầu vào không hợp lệ.
• Tương tác giữa các phần hợp đồng có trong kế hoạch.

Chúng tôi tóm tắt việc thực thi kiểm thử và ghi lại các mục còn mở bằng ngôn ngữ đơn giản. Điều đó giúp nhóm của bạn phân biệt vấn đề code với quy tắc sản phẩm vẫn cần quyết định.

Đối với đánh giá bên ngoài, hãy chuẩn bị phiên bản nguồn chính xác, mô tả luồng hợp đồng ngắn gọn, các giả định đã biết, phụ thuộc và hướng dẫn kiểm thử. Chúng tôi có thể tổ chức các tài liệu đó, theo dõi câu hỏi của người đánh giá và giúp nhóm xác minh các bản sửa lỗi đã thống nhất. Kiểm thử phát triển và phối hợp audit tách biệt khỏi công việc riêng của người đánh giá.

Một lần chạy kiểm thử không thể xác định cách một hợp đồng đã triển khai sẽ hoạt động trong mọi điều kiện mạng. Nhà cung cấp audit được chọn kiểm soát các kết quả của nó. Hành vi wallet và tích hợp bên thứ ba cũng nằm ngoài code hợp đồng chúng tôi xây dựng. Giữ các ranh giới đó trong quyết định phát hành, cùng với đặc tả, hồ sơ kiểm thử và kết quả xem xét.

3 hồ sơ để mang từ xây dựng sang phát hành

3 hồ sơ cung cấp cho nhóm của bạn một bàn giao có thể sử dụng: các quy tắc đã phê duyệt, bằng chứng kiểm thử và ghi chú triển khai. Chúng tôi thống nhất nội dung của chúng trước khi công việc bắt đầu, để nhóm của bạn biết những gì mong đợi.

• Hồ sơ audit: chúng tôi giữ công việc audit riêng biệt. Nếu audit bên ngoài là một phần của kế hoạch, nhà cung cấp của nó sở hữu đánh giá của nó; chúng tôi phối hợp tài liệu và phản hồi.
• Token hoặc ứng dụng: căn chỉnh các quyết định giao diện với tạo và triển khai token hoặc phát triển dApp.
• Website: một Web3 website có thể được lên kế hoạch như một thành phần sản phẩm riêng biệt.

Tại DigitalMedia1, chúng tôi kiểm tra các quy tắc và giao diện trước khi triển khai. Sau đó, chúng tôi gắn kết kiểm thử với các hành vi đã phê duyệt đó. Gửi cho chúng tôi brief sản phẩm, mạng ưu tiên và tài liệu hợp đồng hiện có. Chúng tôi sẽ xem xét chúng và gửi báo giá bằng văn bản trong vòng 2 ngày làm việc.

Cách hoạt động

1. 1 — Gửi quy tắc sản phẩmKhung thời gian: trước khi đặc tả. Gửi luồng người dùng, vai trò, ưu tiên mạng, code hiện có và nhu cầu xem xét đã biết.
2. 2 — Xem xét ranh giới hợp đồngKhung thời gian: xem xét kế hoạch. Chúng tôi xác định các phụ thuộc, quyết định còn mở và các hành vi cần phê duyệt.
3. 3 — Phê duyệt đặc tảKhung thời gian: trước khi triển khai. Nhóm của bạn kiểm tra vai trò, luồng, trường hợp biên và tiêu chí chấp nhận.
4. 4 — Xây dựng và kiểm thửKhung thời gian: triển khai và kiểm thử. Chúng tôi xây dựng logic đã thống nhất và ghi lại các kiểm tra đối với hành vi đã chỉ định.
5. 5 — Chuẩn bị bàn giaoKhung thời gian: chuẩn bị phát hành. Chúng tôi cung cấp ghi chú triển khai và phối hợp bất kỳ công việc audit bên ngoài nào được bao gồm.