Projects

Projects throughout the years that are either: not academic in nature, not published, or go beyond a single paper.

Aptos confidential assets
Hide your Aptos balance and transferred amounts in every TXN. (Does not hide your address nor the recipients.)
Move contract Discrete log library Confidential assets on Aptos Baby-step giant step
Chunky PVSS
A publicly-verifiable secret sharing scheme based on our DeKART ZK range proof, currently deployed on Aptos as part of our encrypted mempool infrastructure.
Texas Crypto Day Chunky Dekart
Aptos Keyless accounts
Sign Aptos transactions using your Google or Apple account, rather than easy-to-lose secret keys $\Rightarrow$ impossible to lose access to your blockchain account. Hide your email address from the blockchain via ZKPs.
zeroknowledge.fm podcast How keyless works Circuit Prover service Pepper service Blog AIP-61
Aptos distributed randomness
Cryptographic infrastructure that enables Move developers to obtain unbiasable and unpredictable randomness as long as no more than 50% of Aptos stake colludes.
Move tutorial zeroknowledge.fm podcast aptos-dkg crate AIP-41
Citation keys (CK)
A tool for me to manage my academic paper bibliography easily from the command line: adding new papers, citing them, tagging them, etc.
Verkle trees
In 2018, inspired from Papamanthou et al.’s accumulation trees, my MIT PRIMES mentee John Kuszmaul and I came up with Verkle trees.
John's write-up John's slides MIT CSAIL Hacker News