# Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml

DevFeed: [Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml](<https://devfeed.tech/articles/accelerating-zk-snarks-msm-and-ntt-algorithms-on-fpgas-with-hardcaml-20241.md>)

Original publisher: [Read original article](<https://blog.janestreet.com/zero-knowledge-fpgas-hardcaml/>)

Author: Andrew Ray

Published: 2022-12-07T00:00:00Z

Content type: article

Language: en

Sources: [Jane Street](<https://devfeed.tech/sources/jane-street.md>)

Topics: [Zero-knowledge proof](<https://devfeed.tech/topics/zkp.md>), [Cryptography](<https://devfeed.tech/topics/cryptography.md>), [fpga](<https://devfeed.tech/topics/fpga.md>), [Algorithms, Complexity](<https://devfeed.tech/topics/algorithms-complexity.md>), [Open Source](<https://devfeed.tech/topics/open-source.md>)

Tags: [algorithms](<https://devfeed.tech/tags/algorithms.md>), [blockchain](<https://devfeed.tech/tags/blockchain.md>), [cryptography](<https://devfeed.tech/tags/cryptography.md>), [fpga](<https://devfeed.tech/tags/fpga.md>), [open-source](<https://devfeed.tech/tags/open-source.md>), [web3](<https://devfeed.tech/tags/web3.md>), [zero-knowledge](<https://devfeed.tech/tags/zero-knowledge.md>)

## AI overview

This article describes Jane Street's ZPrize submissions for accelerating zk-SNARK proof construction with FPGA designs built using the open-source Hardcaml libraries. Its MSM solution on the BLS12-377 curve won first place in the MSM track, while its NTT solution took second place in the NTT track.

## Source excerpt

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 to have a go in our free time at submitting solutions to both the Multi-Scalar Multiplication (MSM) and Number Theoretic Transform (NTT) tracks, using the same open source Hardcaml libraries that Jane Street uses for our own FPGA development. We believe by using Hardcaml we were able to more efficiently and robustly come up with designs in the short competition period. These designs also interact with the standard vendor RTL flow and so we hope they will be useful to others.