Henry de Valencezkp: a toolkit for Schnorr proofsAbout two years ago, I made a proof-of-concept library called zkp, which used Rust macros to auto-generate an implementation of proving…2 min read·Mar 29, 2019----
Henry de ValenceFlexible precomputation for verification checksLast week, I published version 1.1 of curve25519-dalek, which has two main features over 1.0: a new SIMD backend using IFMA instructions…3 min read·Feb 19, 2019----
Henry de ValenceEven faster Edwards curves with IFMAIn a previous post, I described a SIMD-friendly implementation strategy for Edwards curve arithmetic, which makes use of parallelism in…4 min read·Dec 10, 2018----
Henry de ValenceinInterstellarBulletproofs pre-releaseWe are excited to announce a pre-release version of our Bulletproofs implementation, providing a stable interface for creating and…5 min read·Nov 8, 2018----
Henry de ValenceMerlin: flexible, composable transcripts for zero-knowledge proofsZero-knowledge proofs are usually described mathematically as interactive protocols between a prover and a verifier, but implemented…8 min read·Sep 28, 2018----
Henry de ValenceAccelerating Edwards Curve Arithmetic with Parallel FormulasThe fastest formulas for elliptic curve operations were published by Hisil, Wong, Carter, and Dawson in their 2008 paper Twisted Edwards…6 min read·Aug 1, 2018----
Henry de ValenceWhen ‘he’ll be kept on payroll, somewhere’ is where you areOn August 31, 2015, I started a Ph.D. in cryptography at TU Eindhoven, working with Tanja Lange and Dan Bernstein. On December 2, 2016, I…17 min read·Mar 17, 2017--10--10