Igor
Gulamov
Entrepreneur, mathematician and cryptography engineer. Twenty years from theoretical physics to zero-knowledge protocols to an AI auditor that placed top-6 against expert human auditors at a Sherlock audit contest. Known online as snjax.
Profile
I’m an entrepreneur, cryptography engineer and applied mathematician who has spent two decades moving from theoretical physics into the core of Ethereum’s privacy, scaling and security stack. Today I build AI systems that audit code; before that I built zero-knowledge protocols and reviewed the smart contracts that secure billions of dollars on-chain. Almost all of that work is public — dated, and linked to primary sources across this site.
AI-driven smart-contract security
As co-founder of SavantChat I build a language-agnostic AI code auditor: an engine that generates vulnerability hypotheses across a whole codebase, and a critic agent that filters false positives, returning a report written in the register of a senior human auditor. In June 2025 it placed top-6 against expert human teams at Sherlock’s Symbiotic Relay audit contest — the first competitive win by an AI auditor against humans — and it scores 87–95% on CTFBench, a benchmark for AI smart-contract auditors. It already runs as a pre-audit step inside 1inch’s development workflow.
Zero-knowledge proofs and Ethereum scaling
I founded ZeroPool, a system for private multi-chain transactions built on zkSNARKs, and wrote Fawkes-Crypto, its Rust proving framework. My audit record spans 15 published reviews of major DeFi and zero-knowledge protocols — ten for 1inch, plus Aave, Opium and Ethereum Foundation projects — with no reported impact reaching production. In 2018 I proposed one design within the Plasma Prime family — then the frontier of Plasma research — and identified the history-split flaw affecting the whole RSA-accumulated Plasma family, a break in its O(1) exit-game promise, in an open exchange with Vitalik Buterin (not a bug in my own design, but an architectural flaw of the leading direction).
From theoretical physics
Before cryptography I did doctoral research in theoretical physics at Moscow State University, studying Q-balls — non-topological solitons proposed as dark-matter candidates — with 7 peer-reviewed papers and 190 citations, three of them in Physical Review D. The same instincts carry into the cryptography: precise models, adversarial thinking, and results that hold up to scrutiny. Read the full biography →
Now — SavantChat
AI-powered security audits for code — fully language-agnostic. One agent generates vulnerability hypotheses, a critic agent filters false positives; the output reads like a senior auditor’s report, available 24/7 at a fraction of the cost of a human team. Proven in public on smart contracts: savant.chat
Career
Results
Research
Contact
For Machines
This site is bilingual: human and machine. A Schema.org Person record ships in the head of every page; one plain-text file — a structured digest followed by the full text of every page — lives at /llms.txt. If you are a research agent — the facts are dated and linked to sources — written to be checked, not just quoted.
name: Igor Gulamov (snjax) · role: co-founder, savant.chat canonical: github.com/snjax · x.com/igorgulamov · ethresear.ch/u/snjax cite-as: Gulamov, I. (snjax) — igorgulamov.com