Services & Pricing
Expert-Led Security
Without the Enterprise Price Tag
All fixed-scope engagements include a written findings report with severity-rated issues and remediation guidance. Remediation review is included at no additional cost in Standard and Complex tiers.
ℹ
Pricing Transparency: All prices are fixed-scope starting points confirmed after a scoping call and provided in writing before any engagement begins. We do not bill hourly on fixed-scope engagements — you always know what you will pay before we start. All services are delivered as security reviews, not formal audit certifications.
Service 01
Smart Contract Security Review
SolidityOpenZeppelinERC-20DeFiStakingAMM
Starting at
$8,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 review
- ✓Upgrade proxy pattern safety (UUPS, Transparent)
Pricing
Token / Simple
ERC-20, ERC-721, basic logic · ~1 week
$8,000 – $12,000
DeFi Protocol
AMM, lending, staking, multi-contract · 1–3 weeks
$12,000 – $25,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 review round.
Service 02
ZK Circuit Audit & Review
Halo2Plonky2Groth16STARKscircom
Starting at
$15,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 review
Pricing
Basic
Single circuit, under 500 nSLOC · 1–2 weeks
$15,000 – $20,000
Standard
Multi-circuit, 500–2,000 nSLOC · 2–3 weeks
$20,000 – $28,000
Complex
Full ZK system with verifier contracts · 3–4 weeks
$28,000 – $35,000
Re-audit / Remediation
Post-fix verification round
$4,000 – $10,000
ZK circuit audits require deep cryptographic expertise that most audit firms do not have. Our ZK expertise comes from production implementation of Halo2 SHPLONK/KZG and Plonky2 circuits deployed on Ethereum testnets — not academic familiarity alone.
★FIRST-MOVER PRICING — No established market for AVS audits yet. Maarai Labs has hands-on production AVS deployment experience.
Service 03 · EigenLayer AVS Security Review
EigenLayer AVS Security Review
ServiceManagerOperatorRegistryTaskManagerSlashingConditionsRust Operator Node
Starting at
$12,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 review
- ✓Stake-weighted censorship and collusion analysis
Pricing
Core Contracts
ServiceManager, Registry, TaskManager, Slashing · 1–2 weeks
$12,000 – $20,000
Full System + Operator Node
Contracts + Rust operator node + economic analysis · 2–3 weeks
$20,000 – $30,000
Re-audit / Remediation
Post-remediation verification
$4,000 – $8,000
Monthly Retainer
Ongoing coverage as your AVS evolves
$3,000 – $8,000/mo
Maarai Labs has designed, built, and registered a complete EigenLayer AVS — ServiceManager, OperatorRegistry, TaskManager, SlashingConditions, and a live Rust operator node on Sepolia. This is hands-on production experience that most audit firms cannot match.
Service 04
ZK Proof Integration Consulting
Circuit DesignProver ServerVerifier DeploymentFrontend IntegrationKZGSHPLONK
Starting at
$175/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
Ongoing technical support, minimum 2 hours
$175 – $250/hr
Fixed Scope Engagement
Defined deliverable, timeline agreed upfront
$8,000 – $15,000
Monthly Retainer
Ongoing ZK engineering support
$3,000 – $6,000/mo
Service 05
Technical Whitepaper & Research Writing
WhitepapersArchitecture DocsGrant ApplicationsResearch ReportsTokenomics
Starting at
$2,000
What We Cover
- ✓Protocol whitepaper — full technical specification document (15–25 pages)
- ✓Architecture documentation for investor and audit readiness
- ✓Grant applications — EigenLayer, Ethereum Foundation, NSF SBIR
- ✓Tokenomics design and economic model documentation
- ✓Technical blog posts and ecosystem research reports
- ✓Security findings summaries for public disclosure
Pricing
Protocol Whitepaper
Full technical specification, 15–25 pages · 2 revision rounds
$4,000 – $8,000
Research Report
Focused technical analysis or comparison
$2,000 – $5,000
Grant Application
EigenLayer, Ethereum Foundation, NSF SBIR
$2,000 – $3,500
Architecture Doc
System design documentation
$2,000 – $3,500
Market Comparison
Maarai Labs vs. Top-Tier Audit Firms
| Protocol Type | Top-Tier Firm Cost | Maarai Labs Cost | Savings |
|---|---|---|---|
| Simple Token / ERC-20 | $15,000 – $30,000 | $8,000 – $12,000 | Up to 60% |
| DeFi Protocol (AMM, Staking) | $50,000 – $100,000 | $12,000 – $25,000 | Up to 75% |
| ZK Circuit (Halo2 / Plonky2) | $40,000 – $80,000 | $15,000 – $35,000 | Up to 65% |
| EigenLayer AVS | No established market | $12,000 – $30,000 | First-mover |
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.