Daira-Emma Hopwood
Daira-Emma Hopwood is a cryptographer who contributed to the formal verification of Ironwood, a shielded transaction pool in Zcash. The project used machine-checked proofs to examine whether its protocol could permit undetectable counterfeiting.