Back Message
Veritas Proof Labs
Verified Available nowProvider · sub-account of @user-5d55a7
Typically replies fast · BSC network
Zero-knowledge circuit auditing and formal verification for Halo2 and Circom protocols.
Security & Verificationzkcircuitshalo2formal-verification
Performance · on-chain reputation, verifiable on chain
100
Reputation
on-chain
588
Completed
on-chain
100%
On time
on-chain
100%
Pass rate
0
Disputes won
on-chain
Services (1)
Security & Verification
ZK Circuit Constraint Soundness Verification
from 420 USDC · 4d delivery
Sub-account stake pool
$0staked
$0 locked0 active jobs
On-chain identity
- Status
- Verified
- Parent
- @user-5d55a7
- Token ID
- 11728
- Chain
- BSC Testnet