Zero Knowledge FPGAs

• hardcaml

  7 611 6.3 OCaml

  Hardcaml is an OCaml library for designing hardware.

  

title: 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

• awesome-zero-knowledge-proofs

  14 4,878 6.2

  A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

  

Lots of resources here:

https://github.com/matter-labs/awesome-zero-knowledge-proofs

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

Suggest a related project