About

The author

I am Oleksii Vasylenko, a systems engineer based in Brazil with more than eighteen years of software work. My path into lattices came through applied cryptography: I built a zk-SNARK wallet engine at Panther Protocol and wallet-to-wallet messaging at Mailchain, and in 2026 I reviewed the threshold-signing client and bridge contracts of the Threshold Network (tBTC) as an independent security researcher.

I also write lattice software. g6k-rs is my Rust library for lattice reduction, enumeration and sieving, with optional Metal and CUDA backends. Every code sample in the recipes and embedding guides runs against it. opaque-ts is a TypeScript implementation of the OPAQUE password-authenticated key exchange.

Outside cryptography my work has been high-throughput systems: a matching engine handling 4,000+ orders per second with sub-millisecond latency, real-time backends, and frontend architecture shared across product teams. I hold a Bachelor of Computer Engineering with honours from Sevastopol National Technical University and work in English and Portuguese.

Selected experience

The full résumé is at ovasylenko.com/resume.

The site

Lattices.io is a free reference for mathematical lattices and the post-quantum cryptography built on them. It is written for developers and engineers: people implementing ML-KEM or ML-DSA, choosing parameters, or reading papers for the first time. Each topic starts from intuition, then gives the definitions, and ends with something you can run or check.

1. Introduction — What a lattice is, bases, geometry of numbers, metrics, reduction and notable lattices.
2. Cryptography — SVP, CVP, LWE, SIS, NTRU, lattice signatures and what post-quantum security means.
3. For developers — ML-KEM, ML-DSA, Falcon, the NTT, parameter selection, FHE and hybrid TLS.
4. Algorithms — LLL, BKZ, sieving, G6K and runnable g6k-rs recipes.
5. Papers and deep dives — Key papers, dual and q-ary lattices, discrete Gaussians and lattice attacks on ECDSA.
6. Embedding guides — How to turn a problem into a lattice whose shortest vector is the answer, from 3 to 100 dimensions.
7. Math reference — Every symbol used on the site: how to read it, what it means here and where it appears.

How the material is checked

• Code samples are compiled and run before publication, and the output shown is the real output. Library versions are stated on each page.
• Numbers in worked examples are recomputed with a script, not copied from memory.
• Claims about standards cite the primary source: FIPS documents, RFCs and the original papers listed in key papers.
• Revised pages carry their last-updated date in the sitemap and in search results.

Support the site

Lattices.io is free and has no ads. If it helped you, you can support the work. It is entirely optional; corrections and feedback help just as much.

By card or PayPal: buy me a coffee.
In cryptocurrency: use the NOWPayments form below.

Corrections and contact

If you find a mistake, a broken formula or something unclear, please open an issue in the public feedback repository or email hello@ovasylenko.com with the page and what looks wrong. Readers have already caught rendering bugs this way. You can also find me on GitHub and X, or read my other writing at ovasylenko.com/blog.

If you want to learn this material with others, I also run a small live cohort for engineers on post-quantum migration.