Alexei Ostrovski
Principal Software Engineer at Matter Labs
Kyiv, Ukraine
Summary
🤩
Rockstar🎓
Top SchoolAlexei Ostrovski is a Principal Software Engineer with 11 years of experience, combining deep academic training in applied mathematics and data science with hands-on systems and cryptography engineering. Currently at Matter Labs, he designs and optimizes core ZKsync infrastructure—implementing fast, fault-tolerant syncing, pruning, and Merkle-tree enhancements that improved state management and snapshot syncing for a prominent zk-rollup. Previously he led fintech and vehicle services at Arrival and architected the Exonum blockchain at Bitfury, blending research-grade distributed-systems theory with practical Rust and JVM implementations. Known for algorithmic optimizations and refactors that boost correctness and maintainability, he also builds reusable tooling for metrics and configuration. Based in Kyiv, he brings a researcher's rigor to production systems and a willingness to explore new applied-math and AI directions.
11 years of coding experience
8 years of employment as a software developer
Master, Applied Mathematics, Master, Applied Mathematics at Moscow Institute of Physics and Technology (State University) (MIPT)Candidate, Physical and Mathematical Sciences, Candidate, Physical and Mathematical Sciences at V.M. Glushkov Institute of Cybernetics
Russian, Ukrainian, English
Stackoverflow
31reputation
408reached
5answers
0questions
Github Skills (19)
merkle-tree10
rust10
api-design9
postgresql9
data-structure9
database-design9
hashing-algorithm9
data-structures9
blockchain8
cryptography8
chain8
service-worker6
left-join6
django-models6
google-chrome-extension6
Programming languages (10)
Github contributions (5)
matter-labs/zksync-era
Sep 2023 - Apr 2025
zkSync era
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1228 reviews, 496 PRs, 713 pushes in 1 year 6 months
Contributions summary:Alexei primarily focused on implementing features related to the Merkle tree within the zkSync Era project. Their work involved implementing dynamic depth for L2-to-L1 log Merkle trees, providing Merkle proofs for entries and entry ranges, and developing a tree API for authentication and recovery from snapshots. These changes are geared towards snapshot syncing and improving the overall efficiency of the system's state management.
slowli/elasticpoll.app
Feb 2022 - Nov 2024
Cryptographically secure polling web app
Contributions:49 PRs, 93 pushes, 44 branches in 2 years 9 months
securecryptographically-securefurryzero-knowledgeelgamal-encryption
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.