kirill-taran
Verified
Verified
ZK, L1/L2, Cross-Chain and anything custom and non-trivial: Virtual Machines, Compilers, Formal Verification. 3 years auditing, 12 years engineering
Available
8 years experience
Vetted
Programming Languages
SolidityGoRust
Expertise & Skills
InfrastructureL2FuzzingCross-chainFormal Verification
Portfolio & Experience
Detailed audit history and technical expertise
Security Research and Custom Solutions
I’m a Security Researcher with 3 years of experience, backed by 12 years in software engineering (since 2011).
Running Taran.Space these days.
Education
MSc in Mathematics and Software Engineering
Career
Some companies I've worked for:
More about my full-time career
Audits portfolio
Use tags to filter projects by tech
Articles
- Navigating the Cross-Chain Landscape: XCMP vs IBC
- XCMP in Polkadot: Security Measures Every Project Should Know
Audit Highlights
| Timeframe | Highest Issue | Ecosystem | Audit | Tech |
|---|---|---|---|---|
 |  |  | ZKsync OS: Elliptic cryptography |  |
| 2025-07 |  | | ZKsync OS: Bootloader | |
| 2025-11 |  |  | Snowbridge |   |
| 2025-10 | | | ZIGChain |  |
| 2025-08 | | | Stellar |  |
| 2025-02 | | | Hydration | |
| 2025-02 | | | KILT | |
| 2025-01 | | | GnoLand | |
| 2024-12 |  | | ThorChain | |
| 2024-09 | | | Dusk Network | |
| 2023-11 | |  | Hyperlane | |
| 2023-11 | | | Timewave Computer | |
| 2023-10 | | | Osmosis Computer | |
| 2023-06 | | | Centauri | |
| 2023-06 | | | SSZ-RS | |
| 2023-03 | | | DAO DAO | |
| 2023-01 | | | NYM | |