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)