Pengembangan smart contract, diperiksa sebelum kode

Apa yang dibandingkan oleh pemeriksaan kontrak pertama?

1 pemeriksaan pra-pembuatan membandingkan aturan yang Anda kirim dengan perilaku yang perlu ditegakkan kontrak. Kami mengidentifikasi keputusan yang hilang sebelum implementasi, lalu menyepakati pekerjaan mana yang termasuk on-chain.

Tabel memisahkan 4 area kerja yang dapat berada dalam satu proyek. Aturan Anda menentukan mana yang berlaku. Satu kontrak dapat melayani satu fungsi. Kontrak yang terhubung membutuhkan lebih banyak keputusan antarmuka.

Untuk setiap tindakan, kami mencatat siapa yang memulainya, kondisi apa yang berlaku, dan perubahan apa yang terjadi. Kami juga mencatat tindakan yang ditolak dan hasil yang diharapkan pengguna. Ini memberi tim Anda tinjauan konkret sebelum kode mengubah asumsi menjadi perilaku kontrak.

Jika token adalah bagian dari desain, hubungkan pekerjaan ini dengan pembuatan dan deployment token untuk memastikan jasa smart contract Anda berjalan dengan smart dan efisien.

7 input yang menjaga keputusan kontrak tetap terlihat

7 input memberi kami titik awal yang praktis untuk spesifikasi kontrak. Kirim apa yang Anda miliki; tandai item yang belum terjawab alih-alih memperlakukan tebakan sebagai aturan yang disetujui.

• Tujuan produk: pekerjaan yang harus dilakukan kontrak.
• Alur pengguna: tindakan dari masuk hingga selesai.
• Peran: pengguna, administrator, dan setiap izin yang mereka butuhkan.
• Aturan bisnis: kondisi, waktu, dan kasus luar biasa.
• Preferensi jaringan: jaringan target, jika sudah dipilih.
• Antarmuka: kontrak yang ada dan persyaratan aplikasi.
• Kebutuhan tinjauan: persyaratan operasional, hukum, atau audit yang diketahui.

Untuk vesting, sertakan:

• Sumber alokasi, penerima manfaat, dan kondisi mulai.
• Pola rilis dan proses klaim.
• Apakah seseorang dapat mengubah jadwal, dan siapa yang dapat mengotorisasi tindakan itu.

Untuk staking, tuliskan:

• Langkah deposit dan penarikan.
• Input hadiah dan aturan klaim.
• Perilaku jeda.

Kami menandai dependensi dan keputusan terbuka dalam tinjauan. Kemudian kami meminta tim Anda menyetujui kriteria penerimaan. Persetujuan itu memberi implementasi referensi yang jelas.

Jika pekerjaan Anda melampaui kode kontrak, pengembangan Web3 dapat mencakup produk yang lebih luas. Pengembangan dApp menangani lapisan aplikasi.

3 jendela pembuatan, dari aturan hingga rilis

3 jendela kerja menjaga keputusan produk, kode, dan persiapan rilis tetap terpisah. Kalender yang tepat mengikuti perilaku kontrak yang disepakati, integrasi, dan kebutuhan tinjauan.

1. Jendela aturan: kami memetakan peran, tindakan, kondisi, dan kasus tepi. Tim Anda menyelesaikan keputusan yang memengaruhi perilaku kontrak.
2. Jendela spesifikasi: kami mencatat perilaku yang disetujui dan kriteria penerimaan. Anda meninjau dokumen sebelum implementasi dimulai.
3. Jendela pembuatan: kami mengimplementasikan logika kontrak yang disepakati. Kami menjaga kode tetap selaras dengan spesifikasi yang ditinjau.
4. Jendela pengujian: kami memeriksa jalur yang diharapkan, izin, input tidak valid, dan kasus tepi yang ditentukan. Temuan dan pilihan produk yang belum terselesaikan dicatat untuk ditinjau.
5. Jendela rilis: kami menyiapkan catatan konfigurasi dan detail serah terima. Jika tinjauan independen disertakan, kami mengoordinasikan materi dan pertanyaannya.

Setiap jendela diakhiri dengan artefak atau keputusan yang dapat ditinjau, bukan persetujuan yang diasumsikan. Anda dapat melihat apa yang sudah siap dan apa yang masih membutuhkan tanggapan. Untuk produk yang terhubung, konfirmasikan tim mana yang memiliki integrasi aplikasi. Juga konfirmasikan antarmuka kontrak mana yang akan digunakan.

Apa yang dapat diberitahukan oleh pengujian dan audit kontrak kepada Anda?

Pengujian menunjukkan apakah kontrak mengikuti perilaku yang disepakati dalam spesifikasinya. Audit independen adalah tinjauan terpisah, dengan penilaian dan temuannya sendiri.

Kami menghubungkan setiap perilaku inti dengan pemeriksaan spesifik:

• Tindakan pengguna.
• Izin.
• Input tidak valid.
• Interaksi antara bagian kontrak yang termasuk dalam rencana.

Kami merangkum eksekusi pengujian dan mencatat item terbuka dalam bahasa yang jelas. Itu membantu tim Anda membedakan masalah kode dari aturan produk yang masih membutuhkan keputusan.

Untuk tinjauan eksternal, siapkan versi sumber yang tepat, deskripsi alur kontrak singkat, asumsi yang diketahui, dependensi, dan instruksi pengujian. Kami dapat mengatur materi tersebut, melacak pertanyaan peninjau, dan membantu tim memverifikasi perbaikan yang disepakati. Pengujian pengembangan dan koordinasi audit terpisah dari pekerjaan peninjau itu sendiri.

Satu kali uji coba tidak dapat menentukan bagaimana kontrak yang di-deploy akan berperilaku dalam setiap kondisi jaringan. Penyedia audit yang dipilih mengendalikan temuannya. Perilaku wallet dan integrasi pihak ketiga juga berada di luar kode kontrak yang kami buat. Jaga batasan tersebut dalam keputusan rilis, bersama dengan spesifikasi, catatan pengujian, dan temuan tinjauan.

3 catatan untuk dibawa dari pembuatan ke rilis

3 catatan memberikan tim Anda serah terima yang dapat digunakan: aturan yang disetujui, bukti pengujian, dan catatan deployment. Kami menyepakati isinya sebelum pekerjaan dimulai, sehingga tim Anda tahu apa yang diharapkan.

• Catatan audit: kami menjaga pekerjaan audit tetap terpisah. Jika audit eksternal adalah bagian dari rencana, penyedianya memiliki penilaiannya sendiri; kami mengoordinasikan materi dan tanggapan.
• Token atau aplikasi: selaraskan keputusan antarmuka dengan pembuatan dan deployment token atau pengembangan dApp.
• Situs web: situs Web3 dapat direncanakan sebagai komponen produk terpisah.

Di DigitalMedia1, kami memeriksa aturan dan antarmuka sebelum implementasi. Kemudian kami mengaitkan pengujian kembali ke perilaku yang disetujui tersebut. Kirimkan brief produk, jaringan pilihan, dan materi kontrak yang ada. Kami akan meninjaunya dan mengirimkan penawaran tertulis dalam 2 hari kerja.

Cara kerja

1. 1 — Kirim aturan produkJendela: sebelum spesifikasi. Kirim alur pengguna, peran, preferensi jaringan, kode yang ada, dan kebutuhan tinjauan yang diketahui.
2. 2 — Tinjau batasan kontrakJendela: tinjauan rencana. Kami mengidentifikasi dependensi, keputusan terbuka, dan perilaku yang perlu disetujui.
3. 3 — Setujui spesifikasiJendela: sebelum implementasi. Tim Anda memeriksa peran, alur, kasus tepi, dan kriteria penerimaan.
4. 4 — Bangun dan ujiJendela: implementasi dan pengujian. Kami membangun logika yang disepakati dan mencatat pemeriksaan terhadap perilaku yang ditentukan.
5. 5 — Siapkan serah terimaJendela: persiapan rilis. Kami menyediakan catatan deployment dan mengoordinasikan pekerjaan audit eksternal yang disertakan.