ZK Email

Circom 是一種領域特定語言和編譯器，用於編寫和編譯零知識證明系統中使用的算術電路。

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

snarkjs 是一個 JavaScript 和 CLI 工具包，用於產生和驗證 zkSNARK 證明，以及在 Node.js 和瀏覽器中執行常見的證明工作流程。