Home > Tags > circuit-dsl Circuit DSL¶ Description¶ Tags domain-specific languages for writing ZK circuits — e.g., Noir, Circom, ZoKrates. These compile down to an IR like R1CS or ACIR. Entries tagged¶ Circom 2 Circom2 Documentation Halo2 Documentation (Zcash) Noir Noir Documentation noir-lang/noir — ACVM Repository Noir's Circuit Backend ZoKrates ZoKrates Documentation