// Web3 & AI Security
Research-driven AI & Web3 security organization.
Based in Singapore. Focused on protocol-level security, formal verification, and adversarial AI research.
// What we do
Research Areas
01
Smart Contract Security
Formal verification, invariant testing, and protocol-level audits for DeFi and infrastructure contracts.
02
AI Safety & Adversarial Research
Studying failure modes, adversarial inputs, and alignment risks in production AI systems.
03
Cryptographic Protocol Analysis
Reviewing zero-knowledge systems, MPC implementations, and consensus mechanisms for correctness.
// Selected work
Security Notes
2025-12-01CriticalReentrancy via callback in staking module
2025-11-15HighArithmetic precision loss in AMM curve
2025-10-22MediumStale oracle price in liquidation path
2025-09-30HighUnvalidated input in ZK-proof verifier
2025-08-14MediumModel inversion attack on federated endpoint
// Get in touch
Work with us
We collaborate selectively with protocol teams, infrastructure builders, and research organizations.
security@vulith.io