Skip to content

Home > Resources > blogs > noirs-circuit-backend

Noir's Circuit Backend

URL: https://jtriley.substack.com/p/noirs-circuit-backend

Summary

A technical blog post explaining how Noir compiles circuits to ACIR (Abstract Circuit Intermediate Representation) and how the backend prover (Barretenberg) translates ACIR into UltraHONK/UltraPLONK constraints. Covers the flow from Noir source code through ACIR opcodes to the proving backend.