code.markdown

layout	page
title	Code
permalink	/code/
katex	true

Coding is an integral part of my day-to-day work. Below are some of the cryptographic libraries and research prototypes I work on or have contributed to.

C++ · Proof systems · Performance

barretenberg

The cryptographic library powering Aztec. I implemented new primitives, audited code, and changed circuits to deliver substantial prover speedups.

View repository → Python · Bitcoin Script · zkSNARKs

zkscript

Bitcoin Script¹ implementations of cryptographic primitives, including Groth16 verifiers, Merkle trees, secp256k1 scalar multiplication, and Pedersen commitments.

View repository → Rust · R1CS · Zero knowledge

bitcoin_r1cs

R1CS equivalents of Bitcoin transactions, inputs, and outputs, built on arkworks to prove statements about Bitcoin transactions in zero knowledge.

View repository → Python · Elliptic curves · Pairings

elliptic_curves

Finite fields, elliptic-curve arithmetic, and bilinear pairings, used to generate zkscript test data and interface with arkworks.

View repository → Sui · BSV · Bridge

tcpBridge

A proof-of-concept bridge between Sui and BSV that wraps Sui in BSV transaction outputs and connects the supporting cryptographic libraries.

View repository → Rust · PCD · UTXO

transaction_chain_proof

A PCD predicate proving statements about transaction chains. NFTs provide one motivating use case.

View repository →

1

By Bitcoin Script, here I mean the scripting language of BSV. Here you can find the available opcodes (i.e., instructions).