This is a lot of deeply mathematical there's a deeply mathematical aspect because you're taking as Ben just referenced an algorithm called Pippager's from an academic paper I think in the 2010s. The challenge for a team like this is to implement that in the hardware right which is of course as efficiently as you can get. You know it's pretty abstract it's pretty far from the quote unquote metal you know this is very it's like very much on the metal and so that's I think one of the interesting challenges and all of this was open source Because we want ZKPs to be available these innovations were available for everyone to use and then leverage to build upon.
In this 2-part series exploring ZK Hardware, Anna Rose interviews various participants from the ZPrize competition, alongside the creator of ZPrize and co-host of this episode Alex Pruden from Aleo. Through these interviews, they dig into the different types of hardware, such as GPUs and FPGAs, that can be used to accelerate ZKP computation. They also discuss the underlying mathematical techniques in ZKPs that can be optimized for and the tricks and strategies that ZPrize competitors used to achieve these optimizations.
In Part 1 of the series, Anna and Alex first interview Luke Pearson from Polychain Capital, who was an architect on the ZPrize. They then interview Ben Devlin and Rahul Yesantharao from Jane Street who were members of one of the winning teams, Hardcaml.
Here are some additional links for this episode:
Check out the ZK Jobs Board here: ZK Jobs.
Ever wish you could use existing rust libraries in ZK?
This is a friendly reminder from the team at RISC Zero that you can!
To learn more, check out the RISC Zero video tutorials from the last ZK Hack at https://www.youtube.com/@risczero.
Follow them on twitter @risczero to make sure you don’t miss their upcoming 1.0 launch and the alpha launch of the Bonsai Network.
If you like what we do: