timoftime / injidep

Simple yet powerful Go dependency injection module inspired by .NET ASP.NET Core DI library

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)

📊 GitHub Stats

📬 Reach me