Luka Perković
Deset godina u sigurnosti sustava i kriptografiji. Vodi revizije ugovora kompatibilnih s EVM-om i modeliranje prijetnji.
O nama
Počeli smo kao mali tim kriptografa i inženjera koji su predugo gledali kako dobri protokoli padaju na propustima koje je netko mogao uočiti na vrijeme. Zervamuki postoji da taj netko bude na vašoj strani.
Kako smo nastali
Prve ugovore pregledavali smo iz znatiželje, za timove koje smo poznavali iz lokalne razvojne zajednice. Kad se isti obrazac grešaka počeo ponavljati iz projekta u projekt, shvatili smo da problem nije nedostatak truda, nego nedostatak metode.
Danas radimo po postupku koji je isti za svaki angažman, od startupa s jednim ugovorom do protokola koji čuva vrijednost tisuća ljudi. Sjedište nam je u Zagrebu, a radimo s timovima diljem Europe.
Načela
Svaki nalaz dolazi sa scenarijem iskorištavanja i dokazom. Ne pišemo „ovo bi moglo biti rizično“ — pokažemo kako i kada puca.
Izvještaj koji nitko ne razumije nema vrijednost. Pišemo tako da razvojni tim točno zna gdje gledati i što napraviti.
Revizija nije kraj odnosa. Kada protokol krene uživo i nešto pođe po zlu, dežurni smo i radimo uz vas, a ne po e-mailu sljedeći tjedan.
Ne hvalimo se tuđim kodom. Identitete klijenata i nalaze objavljujemo isključivo uz pisano odobrenje, nikad radi marketinga.
Naš pristup
Prvo čitamo dokumentaciju, arhitekturu i pretpostavke protokola. Prije koda želimo razumjeti što sustav obećava korisniku i gdje bi to obećanje moglo pasti.
Mapiramo tko bi i kako mogao napasti sustav — od manipulacije cijenama do pogrešnog redoslijeda poziva. Rezultat je popis vektora koji usmjerava cijelu reviziju.
Ručni pregled redak po redak uz statičku i dinamičku analizu. Kritične stvari javljamo istog dana, ostalo ide u strukturiran izvještaj s razinama ozbiljnosti.
Nakon što ispravite nalaze, provjeravamo izmjene kako bismo potvrdili da je rješenje potpuno i da nije uveo nov rizik. Tek tada reviziju smatramo zatvorenom.
Tim
Ne zapošljavamo radi brojki. Svaki član vodio je barem jednu reviziju koja je zaustavila stvarni rizik prije lansiranja.
Deset godina u sigurnosti sustava i kriptografiji. Vodi revizije ugovora kompatibilnih s EVM-om i modeliranje prijetnji.
Specijalizirana za Rust i Solanu. Gradi alate za statičku analizu koje koristimo na svakom angažmanu.
Vodi on-chain forenziku i koordinaciju oporavka. Dežuran kada klijentima sustav krene po zlu.
Postavlja pravila za on-chain nadzor i upozorenja. Prati žive protokole i podešava granice detekcije.
Radi na lancima poput Suija i Aptosa. Povezuje teoriju jezika Move sa stvarnim obrascima napada.
Vodi radionice sigurnog programiranja i brine da znanje ostane u klijentovim timovima nakon angažmana.
Ne prodajemo mir. Prodajemo jasnu sliku rizika — i disciplinu da se s tim rizikom nešto napravi prije nego što bude kasno.
Opišite nam protokol i u kojoj je fazi. Predložit ćemo pristup koji odgovara vašem roku i proračunu.