My work

Software author/coauthor

• libsecp256k1, high-performance high-assurance C library for digital signatures and other cryptographic primitives on the secp256k1 elliptic curve.
• libminisketch, a library for BCH-based set reconciliation.
• gramtropy, a grammar-based password generator.
• bitcoin-seeder, a crawler and DNS seeder for the Bitcoin network.
• JiF, an image format that later grew into FLIF, which was incorporated into FUIF, which became the basis for JPEG-XL.

Miscellaneous research pages

• Improved bounds for the safegcd algorithm: a technique based on convex hull reasoning that was used to improve the iterations needed in the safegcd algorithm.
• Miniscript: a research project to reason about, compile to, and analyze, a subset of Bitcoin Script.
• Bech32/Bech32m demo: a demonstration of the error localization features in the Bech32/Bech32m address formats.
• Metzooa solver: a solver for the game Metazooa.

Research papers

• MuSig-DN: Schnorr Multi-Signatures with Verifiably Deterministic Nonces — Jonas Nick, Tim Ruffing, Yannick Seurin, Pieter Wuille. ACM SIGSAC Conference on Computer and Communications Security, 2020.
• Erlay — Gleb Naumenko, Gregory Maxwell, Pieter Wuille, Alexandra Fedorova, Ivan Beschastnikh. ACM SIGSAC Conference on Computer and Communications Security, 2019.
• Confidential Assets — Andrew Poelstra, Adam Back, Mark Friedenbach, Gregory Maxwell, Pieter Wuille. Financial Cryptography and Data Security, pp. 43–63, 2019.
• Simple Schnorr multi-signatures with applications to Bitcoin — Gregory Maxwell, Andrew Poelstra, Yannick Seurin, Pieter Wuille. Designs, Codes and Cryptography 87(9):2139–2164, 2019.
• Bulletproofs: Short Proofs for Confidential Transactions and More — Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, Greg Maxwell. IEEE Symposium on Security and Privacy, 2018.
• FLIF: Free lossless image format based on MANIAC compression — Jon Sneyers, Pieter Wuille. Image Processing (ICIP), 2016.
• Search combinators — Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey. Constraints 18(2):269–305, 2012.
• Memoizing a Monadic Mixin DSL — Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter Stuckey. Functional and Constraint Logic Programming, pp. 68–85, 2011.
• Parameterized Models for On-Line and Off-Line Use — Pieter Wuille, Tom Schrijvers. Functional and Constraint Logic Programming, pp. 101–118, 2011.
• Monadic Constraint Programming with Gecode — Pieter Wuille, Tom Schrijvers. Constraint Modelling and Reformulation, pp. 171–185, 2009.
• CHR for Imperative Host Languages — Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen. Constraint Handling Rules, pp. 161–212, 2008.
• CCHR: the fastest CHR implementation, in C — Pieter Wuille, Tom Schrijvers. Constraint Handling Rules, pp. 123–137, 2007.

PhD dissertation

• Functional Programming Abstractions for CP Modeling

Specifications

• Bitcoin Improvement Proposals (adopted)
  • BIP 30, Duplicate transactions — Pieter Wuille, 2012.
  • BIP 32, Hierarchical Deterministic Wallets — Pieter Wuille, 2012.
  • BIP 42, A finite monetary supply for Bitcoin — Pieter Wuille, 2014 (April Fools').
  • BIP 66, Strict DER signatures — Pieter Wuille, 2015.
  • BIP 9, Version bits with timeout and delay — Pieter Wuille, Peter Todd, Greg Maxwell, Rusty Russell, 2015.
  • BIP 141, BIP 143, BIP 144, Segregated witness — Eric Lombrozo, Johnson Lau, Pieter Wuille, Peter Todd, Greg Maxwell, Rusty Russell, 2015.
  • BIP 173, Bech32 address format — Pieter Wuille, Greg Maxwell, 2017.
  • BIP 324, Version 2 P2P Encrypted Transport Protocol — Dhruv Mehta, Tim Ruffing, Jonas Schnelli, Pieter Wuille, 2019.
  • BIP 330, Transaction announcements reconciliation — Gleb Naumenko, Pieter Wuille, 2019.
  • BIP 340, BIP 341, BIP 342, Taproot — Pieter Wuille, Jonas Nick, Anthony Towns, 2020.
  • BIP 350, Bech32m address format — Pieter Wuille, 2020.
  • BIP 380–BIP 387, Output Script Descriptors — Pieter Wuille, Ava Chow, 2021–2024.
  • BIP 379, Miniscript — Pieter Wuille, Andrew Poelstra, Sanket Kanjalkar, Antoine Poinsot, Ava Chow, 2023.