Polylog Labs
An applied research lab turning hard problems in cryptography, AI, and secure systems into products people actually use.
Polylog Labs is an applied research lab building at the frontier of cryptography, AI, and secure systems. We turn deep research in post-quantum cryptography, zero-knowledge proofs, formal verification, and low-latency systems into products people actually use. polylog.news is the first.
Applied cryptography
Hash-based signatures, fully homomorphic encryption, and applied cryptographic engineering, from primitive to production.
Blockchain
Smart-contract systems, protocol design, and on-chain infrastructure across EVM and zk virtual machines.
Post-quantum research
Benchmarking and building quantum-safe systems, from signature schemes (lattice, hash, and code-based) to zkVMs, with real performance numbers.
AI research & infrastructure
LLM systems, autonomous agents, and source-grounded intelligence pipelines built to run reliably at scale.
Security auditing
Security reviews of blockchain protocols, cryptographic implementations, and smart contracts, with actionable findings and remediation guidance.
Low-latency DeFi trading
High-performance derivatives venues and execution engines where correctness and microseconds both matter.
Discuss an audit
We audit smart contracts, blockchain protocols, cryptography, and zero-knowledge (ZK) systems. Reach out directly with your project, scope, and timeline.
Small, self-contained tools that fall out of the research, each one a single sharp idea.
Russian P2P USDT–ruble exchange data from across the market, aggregated into one clean, web3-native dashboard.
polyloglabs.com/p2pOpen→Set a principal and a rate, then watch the yield accrue in real time, cent by cent, like a gas-price meter.
polyloglabs.com/realtimeapyOpen→The spread between the ruble's official central-bank rate and what it actually trades for on the gray market, tracked live.
polyloglabs.com/realrublerateOpen→An interactive lab for Reed–Solomon codes, exploring polynomials, codewords, Hamming balls, and list decoding.
proximitygaps.polyloglabs.comOpen lab→A lightweight Markdown and LaTeX editor with live preview, local files, and PDF export.
github.com/partylikeits1983/featherView on GitHub→An online compiler and learning tool for Lean 4. Write code and learn the language directly in your browser.
leanlanguage.appOpen→Small, sharp tools that fall out of the research. New ones land here as we build them.
polyloglabs.com/Coming soon