Hey! I'm Timofey
I am an enthusiastic researcher in cryptography and distributed systems, who enjoys sharing his knowledge and neat findings 🤓 I design blockchain-oriented protocols and develop web3 infrastructure 🏗️
There are many things that I find interesting, but if picking those I focus on most, then it would be:
- 1️⃣ verifiable and private computation with ZK and MPC
- 2️⃣ secure blockchain scaling with data-availability sampling (DAS)
- 3️⃣ chain and network layer privacy.
I find inspiration from 👥 talking with open-minded people, 🎨 spectating different kinds of modern digital art, and 🪐 discovering science and mysteries of our universe. 👉 I value open-source, rights to privacy, and simple human kindness 🤗
Current projects
- ✅ Spectre: coprocessor for verifying Beacon chain headers via lightclient protocol (Rust)
- ✅ spy-pets: universal covert privacy-enhancing transactions (Rust)
- ✅ zk-timelock: arkworks circuits for verifiable time-lock encryption (Rust)
- ✅ zk-SQL: prover engine for self-sovereign SQL queries (Circom, TypeScript)
- ✅ tss-libp2p: rust-libp2p transport for {t,n}-threshold signature schemes (Rust)
-
👀 See more:
- ✅ das-prototype: research prototypes of Data Availability Sampling for Ethereum (Rust)
- ✅ tlock-rs: practical time-lock encryption using drand threshold network (Rust)
- ✅ 2-party-adaptor: joint adaptor signatures generation (Rust)
- ❄️ contangle-zkcp: universal zero-knowledge contingent payments (Rust)
- ✅ go-signature-adaptor: pure Go implementation of ECDSA signature adaptors (Go)
- ❄️ obsidian-ticktick: sync Obsidian checklists with TickTick (TypeScript)
- ❄️ obsidian-hackmd: publish Obsidian notes to HackMD (TypeScript)
Publications
- Developer's Guide to Application-Specific Elliptic Curves (Cryptography, ZK)
- Data Availability Sampling - Research Memo (Scaling)
- S𝛑PETs: Sustainable Practically Indistinguishable Privacy-Enhanced Transactions (Privacy)
- Multi-Party Computation: The Next Generation of Crypto Security (MPC, Security)
- Offchain and Scriptless Mixer (Privacy, MPC, Fraud-proofs)
-
See older:
- Elastic-Bridge: trustless bridge for transferring rebase currencies (Interoperability)
- How to Implement Your Distributed Filesystem With GlusterFS And Kubernetes (DevOps)
- What Makes Go So Different? (Programming)