Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
blog.janestreet.com
Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
1–10 of 21 posts
Re: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
#2*Zero knowledge crypto acceleration with FPGA
Re: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
#3title: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
Any reason the title deviates so much from original? Is it because of all the cool acronyms and code words? Here's a decoder:
zk-SNARK: zero-knowledge Succinct Non-Interactive Argument of Knowledge
MSM: Multi-Scalar Multiplication
Hardcaml: OCaml lib for hardware: https://github.com/janestreet/hardcaml
NTT: Number Theoretic Transform
Re: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
#4title: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml Any reason the title deviates so much from original? Is it because of all the cool acronyms and code words? Here's a decoder: zk-SNARK: zero-knowledge Succinct Non-Interactive Argument of Knowledge MSM: Multi-Scalar Multiplication Hardcaml: OCaml lib for hardware: https://github.com/janestreet/hardcaml NTT: Number Theoretic Transform
Fair point, I changed the title!
Re: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
#5title: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml Any reason the title deviates so much from original? Is it because of all the cool acronyms and code words? Here's a decoder: zk-SNARK: zero-knowledge Succinct Non-Interactive Argument of Knowledge MSM: Multi-Scalar Multiplication Hardcaml: OCaml lib for hardware: https://github.com/janestreet/hardcaml NTT: Number Theoretic Transform
Fair point, I changed the title!
Well how can I remove my extraneous garbage post, then? ;-)
I'm actually paying attention to this thread because I'm hoping people drop clues about what I should research or play with. Thanks a bunch - cool topic!
Re: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
#6title: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml Any reason the title deviates so much from original? Is it because of all the cool acronyms and code words? Here's a decoder: zk-SNARK: zero-knowledge Succinct Non-Interactive Argument of Knowledge MSM: Multi-Scalar Multiplication Hardcaml: OCaml lib for hardware: https://github.com/janestreet/hardcaml NTT: Number Theoretic Transform
[deleted]
Re: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
#7*Zero knowledge crypto acceleration with FPGA
[deleted]
Re: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
#8https://signalsandthreads.com/programmable-hardware/ and https://www.youtube.com/watch?v=X1cgRXhpQLY are worth a listen if you’re interested in hardcaml (they’re both with the author of this article) - I’m not a hardware person by any means, but still found both interesting.
Re: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
#9Any suggestions for resources to get an understanding of the mathematics etc behind cryptography in general, and the ZK space?
Re: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
#10Any suggestions for resources to get an understanding of the mathematics etc behind cryptography in general, and the ZK space?
Lots of resources here:
https://github.com/matter-labs/awesome-zero-knowledge-proofs