Audyt bezpieczeństwa smart kontraktu na Solanie (Rust/Anchor) — platforma zakładów na cenę tokena

Budżet: 4000 UAH Termin: 1 dzień

Dzień dobry! Pracuję z Solana od ponad dwóch lat. Opracowywałem i testowałem programy w Rust + Anchor, w tym PDA, CPI, SPL Token, mechaniki escrow, systemy dystrybucji funduszy, staking oraz logikę DeFi. Analizowałem również kontrakty pod kątem błędów w weryfikacji kont, authority, PDA, przepełnienia całkowitego, logicznych edge cases oraz innych typowych problemów Solana. Dla kontraktu o takim zakresie orientacyjnie potrzebne będzie 4–7 dni roboczych. Koszt zależy od faktycznego rozmiaru kodu i złożoności logiki, ale orientacyjnie to $1000–2000 wraz z ponowną weryfikacją po wprowadzeniu poprawek. Raport przygotowuję w formie dokumentu z opisem każdego znalezionego problemu: poziom krytyczności (Critical / High / Medium / Low), opis ryzyka, scenariusz eksploatacji, rekomendacje dotyczące poprawek oraz, w razie potrzeby, przykłady kodu. Po poprawkach przeprowadzam ponowny audyt i dodaję status do każdej znalezionej kwestii (Fixed / Partially Fixed / Unresolved).

Budżet: 27000 UAH Termin: 8 dni

mamy już praktycznie gotowy format takiego audytu, można go szybko dostosować do waszego repozytorium i uruchomić teraz, jestem tutaj na giełdzie))
Pracujemy z Solana w Rust, Anchor, SPL Token, PDA escrow, signer oraz weryfikacjami ownership, modelem authority i logiką wypłat.
orientacyjny koszt - 48 000 UAH, termin - 8 dni roboczych dla jednego kompaktowego kontraktu, razem z ponowną weryfikacją poprawek.
format - praktyczny raport z kategoriami Critical, High, Medium, Low, dowodem ryzyka, rekomendacją, plikiem lub instrukcją, gdzie problem został znaleziony.
patrzymy nie tylko na typowe podatności Anchor, ale także na ekonomię rund, zaokrąglenia, przypadki brzegowe z wieloma uczestnikami, nadużycia pause, refund i resolver.
do rozpoczęcia potrzebujemy repozytorium, opis zasad biznesowych rund, testnet lub lokalny scenariusz, listę kluczy admin authority i pożądany format raportu.
proszę o wyjaśnienie, jaki jest rozmiar repozytorium - liczba instrukcji Anchor i czy są testy lub lokalny scenariusz validatora.
czy resolver cen jest scentralizowanym admin authority, oracle czy zewnętrznym backendem.
bliski pod względem złożoności logiki przykład - https://business.ingello.com/svitbus - płatności, role, zwroty, panel finansowy.
jeszcze jeden odpowiedni przykład - https://business.ingello.com/platforma - złożona logika korporacyjna, role, procesy. nasz profil dla FLH - https://systems-fl.ingello.com/ua Rozwiń