Revizija pametnih ugovora
Ručni pregled i statička analiza Solidity i Rust koda. Svaki nalaz dolazi s dokazom iskoristivosti i konkretnom preporukom za ispravak.
Nezavisne sigurnosne revizije
Sigurnosne revizije pametnih ugovora i decentralizirane infrastrukture.
Vexanduli je zagrebačka agencija specijalizirana za sigurnost Web3 sustava. Pregledavamo kod, arhitekturu i operativne procese prije nego što ih vaši korisnici dotaknu.
1,4 mil.
pregledanih redaka koda od osnutka studija
340+
zatvorenih nalaza visoke i kritične ozbiljnosti
11 dana
prosječno trajanje revizije srednje složenog ugovora
9 mreža
okolina kompatibilnih s EVM-om i Solanom koje pokrivamo
Što radimo
Četiri načina na koja čuvamo vaš sustav.
Svaka usluga stoji sama za sebe, no najčešće ih spajamo u jedan kontinuirani odnos — od prve procjene arhitekture do nadzora nakon pokretanja.
Procjena otpornosti infrastrukture
Provjeravamo čvorove, API slojeve i ključnu infrastrukturu na stvarne scenarije napada, bez prekidanja rada mreže.
Pregled arhitekture i prijetnji
Modeliranje prijetnji prije pisanja ključnog koda. Mapiramo napadne površine i granice povjerenja na razini cijelog sustava.
Nadzor nakon isporuke
Kontinuirano praćenje aktivnosti na lancu i rana upozorenja na sumnjive obrasce transakcija u stvarnom vremenu.
Kako teče suradnja
Tri koraka od prvog razgovora do potvrde.
KORAK 01
Opseg i modeliranje
Zajedno definiramo granice sustava, kritične tokove vrijednosti i scenarije koje treba pokriti. Bez jasnog opsega nema smislene revizije.
KORAK 02
Dubinska analiza
Dva neovisna inženjera pregledavaju kod odvojeno, a potom uspoređujemo nalaze. Taj razmak smanjuje slijepe točke koje promakne jednom paru očiju.
KORAK 03
Izvještaj i ispravci
Dobivate strukturirani izvještaj razvrstan po ozbiljnosti, a mi pratimo svaki ispravak do ponovne provjere i završne potvrde statusa.
Sigurnost nije značajka koja se dodaje na kraju. To je način na koji sustav razmišlja o sebi — od prvog retka koda do posljednje transakcije.
Odabrani projekti
Dio sustava koje smo pregledali.
Imena klijenata navodimo samo uz njihovo dopuštenje. Ovdje je prikaz tipova angažmana i nalaza koje smo u njima zatvorili.
Protokol za pozajmljivanje
Revizija sloja likvidnosti
Pregled ugovora za likvidnost prije javnog pokretanja. Četrnaest nalaza, dva kritična, svi zatvoreni prije isporuke.
Sažetak angažmana
Prijenos između mreža
Logika zaključavanja sredstava
Pregled validatorskog sloja i procesa zaključavanja za infrastrukturu prijenosa vrijednosti između dvije mreže.
Sažetak angažmana
Platforma za potvrde
Prava pristupa i potpisivanje
Analiza prava pristupa i procesa potpisivanja za platformu digitalnih potvrda s velikim brojem izdavatelja.
Sažetak angažmanaOblici suradnje
Jasan opseg, jasna cijena.
Cijene su okvirne i polaze od složenosti vašeg sustava. Točan prijedlog dobivate nakon kratkog pregleda opsega.
Jednokratna revizija
od 4.900 €
Fiksni opseg i jasan rok. Za timove koji pripremaju jedno izdanje.
- Ručni pregled koda i statička analiza
- Izvještaj s dokazima iskoristivosti
- Jedna ponovna provjera nakon ispravaka
- Završna potvrda statusa
Kontinuirano partnerstvo
po dogovoru / mjesečno
Za timove koji često objavljuju. Stalni pristup inženjerima i brže reakcije.
- Prioritetni redoslijed pregleda
- Mjesečni pregledi novih izdanja
- Nadzor aktivnosti nakon isporuke
- Zajednički kanal za hitne upite
Procjena arhitekture
od 2.400 €
Za rane faze. Modeliranje prijetnji prije nego što je napisan ključni kod.
- Radionica s vašim timom
- Mapa napadnih površina sustava
- Preporuke za arhitekturu i procese
- Pisani sažetak s prioritetima
Riječ timova s kojima radimo
Mjerljive promjene, ne komplimenti.
„Skratili su nam put od nalaza do ispravka s tri tjedna na četiri dana. Izvještaj je bio dovoljno jasan da ga je razumio i naš neinženjerski odbor.”
„Pronašli su ranjivost u logici povlačenja sredstava koju su dva prethodna pregleda promašila. Razlika je bila u ručnom pregledu, ne u alatima.”
„Rade kao produžetak našeg tima, a ne kao vanjski revizor koji dođe jednom i nestane. Na pitanja odgovaraju istim danom.”
Navodi su okvirni primjeri (PLACEHOLDER) i objavljuju se tek uz pisanu suglasnost klijenta.
Česta pitanja
Ono što timovi najčešće pitaju.
Za ugovor srednje složenosti obično između osam i dvanaest radnih dana. Točan rok potvrđujemo nakon pregleda opsega, jer ovisi o broju redaka i međuovisnostima u kodu.
Radimo pretežno sa Solidity i Rust kodom na mrežama kompatibilnima s EVM-om te na Solani. Za druge okoline javite nam se prije početka pa ćemo iskreno reći je li to naše područje.
Interni sigurnosni inženjer ima smisla kada imate stalan tok izdanja. Za povremene revizije vanjski tim obično izlazi povoljnije jer plaćate samo pregled, a ne stalnu poziciju. Rado napravimo kratku računicu za vaš slučaj.
Da. Vexanduli posluje kao društvo registrirano u Zagrebu, s hrvatskim OIB-om, i izdaje račune u skladu s domaćim propisima. Surađujemo i s timovima izvan Hrvatske.
Strukturirani izvještaj s popisom nalaza razvrstanih po ozbiljnosti, dokazima iskoristivosti i konkretnim preporukama. Nakon ispravaka radimo ponovnu provjeru i izdajemo pisanu potvrdu o statusu.
Prije početka potpisujemo ugovor o povjerljivosti. Kod držimo u izoliranom okruženju i brišemo ga nakon dogovorenog razdoblja. Pristup ima samo tim koji radi na vašem projektu.
Možemo, ali ćemo vam iskreno reći ako opseg ne stane u rok. Radije suzimo opseg na najvažnije tokove nego da isporučimo površan pregled koji daje lažan osjećaj sigurnosti.
Razgovarajmo o vašem sustavu.
Pošaljite kratak opis projekta i mreže na kojoj radite. Javljamo se u roku od jednog radnog dana.
Zatražite ponudu