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…Mar 29, 2019Mar 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…Feb 19, 2019Feb 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…Dec 10, 2018Dec 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…Nov 8, 2018Nov 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…Sep 28, 2018Sep 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…Aug 1, 2018Aug 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…Mar 17, 201710Mar 17, 201710
