Zealynx Security Overview

Headquarters: Wrocław, Pl
Website: github.com
Industry: Security And Investigations
Employees: 4
NAICS: Investigation and Security Services

Investigation, Guard, and Armored Car Services

Investigation Services

Keywords

Smart Contract Audits Formal Verification Fuzzing Solidity Rust

About Zealynx Security

We are providing Smart Contract Security Reviews (Audits) with the highly efficient security testing tools used by the top companies in Web3. An Audit with Zealynx keeps your current code safe now and after any changes you implement later on. That's accomplished by providing with each audit a test suite of Fuzz tests and Formal Verification. Contact Us for: - Smart Contract Security Reviews - Get an Audit with included Fuzz tests and Formal Verification Test suite - Fuzzing and Formal Verification for your protocol - We use Foundry and Echidna/Medusa (Fuzzing) and Halmos, Kontrol and ityFuzz (FV) - Smart Contract development - Solidity and Solana development

Zealynx Security Contact Details

People in AeroLeads: 4

Zealynx Security Org Chart

Sample employees and titles

Name	Title	Location	Contact
Samuel Alves	Security Researcher - Full-stack Developer - Solidity & Javascript		View
Sergio Corrales Alonso-Barajas	Security Researcher - Blockchain Developer - Evm / Non-evm 🦀 - Contact → Git.seco@protonmail.com	Toledo, Castile-la Mancha, Spain	View
Jakub Grzeszczyk	Security Researcher	Ostrów Wielkopolski, Wielkopolskie, Poland	View
Carlos Vendrell Felici	Smart Contract Auditor - Founder @Zealynxsecurity - 🔗 Linktr.ee/bloqarl - Request an Audit at Zealynx.io	Wrocław, Dolnośląskie, Poland	View