arithmetic-circuits (hackage): Arithmetic circuits for zkSNARKs
Keywords: cryptography|library|mit|arithmetic-circuit|compiler|qap|zero-knowledge|zk-snarks|zksnarks