Smart Contract Security Dashboard
Zero-latency static invariant analysis for Solana Anchor and Arbitrum / EVM smart contracts.
Security Audit Subscription
Direct wallet-to-wallet payment. No intermediaries, instant protocol access.
Pro Security Plan
StandardIdeal for independent developers and smart contract engineers.
- Full AST Vulnerability Inspector
- Multi-Chain Support (SVM & EVM)
- On-Chain Attestation Proof
Enterprise Plan
EnterpriseComprehensive security audit for production Web3 protocols.
- All Pro Features Included
- Reentrancy & DoS Deep Logic Scan
- Official Protocol Verification Badge
Smart Contract Security Scanner
Upload contract, paste code, or link public GitHub repository.
Supports single smart contract files (.sol or .rs) from public GitHub repositories.
Click to upload smart contract file (.sol or .rs)
Maximum file size: 2MB
Vulnerability Findings & Remediations
Exploit analysis, impact traces, and patch recommendations.
No Invariant Violations Detected
Impact Analysis
Target smart contract successfully passed all AST verification checks. Reentrancy protections and access control validations are fully satisfied.
Automated CI/CD Security Gates
Block vulnerable Pull Requests before deployment on Solana or Arbitrum mainnet.
.github/workflows/zoniq-guard.yml
name: Zoniq Guard Security Gate
on: [push, pull_request]
jobs:
smart-contract-audit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Run Zoniq Guard Analyzer
uses: zoniq/guard-action@v2
with:
api-key: ${{ secrets.GUARD_API_KEY }}
fail-on-severity: 'CRITICAL,HIGH'
solana-programs: './programs/**/src/lib.rs'
arbitrum-contracts: './contracts/**/*.sol'GitHub Pull Request Review Simulation
Target file TargetContract.sol satisfies all AST security invariants.
Continuous integration pipeline successfully authorized pull request merge.
Cryptographic Proof of Audit
Verifiable on-chain attestation certificate for dApp releases.
PROOF OF CODE AUDIT
Issued by Zoniq Guard Deep AST Security Suite
Scan to verify attestation record against Arbitrum One L2 & Solana SVM Registry.
Security Rule Configuration
Enable or toggle custom AST inspection rules for SVM & EVM analyzers.
Solana Anchor Rules (SVM)
Flags authority/admin accounts defined with generic AccountInfo instead of enforced Signer.
Ensures PDA seeds definitions mandate explicit bump validation to prevent address collision exploits.
Arbitrum & EVM Rules (Solidity AST)
Detects ether/token transfers invoked without nonReentrant modifiers or prior state updates.
Flags public functions managing treasury or emergency actions missing onlyOwner/roles.