Inteligentne kontrakty Clarity dla Stacks

Napiszę bezpieczne inteligentne kontrakty w Clarity dla ekosystemu Stacks (Bitcoin) — od pojedynczego kontraktu użyteczności po cały protokół. Clarity została wybrana dla Stacks celowo: język jest interpretowany, a nie kompilowany, rozstrzygalny i nie jest kompletny w sensie Turinga, więc nie ma nieskończonych pętli i nieoczekiwanych kosztów wykonania. Możesz dokładnie przeczytać, co kontrakt zrobi przed jego uruchomieniem, a każda zmiana stanu jest ostatecznie rejestrowana na Bitcoinie. Ta przewidywalność jest elementem bezpieczeństwa, a ja buduję rozwiązania wokół niej.

Co otrzymujesz: czysty, udokumentowany kod Clarity; tokeny SIP-010, NFT zgodne z SIP-009, skarbce, depozyty, vesting, głosowanie DAO lub niestandardowa logika biznesowa; explicite post-warunki i kontrola dostępu; staranne obsługiwanie każdego błędnego przypadku. Testuję za pomocą Clarinet, piszę testy jednostkowe i integracyjne, przeprowadzam wdrożenie na devnet i testnet przed uruchomieniem mainnet.

Dostawa obejmuje pliki kontraktów, zestaw testów, plany wdrożenia oraz krótki przegląd założeń zaufania i znanych ograniczeń. Mogę również przeglądać lub refaktoryzować istniejący kod Clarity i wskazywać ryzykowne miejsca. Opisz standard tokena, uczestników i przepływ funduszy — a ja przekształcę to w weryfikowalny kontrakt, który możesz czytać linia po linii.