Correct Noir toolchain, circuit, and EVM verifier integration mistakes.
npx skills add https://github.com/collat-labs/collat --skill noir-collat-labs
Please help me install this Agent Skill. Skill: noir Source: https://github.com/collat-labs/collat/tree/main/.agents/skills/ethskills/noir Command: npx skills add https://github.com/collat-labs/collat --skill noir-collat-labs
It prevents common, costly mistakes when building ZK privacy applications on EVM with the Noir toolchain, verifiers, and NoirJS proof generation.
Use the Noir-based privacy app approach to compile your circuit, generate the verifier with the correct oracle hash, and wire NoirJS proof calldata into your deployed Solidity verifier and app contract for an EVM privacy workflow.
High-intent search queries and answers about installing and using this skill.
Generating a Solidity verifier for a Noir circuit requires using the correct Barretenberg proving commands to produce EVM-compatible artifacts, ensuring strict public input ordering and verifier ABI alignment for contract integration.
The commitment-nullifier pattern in ZK privacy applications prevents double-spending and replay attacks by binding proofs to specific actions, ensuring action-scoped unlinkability while managing offchain Merkle tree mirroring and onchain root acceptance.
Wiring NoirJS proof generation into an EVM app requires generating browser-based proofs with NoirJS and routing the resulting calldata into your deployed Solidity verifier and app contract to complete the onchain verification workflow.
Noir supports offchain Merkle tree mirroring for EVM privacy by guiding end-to-end Merkle app wiring, which covers offchain tree state synchronization, onchain root acceptance policies, and nullifier replay protection for production deployments.
A Noir Solidity verifier rejects proof calldata when there is mismatched public input ordering, incorrect oracle hashing, or verifier ABI misalignment. Ensuring strict compatibility across the circuit-to-contract integration resolves these deployment hand-off errors.
PaulRBergBuild EVM dApps with Viem and Wagmi for typed contract interactions.
thistleknotGenerate formally verified code using LLM-guided verification loops with verifier feedback for Rust, Dafny, and Lean 4 targets.
aaronbassettGenerate ZK proofs server-side with synchronous and asynchronous workflows.
SolizardkingManage clawd-zk program operations for model attestation and proof verification.
