Proof of Luck: an Efficient Blockchain Consensus Protocol. - Mitar Milutinovic; Warren He; Howard Wu; Maxinder Kanwal (IACR Cryptol. ePrint Arch., 2017)

Zexe: Enabling Decentralized Private Computation. - Sean Bowe; Alessandro Chiesa; Matthew Green 001; Ian Miers; Pratyush Mishra; Howard Wu (IACR Cryptol. ePrint Arch., 2018)

DIZK: A Distributed Zero Knowledge Proof System. - Howard Wu; Wenting Zheng; Alessandro Chiesa; Raluca Ada Popa; Ion Stoica (IACR Cryptol. ePrint Arch., 2018)

Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications. - Collin Chin; Howard Wu; Raymond Chu; Alessandro Coglio; Eric McCarthy; Eric Smith (IACR Cryptol. ePrint Arch., 2021)