Henry de Valence
Menu
Blog
Projects
Github
Twitter
Email
RSS
Some recent blog posts:
It’s 255:19AM. Do you know what your validation criteria are?
October 4, 2020
Private Contact Tracing Protocols Compared: DP-3T and CEN
April 6, 2020
Design Tradeoffs in Privacy-Preserving Contact Tracing
March 27, 2020
Let’s Develop Decentralized, Privacy-Preserving Contact Tracing
March 23, 2020
Decoding Bitcoin Messages with Tokio Codecs
February 25, 2020
Composable Futures-based Batch Verification
January 31, 2020
A New Network Stack For Zcash
January 28, 2020
zkp: a toolkit for Schnorr proofs
March 29, 2019
Flexible precomputation for verification checks
February 19, 2019
Even faster Edwards curves with IFMA
December 10, 2018
Bulletproofs pre-release
November 8, 2018
Merlin: flexible, composable transcripts for zero-knowledge proofs
September 28, 2018
Accelerating Edwards Curve Arithmetic with Parallel Formulas
August 1, 2018
Faster Bulletproofs with Ristretto and AVX2 (coauthored with Cathie Yun, Oleg Andreev)
April 13, 2018
SIDH in Go for quantum-resistant TLS 1.3
September 1, 2017
Why I quit my PhD:
When ‘he’ll be kept on payroll, somewhere’ is where you are
March 17, 2017
Posts during my PhD:
Capitalism and Arithmetic and Casting Out Nines
May 28, 2016
Posts during my undergrad:
Fun with n-grams, part 2: tightly packed tries
February 13, 2014
Fun with Google n-grams data (part 1)
February 5, 2014
Converting KML files to shapefiles with extra data
January 26, 2014
Better Living Through Clang-istry
December 22, 2013
Notes on my Arch Linux install
September 21, 2013
Haskell, Lasers, and Curved-Fold Origami
August 4, 2013
KStars GSoC: OpenCL and a first performance report
July 28, 2013
KStars GSoC: Aberration with a Stereographic Projection
July 26, 2013
KStars GSoC: Progress Update
July 9, 2013
Intel VTune on Linux 3.9 workaround for hlist_for_each_entry
July 7, 2013
Quaternions and Rotations
June 20, 2013
Coordinate Systems in KStars
June 17, 2013
KStars Summer of Code 2013
June 2, 2013
Lord Thomas Macaulay on Copyright (1841)
May 3, 2013
JPEG compression and retina displays
April 9, 2013
QOTD: Newton on Cassegrain
January 26, 2013
A portable photocopier with OpenCV
November 22, 2012
Beware poor quality in Springer GTM books
November 5, 2012
Elliptic Curves, Lattices, and the Upper Half-Plane
October 31, 2012
A neat trick to distinguish integers
October 25, 2012
Chrome for Android webfont bug workaround
October 22, 2012
Curved-Fold Origami
February 7, 2012