Services & Pricing
ZK Circuit & EigenLayer AVS Security
Built by the People Who've Done It
Most audit firms encounter ZK circuits and EigenLayer AVS for the first time at the scoping call. We have built these systems from scratch — from constraint design through on-chain verification — which means we know exactly where the vulnerabilities hide. All fixed-scope engagements include a written findings report with severity-rated issues and remediation guidance.
ℹ
Pricing Transparency: All prices are fixed-scope starting points confirmed after a scoping call and provided in writing before any engagement begins. You always know the exact cost before work starts. Hourly billing applies only to ZK Integration Consulting when engaged on an ongoing basis. All engagements produce a written security audit report with severity-rated findings. Maarai Labs does not issue certification seals or formal compliance attestations.
Service 01
Smart Contract Security Audit
SolidityOpenZeppelinERC-20DeFiStakingAMM
Starting at
$10,000
What We Cover
- ✓Reentrancy and cross-function reentrancy attack vectors
- ✓Access control and privilege escalation vulnerabilities
- ✓Integer overflow, underflow, and precision loss
- ✓Oracle manipulation and price feed attack vectors
- ✓Flash loan attack surface analysis
- ✓Economic invariant and tokenomics audit
- ✓Upgrade proxy pattern safety (UUPS, Transparent)
Pricing
Token / Simple
ERC-20, ERC-721, basic logic · ~1 week
$10,000 – $15,000
DeFi Protocol
AMM, lending, staking, multi-contract · 1–3 weeks
$15,000 – $30,000
Complex / Multi-contract
Cross-chain, bridges, full ecosystem · 3–6 weeks
$25,000 – $38,000
Security Retainer
Monthly ongoing coverage + priority response
$3,000 – $8,000/mo
All fixed-scope tiers include a written findings report with severity-rated issues (Critical → Informational) and at least one remediation audit round.
Service 02
ZK Circuit Audit
Halo2Plonky2Groth16STARKscircom
Starting at
$35,000
What We Cover
- ✓Constraint system analysis — under-constrained signal detection
- ✓Fiat-Shamir transcript integrity verification
- ✓Trusted setup compliance and ceremony validation
- ✓On-chain verifier contract matching and soundness
- ✓Proof forgery attack surface analysis
- ✓Prover server, API, and frontend integration audit
Pricing
Basic
Single circuit, under 500 nSLOC · 1–2 weeks
$35,000 – $45,000
Standard
Multi-circuit, 500–2,000 nSLOC · 2–3 weeks
$45,000 – $55,000
Complex
Full ZK system with verifier contracts · 3–4 weeks
$55,000 – $65,000
Re-audit / Remediation
Post-fix verification round
$6,000 – $12,000
Our ZK expertise is grounded in building a complete privacy transfer system from constraint design through on-chain verification — custom Poseidon Merkle trees proven in-circuit, SHPLONK/KZG proof generation using halo2-solidity-verifier, and a Solidity verifier contract deployed and verified on Sepolia. We understand under-constrained signal vulnerabilities, Fiat-Shamir transcript integrity, and verifier-prover soundness because we debugged them, not because we read about them.
★SPECIALIST COVERAGE — No established audit market for EigenLayer AVS exists. Maarai Labs has end-to-end production AVS build experience.
Service 03 · EigenLayer AVS Security Audit
EigenLayer AVS Security Audit
ServiceManagerOperatorRegistryTaskManagerSlashingConditionsRust Operator Node
Starting at
$25,000
What We Cover
- ✓ServiceManager and operator opt-in / opt-out logic
- ✓OperatorRegistry stake enforcement and deregistration
- ✓TaskManager lifecycle — Created, Responded, Verified, Expired
- ✓ECDSA threshold signature correctness
- ✓Slashing condition logic and economic attack vectors
- ✓Operator node (Rust) security audit
- ✓Stake-weighted censorship and collusion analysis
Pricing
Core Contracts
ServiceManager, Registry, TaskManager, Slashing · 1–2 weeks
$25,000 – $35,000
Full System + Operator Node
Contracts + Rust operator node + economic analysis · 2–3 weeks
$35,000 – $50,000
Re-audit / Remediation
Post-remediation verification
$5,000 – $10,000
Monthly Retainer
Ongoing coverage as your AVS evolves
$3,000 – $8,000/mo
Maarai Labs designed and built a complete EigenLayer AVS from scratch — ServiceManager, OperatorRegistry, TaskManager, SlashingConditions, and a live Rust operator node deployed on Sepolia. Building this system revealed that stake-weighted censorship and operator collusion vectors are systematically underspecified in most AVS architectures — the exact class of vulnerabilities our audit process is built to surface.
Service 04
ZK Proof Integration Consulting
Circuit DesignProver ServerVerifier DeploymentFrontend IntegrationKZGSHPLONK
Starting at
$250/hr
What We Cover
- ✓ZK circuit architecture and constraint design consultation
- ✓Prover server setup and REST API configuration
- ✓SRS parameter selection and KZG trusted setup guidance
- ✓Solidity verifier contract deployment and chain verification
- ✓Frontend proof generation integration and performance tuning
- ✓Transcript compatibility validation across prover and verifier
Pricing
Hourly Consulting
Minimum engagement: 4 hours ($1,000) · billed in 1-hr increments
$250/hr
Fixed Scope Engagement
Defined deliverable, timeline agreed upfront
$8,000 – $15,000
Monthly Retainer
Ongoing ZK engineering support · no per-session minimum
$3,000 – $6,000/mo
Market Comparison
Maarai Labs vs. The Audit Landscape
Mid-tier firms: Sherlock, Cyfrin, Hacken. Top-tier firms (Trail of Bits, Spearbit): $100K–$300K per engagement, 8–16 week queues. Sources: Sherlock Audit Pricing Guide (2026) · 7BlockLabs Market Analysis (Jan 2026) · Arbitrum ARDC Governance Proposal.
| Protocol Type | Mid-Tier Firms (Sherlock · Cyfrin · Hacken) | Maarai Labs | Maarai Availability |
|---|---|---|---|
| Simple Token / ERC-20 | $15,000 – $40,000 | $10,000 – $15,000 | ~1 week · Book now |
| DeFi Protocol (AMM, Staking) | $30,000 – $70,000 | $15,000 – $30,000 | 1–3 weeks · Book now |
| ZK Circuit (Halo2 / Plonky2) | Rarely offered at any price | $35,000 – $65,000 | 2–4 weeks · One of few firms globally |
| EigenLayer AVS | Not available | $25,000 – $50,000 | 2–3 weeks · No established alternative |
Not Sure Which Service You Need?
Describe your project and we will tell you exactly what scope is appropriate. Free scoping call, fixed-price quote within 48 hours.