Zero-knowledge (ZK) proofs are key to building privacy-preserving applications. Starknet makes verifying these proofs both cheap and seamless, enabling the scalable development of ZK-enabled apps. The goal, therefore, is to constantly expand the umbrella of developers who enjoy access to efficient proof verification on Starknet.

To that end, StarkWare and the Starknet Foundation now collaborate with Aztec, a leading privacy network, to introduce a new wave of developers to Starknet. Anyone using Noir—the popular ZK language—can now verify Noir proofs on Starknet without needing to write any Cairo code. This is made possible with the Garaga SDK, developed by Feltroid Prime and supported by StarkWare. So whether you are a Noir developer or a Cairo developer, you can now verify efficiently on Starknet.

Starknet: A hub for ZK-enabled apps

Starknet’s native smart-contract language, Cairo, is purpose-built to harness the unparalleled power of STARK proofs. But the Starknet ecosystem continues to ensure developers using other programming languages can also benefit from Starknet’s capabilities, turning Starknet into a hub for ZK-enabled apps.

Using Garaga, Noir developers can compile their programs to automatically generate a Cairo verifier, deploy it on Starknet, and verify proofs without writing any Cairo code—all while enjoying lower fees and enhanced performance. This makes it possible for Noir developers to build scalable applications ranging from ZK machine learning (ZKML) to Layer 2 (L2) and Layer 3 (L3) appchains, to other ZK-enabled dApps.

How Garaga SDK works

Garaga makes deploying Noir verifiers on Starknet effortless. Here’s how it works:

  • Noir-program compilation: When you compile your Noir code using Garaga, it automatically produces a Noir prover, and a Noir verifier contract written in Cairo.
  • Easy deployment: The generated verifier is ready for immediate deployment on Starknet. This means you don’t need to learn or write Cairo—Garaga handles the heavy lifting.
  • Cost & performance benefits: By moving proof verification to Starknet, developers can leverage significantly lower transaction fees and faster processing than traditional onchain verification methods.

Get started

Whether you’re an experienced Noir developer or just beginning your journey into ZK proofs, Garaga offers a cost-effective, high-performance platform to bring your ideas to life.

For more detailed steps, see the Garaga documentation on generating a Starknet smart contract from your Noir program, or start building with Cairo today.