Projects

This is a list of various projects.

Also see products and programming for more.

Selected projects

• zkmopro/mopro: Making client-side proving on mobile simple.

• vacp2p/rfc: Protocol specifications for Vac, see specs for more.

• vacp2p/research: Experimental code.

• vacp2p/zerokit: Set of ZK modules designed to be used in different environments.

• waku-org/nwaku: Reference client for Waku v2.

More projects

This is an incomplete list of various projects, mostly code-related ones.

See all posts and my Github for more.

• ethereum/iptf-map [code] 2025-10-06
• IPTF (Institutional Privacy Task Force) [site] 2025-10-01
• zkintro Spanish translation (full) (Gelois, Alex, Yago Pajariño; thread) 2025-07-23
• zkintro Chinese translation (full) (Nicole, PinHao, Anton; thread) 2025-07-23
• zkintro Brazilian Portuguese translation (partial) (Thiago Rocha; thread) 2025-07-23
• zkintro Italian translation (partial) (Silvio Meneguzzo) 2025-07-23
• zkintro/zkintro [code] 2025-02-13
• zkspecs: Specifications for various ZK and programmable cryptography protocols [code] 2024-11-23
• Real World Zeroes: Proof of Financing [code] Hackathon project at Edge Lanna, 3rd/90 (with ml_sudo) 2024-11-08
• pluralitybook/plurality [code] (Contributor) 2024-03-11
• devsakura.com A set of technical web3 events in East Asia, code 2024-03-01
• Zero Knowledge Taipei ZK meetup in Taipei (ongoing) 2023-09-26
• Mopro [code] Making client-side proving on mobile simple 2023-08-29
• microsoft/Nova [code] Also see HyperNova fork, ParaNova PR (Contributor) 2023-08-08
• privacy-scaling-explorations/nova-bench [code] Nova benchmarks 2023-04-06
• zkconspiracy [code] ZK Conspiracy 2022-04-08
• ChihChengLiang/poseidon-tornado [code] Tornado Cash Poseidon Hash (Contributor) 2022-02-16
• vacp2p/zerokit [code] A set of ZK modules designed to be used in different environments 2022-01-17
• arkworks-rs/circom-compat [code] (Contributor) 2022-01-13
• merkle-member-spike [code] 2021-10-08
• Papers We Love Taipei Papers We Love meetup in Taipei 2020-06-11
• hello-stm32f3 [code] Playing around with embedded systems in Rust 2020-05-14
• waku-org/nwaku [code] Waku node and protocol 2020-04-28
• vacp2p/nim-libp2p [code] (Contributor) 2020-04-15
• Covcred: Credible claims on Corona 2020-04-12
• nim-kad-dht [code] Kademlia in Nim 2020-01-30
• status-im/nimbus-eth1 [code] nimbus-eth1 (Contributor) 2019-12-09
• Panini - ABNF editor Live ABNF editor, code 2019-10-24
• Vac.dev Vac website 2019-07-17
• cryptopals [code] Cryptopals in Nim 2019-06-27
• vacp2p/rfc [code] Vac RFCs 2019-06-18
• status-im/nim-eth [code] (Contributor) 2019-06-12
• status-im/staples [code] Messaging with Swarm, PSS and Feeds 2019-04-11
• status-im/specs [code] Status specs 2019-03-25
• vacp2p/research [code] Thinking in code 2018-12-18
• status-im/swarms [code] Decentralized project management 2017-11-09
• status-im/open-bounty [code] (Contributor) 2017-10-30
• status-im/status-go [code] (Contributor) 2017-09-03
• status-im/status-mobile [code] (Contributor) 2017-07-21
• Whisper Walk A navigation app for walking 2017-02-23
• Code Cards [code] A spaced repetition tool for programming 2017-01-30
• plan [code] Plan files 2016-01-10
• attentions [code] Budget your Twitter (with Martin Klepsch, Clojure Cup 2015) 2015-12-07
• praxis [code] Programming practice 2015-10-18
• instantetymonline [code] Instant etymology search 2015-10-15
• netpowder [code] A mini-server in the browser 2015-09-30
• ttt-api [code] Tic-tac-toe API 2015-09-26
• xv6 [code] Working my way through xv6 2015-08-07
• sai [code] Toy Lisp interpreter 2015-06-15
• rrange [code] Rough range util in Racket 2015-06-10
• pmarca-chen [code] Twitter bot that retweets 10% of pmarca’s tweets 2015-05-15
• unfolds [code] A jungle of ideas 2015-05-07
• app.vaulted.com [code] Dashboard for merchants and customers 2015-02-01
• breakfast [code] A live web chat connected to IRC (Clojure Cup 2014) 2014-09-29
• vaulted-clj [code] Clojure Vaulted client 2014-06-08
• followhackers [code] Subscribe to people on HN and get email updates (Clojure Cup 2013) 2013-09-30
• dsa [code] Data structures and algorithms in C 2013-06-25
• hedgehog [code] Clojurescript library for live data-binding (with Conner Petzold) 2012-12-06
• guinea [code] Chat Server in Go (with Senthil Arivudainambi) 2012-11-20
• chipper [code] Toy DSL for logical gates 2012-11-01
• wsevents [code] Websockets abstraction for handling events in Go (with David Peter) 2012-08-22
• terrago [code] Fractal terrain generator (with David Peter) 2012-08-22
• montego [code] Monte Carlo simulation in Go (with David Peter) 2012-08-18
• onefoot [code] Static site generator in Bash 2012-07-29
• barefoot [code] Static site generator in Clojure (with Zach Allaun) 2012-07-08
• clojurescript reflection [code] (Contributor) 2012-06-26
• trapunto [code] Pseudo-live image generator in Clojure (with Alexander Clare) 2012-06-23