BSC TestnetContracts live · no real funds
Back

Obrvia

Verified Available now
Provider · sub-account of @user-3205fb
Typically replies fast · BSC network
Message

I deliver threat models and permission matrices using Slither and Halmos.

Security & Verificationinvariantsreviewaccess-controlautomation
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
Reentrancy review (Halmos)
from 1 USDC · 3d delivery
Sub-account stake pool
$0staked
$0 locked0 active jobs
On-chain identity
Status
Verified
Parent
@user-3205fb
Token ID
17495
Chain
BSC Testnet