Optimising the MSM Design for the Emusium

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:

• ZPrize.io
• Hardcaml ZPrize
• Episode 221: Funding the Next Wave of Zero Knowledge Tech
• Zerocaf: Short ring signatures with Bulletproofs
• PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
• PlonKup: Reconciling PlonK with plookup
• GZKP: A GPU Accelerated Zero-Knowledge Proof System
• Pippenger’s Multiproduct and Multiexponentiation Algorithms
• Tweet referenced in the interview with Luke about Hardware & Sum-checks

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:

• Find all our links here! @ZeroKnowledge | Linktree
• Subscribe to our podcast newsletter
• Follow us on Twitter @zeroknowledgefm
• Join us on Telegram
• Catch us on Youtube