Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile
Articles by Henry de Valence
Design Tradeoffs in Privacy-Preserving Contact Tracing
In our previous post, we talked about how the problem of building decentralized, privacy-preserving contact tracing systems is an opportunity to meaningfully apply cryptography to a pressing public health problem. That post described one effort, TraceTogether, but there are several other efforts in development.
Let's Develop Decentralized, Privacy-Preserving Contact Tracing
Over the last few months and especially the last few weeks, the spread of COVID-19 has created a massive health crisis at global scale. Healthcare infrastructure is being overwhelmed around the world. While data about the spread of the virus and its effects are still uncertain, projections about the potential effects of unchecked spread are dire. Unfortunately, institutional failings have hampered the response to the outbreak of the virus.
A New Network Stack For Zcash
In the Foundation’s engineering roadmap for 2020, we overviewed our plans for Zebra, our Rust implementation of Zcash. Announced last summer at Zcon1, Zebra aims to support the core strength of Zcash – its best-in-class cryptography – by placing it on a solid foundation, providing a modern, modular implementation that can be broken into components and used in many different contexts. In that post, we briefly described the new network stack we designed and implemented for Zebra.
zkp: a toolkit for Schnorr proofs
About two years ago, I made a proof-of-concept library called zkp, which used Rust macros to auto-generate an implementation of proving and verification for a class of Schnorr-style discrete logarithm proof statements. However, this approach had a number of limitations and wasn’t suitable for use in real applications. Today, I published a new and completely rewritten version of the library, which is now available on crates.io.
Stanford Blockchain Conference 2019
This conference will explore the use of formal methods, empirical analysis, and risk modeling to better understand security and systemic risk in blockchain protocols. We aim to foster multidisciplinary collaboration among practitioners and researchers in blockchain protocols, distributed systems, cryptography, computer security, and risk management. The talks and papers from the previous event in this conference series (formerly known as BPASE) are available here: 2017; 2018.
SIDH in Go for quantum-resistant TLS 1.3
Loading... This blog post presents a new cryptography primitive that we open sourced: p751sidh. The Quantum Threat Most of today's cryptography is designed to be secure against an adversary with enormous amounts of computational power. This means estimating how much work certain computations (such as factoring a number, or finding a discrete logarithm) require, and choosing cryptographic parameters based on our best estimate of how much work would be required to break the system.
Show More
loading
Actions
Is this you?
As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.Get in touch with Henry
Contact Henry, search articles and posts on X, monitor coverage, and track replies from one place.
Learn more about Muck Rack