Revizija pametnih ugovora
Ručni pregled Solidity i Rust koda uz statičku i dinamičku analizu. Svaki nalaz dolazi s reprodukcijom i preporukom ispravka, razvrstan prema stvarnom utjecaju.
Sigurnost za pametne ugovore i decentraliziranu infrastrukturu.
Wazqerino provodi revizije koda, modeliranje prijetnji i odgovor na incidente za timove koji grade na blockchainu. Propuste pronalazimo prije nego dođu u produkciju.
Tko smo
Sigurnost nije dodatak na kraju razvoja.
Timovi koji grade decentralizirane aplikacije rijetko imaju inženjera sigurnosti za stalno. Mi popunjavamo tu prazninu za vrijeme koje je zaista potrebno — prije puštanja u rad, tijekom većih izmjena koda i onda kada nešto pođe po zlu.
Radimo u Solidityju i Rustu, na mrežama kompatibilnima s EVM-om i na Solani. Svaki nalaz dolazi s koracima za reprodukciju i konkretnom preporukom ispravka, a ne samo s oznakom ozbiljnosti.
- 01Ručni pregled — automatizirani alati pronalaze obrasce, ljudi pronalaze logiku.
- 02Jasan izvještaj — dovoljno razumljiv da ga pročita i uprava, dovoljno precizan za inženjere.
- 03Ponovna provjera — pratimo ispravke do zatvaranja svakog nalaza.
Što radimo
Četiri područja u kojima smanjujemo rizik.
Zaštita infrastrukture
Pregled čvorova, upravljanja ključevima i pristupnih prava. Učvršćujemo postavu prije nego što postane meta i uklanjamo tihe propuste u konfiguraciji.
Modeliranje prijetnji
Mapiramo napadačke površine protokola — mostove, orakle i aplikacijski sloj — te rangiramo rizike prema vjerojatnosti i posljedicama, bez pretpostavki.
Odgovor na incidente
Dežurni tim koji u roku od sat vremena preuzima koordinaciju kada se dogodi incident. Pomažemo zaustaviti štetu i rekonstruirati tijek događaja.
Odabrani angažmani
Primjeri rada iz prakse.
Opis angažmana objavljujemo uz suglasnost klijenta. Imena protokola i brojke prilagođeni su za javni prikaz.
Revizija · DeFi protokol
Protokol za posudbu na EVM mreži
Pregled dvanaest modula pametnih ugovora prije druge faze puštanja u rad. Pronađena greška u logici kamata koju su dva prethodna pregleda propustila.
12modula
9dana ciklusa
3kritična nalaza
Infrastruktura · Most
Most između dviju mreža
Modeliranje prijetnji i pregled upravljanja ključevima za most koji dnevno obrađuje milijune eura vrijednosti. Preslagana ovlaštenja i postavljeno upozoravanje.
21scenarij napada
4tjedna rada
0propusta nakon
Sustav je siguran onoliko koliko je provjeren njegov najslabiji ugovor — ne onoliko koliko piše u dokumentaciji.
Načelo rada — Wazqerino
Kako radimo
Četiri koraka, bez čekanja na kraj.
01
Opseg i dogovor
U prvom razgovoru definiramo granice sustava, rokove i kriterije prihvaćanja. Potpisujemo ugovor o povjerljivosti prije pristupa kodu.
02
Analiza i revizija
Kombiniramo ručni pregled s automatiziranim alatima. Nalaze javljamo čim ih potvrdimo, ne čekamo zatvaranje cijelog izvještaja.
03
Izvještaj i ispravci
Dobivate strukturiran izvještaj s prioritetima. Pratimo ispravke i savjetujemo tim dok se svaki nalaz ne zatvori.
04
Ponovna provjera
Nakon ispravaka radimo kontrolni prolaz kako bismo potvrdili da su rupe doista zatvorene i da nije uveden novi rizik.
40+Dovršenih revizija koda
11 danaProsječni ciklus manje revizije
6Podržanih mreža
< 1 hDo preuzimanja incidenta
Tko vodi posao
Mali tim koji sam provodi reviziju.
Ne prosljeđujemo posao podizvođačima. Ljudi koje upoznate na prvom razgovoru rade na vašem kodu.
MK
Marko Kovačević
Voditelj revizije
Osam godina na pregledu pametnih ugovora. Vodi metodologiju revizije i kontrolu kvalitete izvještaja.
IN
Ivana Novak
Inženjerka sigurnosti
Specijalizirana za modeliranje prijetnji i sigurnost infrastrukture. Dizajnira scenarije napada na mostove i orakle.
LH
Luka Horvat
Odgovor na incidente
Koordinira dežurstvo i reagiranje na incidente. Rekonstruira tijek događaja i savjetuje tim pod pritiskom.
Česta pitanja
Što timovi najčešće pitaju prije angažmana.
Koje jezike i mreže pokrivate?
Radimo pretežno u Solidityju i Rustu, na mrežama kompatibilnima s EVM-om te na Solani. Ako koristite drugu platformu, javite nam prije dogovora i procijenit ćemo opseg prije nego potvrdimo rok.
Koliko traje tipična revizija?
Manji ugovor pregledamo u pet do sedam radnih dana. Složeniji protokoli s više modula traju tri do četiri tjedna, ovisno o veličini baze koda i kvaliteti dokumentacije.
Što dobivam na kraju angažmana?
Strukturiran izvještaj s popisom nalaza, razinom ozbiljnosti, koracima za reprodukciju i preporučenim ispravcima. Nakon što tim unese ispravke, radimo ponovnu provjeru bez dodatne naknade unutar dogovorenog opsega.
Kako se vaš angažman uspoređuje s internim timom?
Stalni inženjer sigurnosti ima smisla kod velikog, neprekidnog opsega posla. Za povremene revizije i puštanja u rad vanjski tim plaćate samo kada ga trebate, bez troška zapošljavanja i obuke. Za mnoge timove to je mirniji način upravljanja rizikom.
Jeste li registrirani za rad u Hrvatskoj?
Da. Wazqerino d.o.o. registriran je u Zagrebu i posluje u skladu s hrvatskim propisima te Općom uredbom o zaštiti podataka (Uredba (EU) 2016/679). Račune izdajemo s hrvatskim OIB-om.
Potpisujete li ugovor o povjerljivosti?
Da, prije svakog angažmana. Pristup kodu i podacima ograničen je na članove tima koji rade na vašem projektu, a nakon isporuke podatke brišemo prema dogovorenom rasporedu.
Razgovor
Opišite svoj sustav. Vratit ćemo se s planom.
Pošaljite kratak opis protokola i rok koji imate na umu. Javljamo se unutar jednog radnog dana s procjenom opsega i sljedećim koracima.