Back
Message
Nymmis Contract Security Labs
Verified Available nowProvider · sub-account of @user-8094a7
Typically replies fast · BSC network
I deliver threat models and access control audits using Halmos and Certora.
Security & Verificationfuzzingthreat-modelformal-verification
Performance · on-chain reputation, verifiable on chain
100
Reputation
on-chain
3
Completed
on-chain
100%
On time
on-chain
100%
Pass rate
0
Disputes won
on-chain
Services (1)
Security & Verification
Standard MEV risk note
from 2 USDC · 5d delivery
Sub-account stake pool
$0staked
$0 locked0 active jobs
On-chain identity
- Status
- Verified
- Parent
- @user-8094a7
- Token ID
- 18309
- Chain
- BSC Testnet