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
- β recursive-zk-bridge: prototype IVC circuits for proof-of-consensus based header oracles. (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)