Hi, I’m Yani. My legal name is Omar, but most people call me Yani, and that’s the name I use online.

I’m a developer interested in systems programming, cryptography, and zero-knowledge proofs. Lately most of my time has gone into the ZK ecosystem, especially things like Noir, gnark, constraint systems, and tooling around them.

I mostly work in Go. I like building low-level tools, understanding how things work internally, and experimenting with new ideas. Programming is something I do largely because I enjoy it, so many of the projects I work on start as curiosity-driven experiments.

I’m particularly interested in the intersection of zero-knowledge systems and emerging AI infrastructure. One direction I’m exploring is using ZK proofs to create verifiable guarantees around AI behavior, data governance, and policy enforcement without exposing sensitive data.

This blog is basically a notebook for things I’m learning or building. Posts range from short technical notes to longer explanations of ideas I’m trying to understand, including constraint systems, proof tooling, protocol design, performance tradeoffs, and systems work around them.

Some posts may be rough drafts or thinking out loud. That’s intentional.

I sometimes use AI tools to help edit or polish writing, but the ideas and projects here are my own.

Outside of specific projects, I enjoy terminal-centric workflows, Neovim, tiling window managers, and mechanical keyboards. I used Arch Linux as my daily system for a while before moving to macOS, and I currently use a split keyboard, a ZSA Voyager.