aray avatar

Andrew Ray

Andy has been a hardware developer for 20 years. In the later half of his career he found a love for functional programming which led to the development of the Hardcaml toolset.

3 posts by Andrew Ray

Dec 07, 2022 | 9 min read
Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
In 2022 a consortium of companies ran an international competition, called the ZPrize, to advance the state of the art in “zero-knowledge” cryptography. We decided...
Dec 01, 2020 | 2 min read
Growing the Hardcaml toolset
I am pleased to announce that we have recently released a slew of new Hardcaml libraries!
Jun 01, 2020 | 6 min read
Using ASCII waveforms to test hardware designs
At Jane Street, an “expect test” is a test where you don’t manually write the output you’d like to check your code against – instead,...