What we build
- Audityzer — autonomous smart contract scanner, 14 vulnerability patterns (reentrancy, overflow, tx.origin, selfdestruct, flash-loan, price-oracle, front-running, signature-replay, DoS, unauthorized-config, night-spike-IoT...)
- Policy Engine — OPA/Rego real-time IoT anomaly detection via MQTT/NATS
- PQC Layer — Post-quantum cryptography ML-KEM / ML-DSA (NIST FIPS 203/204)
Spaces
| Space | Description |
|---|---|
| audityzer-demo | Gradio — Solidity smart contract scanner |
| iot-policy-simulator | Gradio — IoT policy alert simulator |
| pqc-key-demo | Gradio — ML-KEM key generation demo |
| brave1-risk-assistant | Gradio — AI risk register for Brave1 & defense-adjacent orgs |
Traction
- Diia.City resident since 11.03.2026
- 4 demo audits completed
- 2 AI Spaces live on HF: audityzer-demo + brave1-risk-assistant
- BRAVE1 application in progress
- EU Cyber Resilience Act ready
Contact
- Website: auditorsec.com
- Telegram: @audityzerbot
- GitHub: romanchaa997/Audityzer