How do I generate a ZK proof with Barretenberg?

Run bb prove -b circuit.json -w witness.gz --write_vk --verifier_target evm -o target/. Needs Prover.toml inputs set.

What is a verification key in Noir ZK proofs?

VK encodes circuit structure—gates, types. Reusable for any valid proof. Generated with --write_vk; used in verify and Solidity.

Yes. bb write_solidity_verifier spits EVM-compatible HonkVerifier. ~500k gas first verify; reuse slashes it. Works on L2s too.

🛠️ Developer Tools

You've compiled your Noir circuit. Now prove it cryptographically and slam it on Ethereum. But at what gas cost? This tutorial reveals the numbers.

Open Source Beat Apr 07, 2026 3 min read

Barretenberg proves Noir circuits in 29ms for simple checks, generating tiny 7.5KB proofs. 𝕏
EVM-targeted verifiers use precompiles for ~200k gas on L2s—deploy once, verify forever. 𝕏
VK reuse across proofs makes Noir scalable for production ZK apps, but watch memory on big circuits. 𝕏

Published by

Community-driven. Code-first.

#Aztec Noir #Barretenberg #EVM verifier #Noir ZK #Noir zkVM #ZK proofs #nargo #zk-proofs-evm

Get the best Open Source stories of the week in your inbox — no noise, no spam.

Originally reported by Dev.to