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

Budżet: 27000 UAH Termin: 14 dni

Dla takiego kontraktu orientacyjny koszt to od 65000 UAH i 10-14 dni roboczych, w tym wstępny audyt, raport według krytyczności oraz ponowna weryfikacja poprawek. Budżet 1111 UAH tutaj, niestety, nie odpowiada ryzyku mainnet - tani audyt w DeFi często kosztuje więcej już po pierwszym incydencie =/

Możemy wziąć nieformalną weryfikację, a normalny przegląd bezpieczeństwa - ograniczenia konta Anchor, kontrole sygnatariuszy i własności, nasiona PDA, przepływ uprawnień SPL Token, model escrow, overflow/rounding, resolver finalnej ceny, logikę claim/refund, scenariusze pause/emergency oraz eskalację uprawnień przez admin authority. Osobno chciałbym przyjrzeć się edge cases z pustymi lub niezrównoważonymi rundami, wieloma uczestnikami, zerowymi pulami, zaokrąglaniem wypłat i powtórnymi próbami claim.

Będzie trzeba dostarczyć repozytorium, opis oczekiwanej ekonomiki rund, wykaz ról/kluczy authority, instrukcję uruchamiania testów oraz pożądany format raportu. Zobaczcie, tutaj jest niuans - bez lokalnego uruchomienia testów i czytania kodu dokładna ocena może się nieco zmienić, ale porządek budżetu będzie dokładnie taki.

Pytania:
> czy istnieje już test suite dla Anchor, szczególnie na scenariusze refund/claim/emergency?
> czy resolver ceny jest scentralizowany, multisig, oracle czy własny mechanizm admina?

Podobne pod względem złożoności przypadki Ingello:
> https://business.ingello.com/vorfahr - złożona automatyzacja z logiką finansową i operacyjną, gdzie ważna jest niezawodność scenariuszy
> https://business.ingello.com/fractal - architektura agentowa i złożone procesy, przydatne jako przykład systemowego podejścia do weryfikacji logiki
> https://systems-fl.ingello.com/ua Rozwiń

Budżet: 20000 UAH Termin: 7 dni

Cześć! Przeprowadzę audyt i przygotuję dokument z klasyfikacją znalezionych luk oraz z wyjaśnieniem, jak je usunąć. Proponuję omówić to szczegółowo w wiadomości prywatnej, jestem również gotów od razu podać linki do gotowych projektów, które przeszły przez mój audyt lub były przeze mnie opracowane.

Budżet: 27000 UAH Termin: 3 dni

Witam, zrobimy profesjonalny audyt z podpisem od firmy. Piszcie na prywatne wiadomości w sprawie ceny, około 1200$.

Budżet: 5000 UAH Termin: 3 dni

Już robiłem wiele audytów, przykład mogę wysłać w wiadomościach prywatnych, jeśli jesteście zainteresowani jakościowym audytem z weryfikacją naprawy błędów - piszcie.

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ń