Among the many immensely talented software engineers at Zcash Company, Daira Hopwood, engineer and protocol designer, stands apart from the pack as one of the founding members of our team. Ze has been “doing cryptography longer than ze can remember” — inspired by the U.S. government’s attempts to suppress encryption software, such as PGP, in the late 90s.
Daira’s primary interest is cryptographic protocol design, which ze finds especially interesting because “you have to think from the point of view of attackers and defenders at the same time.” This is both the challenge and the fascination of the work.
Ze is especially drawn to the security and access control side of the craft, which is how ze met other like-minded engineers and researchers early in hir career including Zooko Wilcox, Mark Miller, Alan Karp, Norm Hardy and Charles Landau. They all shared a common belief that the existing models were not adequate because they were difficult to build secure systems on; the models simply were not expressive enough. Zooko was already working on Tahoe-LAFS, a free and open, secure, decentralized, fault-tolerant, distributed data store with a security model that mirrored some elements of what Daira was studying. This and the Least Authority project, a commercial application for the technology, was their next venture leading up to Zcash. “I’m an infrastructure kind of person,” ze says.
“I want to build things that people can build other things on top of, like Tahoe-LAFS and Zcash.”
Daira describes the Zcash Company team as “very talented” and even goes on to state, “It is the most competent team of developers and cryptographers that I’ve ever been involved with.”
Hir dedication to Zcash centers on core beliefs. “If you don’t have financial privacy, you don’t have privacy,” ze says. “Money is an integral part of our society — although not necessarily to the good. I don’t think that free markets necessarily result in an equitable distribution of resources. But for as long as money plays the role it does in our society, financial privacy is essential.”
Daira refers back to a statement by Zcash Company CEO Zooko Wilcox that resonates with hir, akin to “without privacy you can’t be yourself.” Wilcox said, “It’s not that you’re only truly yourself when you’re alone, but you’re only truly yourself when you’re exposed to people of your choice. If you’re exposed against your will to some remote third-party, then you can’t think your own thoughts.”
“People should be allowed to have secrets,” Daira says.
Daira’s work at Zcash Company is keenly focused on an important mission: “In my mind, what we’re trying to do is prevent a substantial erosion of privacy.”
Ze is proud of the company’s accomplishments. “We have never had a major cryptographic security bug,” ze says. “We have had a couple of potentially exploitable memory-safety and DoS issues that required security bugfix releases, but never any major design flaw.
“Considering the complexity of what we are doing — the inherent complexity that’s needed — despite that, we have made something secure and practical.”
The creation ze refers to, Zcash protocol, is firmly anchored in the latest technological advances of the network upgrade, Sapling. Wearing hir navy shirt emblazoned with the company’s green and white Sapling logo, Daira is proud of the team’s work (spanning at least two years) on this advancement. Sapling introduced new shielded addresses with significantly improved performance: a time reduction of 90% for constructing transactions and a memory reduction of over 97%. It was very much a team effort, but Daira was responsible for many of the circuit optimizations that allowed these improvements, as well as a substantial part of the cryptographic design to support new features, such as shielded payments using hardware wallets.
Daira is also researching the possibility of expanding the scalability of Zcash using the succinct block chain technology pioneered in Coda. Succinct block chains use proofs of knowledge recursively so that, roughly speaking, you can prove an arbitrary amount of computation in a short proof. The developers of Coda recently showed this running in a browser, establishing a big step toward solving the block-chain scalability problem. Daira believes this technology is the future of block chains; from hir point of view, “If you solve scaling using the succinct approach, it kind of makes the trade-off that resulted in the Bitcoin ‘block-size wars’ obsolete. It makes block-chain protocols able to be used at point of sale for credit cards and cash-like uses.”
In hir spare time, Daira is designing a capability-secure programming language called “Noether.” Named after the mathematical physicist Emmy Noether, this language is intended to put into practice what Daira has learned about secure and robust programming, access control, language expressiveness, and type systems.
With over 20 years of experience as a software engineer focused on security, and ongoing dedication to Zcash development, Daira is a shining example of the fierce talent responsible for the technological advancements that have been made and already planned for future upgrades.