Akıllı sözleşme geliştirme, koddan önce kontrol edilir

İlk sözleşme kontrolü neyi karşılaştırır?

1 ön geliştirme kontrolü, gönderdiğiniz kuralları sözleşmenin uygulaması gereken davranışla karşılaştırır. Uygulamadan önce eksik kararları belirler, ardından hangi işin zincir üstüne ait olduğu konusunda anlaşırız.

Tablo, tek bir projede yer alabilecek 4 çalışma alanını ayırır. Hangi alanların geçerli olduğuna kurallarınız karar verir. Tek bir sözleşme tek bir işleve hizmet edebilir. Bağlantılı sözleşmeler daha fazla arayüz kararı gerektirir.

Her eylem için, onu kimin başlattığını, hangi koşulların geçerli olduğunu ve neyin değiştiğini kaydederiz. Ayrıca reddedilen eylemleri ve beklenen kullanıcı sonuçlarını da not ederiz. Bu, kod varsayımları sözleşme davranışına dönüştürmeden önce ekibinize somut bir inceleme sağlar.

Tasarımın bir parçası bir token varsa, bu çalışmayı token oluşturma ve dağıtım ile bağlayın.

Sözleşme kararlarını görünür kılan 7 girdi

7 girdi bize sözleşme spesifikasyonu için pratik bir başlangıç noktası sağlar. Elinizde olanı gönderin; cevaplanmamış maddeleri, onaylanmış kural olarak ele almak yerine işaretleyin.

• Ürün amacı: sözleşmenin yerine getirmesi gereken iş.
• Kullanıcı akışları: girişten tamamlamaya kadar olan eylemler.
• Roller: kullanıcılar, yöneticiler ve ihtiyaç duydukları her izin.
• İş kuralları: koşullar, zamanlama ve istisnai durumlar.
• Ağ tercihi: seçilmişse hedef ağ.
• Arayüzler: mevcut sözleşmeler ve uygulama gereksinimleri.
• İnceleme ihtiyaçları: bilinen operasyonel, yasal veya audit gereksinimleri.

Vesting için şunları ekleyin:

• Tahsisat kaynağı, yararlanıcı ve başlangıç koşulu.
• Serbest bırakma deseni ve talep süreci.
• Birinin takvimi değiştirip değiştiremeyeceği ve bu eylemi kimin yetkilendirebileceği.

Staking için şunları yazın:

• Yatırma ve çekme adımları.
• Ödül girdileri ve talep kuralları.
• Duraklatma davranışı.

İncelemede bağımlılıkları ve açık kararları işaretleriz. Ardından ekibinizden kabul kriterlerini onaylamasını isteriz. Bu onay, uygulamaya net bir referans verir.

Çalışmanız sözleşme kodunun ötesine geçiyorsa, Web3 geliştirme daha geniş ürünü kapsayabilir. dApp geliştirme uygulama katmanını ele alır.

Kurallardan yayına 3 geliştirme penceresi

3 çalışma penceresi, ürün kararlarını, kodu ve yayın hazırlığını ayrı tutar. Kesin takvim, üzerinde anlaşılan sözleşme davranışlarına, entegrasyonlara ve inceleme ihtiyaçlarına bağlıdır.

1. Kurallar penceresi: rolleri, eylemleri, koşulları ve uç durumları haritalarız. Ekibiniz sözleşme davranışını etkileyen kararları çözer.
2. Spesifikasyon penceresi: onaylanan davranışları ve kabul kriterlerini kaydederiz. Uygulama başlamadan önce belgeyi incelersiniz.
3. Geliştirme penceresi: üzerinde anlaşılan sözleşme mantığını uygularız. Kodu, incelenen spesifikasyonla uyumlu tutarız.
4. Test penceresi: beklenen yolları, izinleri, geçersiz girdileri ve belirtilen uç durumları kontrol ederiz. Bulgular ve çözülmemiş ürün seçimleri inceleme için kaydedilir.
5. Yayın penceresi: yapılandırma notları ve teslim detaylarını hazırlarız. Bağımsız bir inceleme dahil edilmişse, malzemelerini ve sorularını koordine ederiz.

Her pencere, varsayılan bir onay değil, incelenebilir bir yapıt veya kararla biter. Neyin hazır olduğunu ve neyin hala yanıt beklediğini görebilirsiniz. Bağlantılı bir ürün için, uygulama entegrasyonunun hangi ekibe ait olduğunu onaylayın. Ayrıca hangi sözleşme arayüzlerini kullanacağını da onaylayın.

Sözleşme testleri ve auditleri size ne söyleyebilir?

Testler, sözleşmenin spesifikasyonunda üzerinde anlaşılan davranışları izleyip izlemediğini gösterir. Bağımsız bir audit, kendi değerlendirmesi ve bulgularıyla ayrı bir incelemedir.

Her temel davranışı belirli kontrollere bağlarız:

• Kullanıcı eylemleri.
• İzinler.
• Geçersiz girdiler.
• Plan dahilindeki sözleşme parçaları arasındaki etkileşimler.

Test yürütmesini özetler ve açık maddeleri sade dille kaydederiz. Bu, ekibinizin bir kod sorununu, hala karar verilmesi gereken bir ürün kuralından ayırt etmesine yardımcı olur.

Harici bir inceleme için, tam kaynak sürümünü, kısa bir sözleşme akışı açıklamasını, bilinen varsayımları, bağımlılıkları ve test talimatlarını hazırlayın. Bu malzemeleri düzenleyebilir, inceleyici sorularını takip edebilir ve ekibin üzerinde anlaşılan düzeltmeleri doğrulamasına yardımcı olabiliriz. Geliştirme testleri ve audit koordinasyonu, inceleyicinin kendi çalışmasından ayrıdır.

Bir test koşumu, dağıtılmış bir sözleşmenin her ağ koşulu altında nasıl davranacağını belirleyemez. Seçilen audit sağlayıcısı kendi bulgularını kontrol eder. Cüzdan davranışı ve üçüncü taraf entegrasyonları da inşa ettiğimiz sözleşme kodunun dışındadır. Yayın kararında, spesifikasyon, test kaydı ve inceleme bulgularıyla birlikte bu sınırları göz önünde bulundurun.

Geliştirmeden yayına taşınacak 3 kayıt

3 kayıt, ekibinize kullanışlı bir teslim sağlar: onaylanan kurallar, test kanıtları ve dağıtım notları. Çalışma başlamadan önce içeriklerini kararlaştırırız, böylece ekibiniz ne bekleyeceğini bilir.

| Ne alırsınız | Ne zaman | Nasıl kaydederiz | |---|---| | Sözleşme spesifikasyonu ve kaynak kodu | Onay ve uygulamadan sonra | Kurallar, üzerinde anlaşılan davranışlara bağlanır | | Test özeti ve açık maddeler | Yayından önce inceleme sırasında | Yapılan kontroller ve kaydedilen bulgular | | Dağıtım notları ve teslim | Yayın hazırlığı | Yapılandırma ve sahiplik detayları |

• Audit kaydı: audit çalışmasını ayrı tutarız. Harici bir audit planın parçasıysa, değerlendirme sağlayıcıya aittir; malzemeleri ve yanıtları koordine ederiz.
• Token veya uygulama: arayüz kararlarını token oluşturma ve dağıtım veya dApp geliştirme ile uyumlayın.
• Web sitesi: ayrı bir ürün bileşeni olarak bir Web3 web sitesi planlanabilir.

DigitalMedia1'da, uygulamadan önce kuralları ve arayüzleri kontrol ederiz. Ardından testleri bu onaylanan davranışlara bağlarız. Bize ürün özetinizi, tercih ettiğiniz ağı ve mevcut sözleşme malzemelerinizi gönderin. Bunları inceleyip 2 iş günü içinde yazılı bir teklif göndeririz.

Nasıl çalışır

1. 1 — Ürün kurallarını gönderinSüreç: spesifikasyondan önce. Kullanıcı akışlarını, rolleri, ağ tercihini, mevcut kodu ve bilinen inceleme ihtiyaçlarını gönderin.
2. 2 — Sözleşme sınırlarını inceleyinSüreç: plan incelemesi. Bağımlılıkları, açık kararları ve onay gerektiren davranışları belirleriz.
3. 3 — Spesifikasyonu onaylayınSüreç: uygulamadan önce. Ekibiniz rolleri, akışları, uç durumları ve kabul kriterlerini kontrol eder.
4. 4 — Geliştirin ve test edinSüreç: uygulama ve test. Üzerinde anlaşılan mantığı inşa ederiz ve belirtilen davranışa karşı kontrolleri kaydederiz.
5. 5 — Teslimi hazırlayınSüreç: yayın hazırlığı. Dağıtım notlarını sağlarız ve dahil edilen herhangi bir harici audit çalışmasını koordine ederiz.