Hachi Security is a specialized research organization focused on security, programming language theory, and formal methods on the Cardano blockchain. The team develops advanced security toolkits and analysis frameworks specifically for Plutus Core, Cardano's smart contract language. Founded with support from MELD Labs and collaboration with Tweag, Hachi has contributed significant open source research to improve Cardano ecosystem security.
Hachi Security
Hachi Security conducts Cardano blockchain security research, building formal methods and tools for smart contract analysis.
Introduction
Information
- Website Linkhttps://hachi.one/
- X (Twitter)x.com/HachiSecurity
- Blogblog.hachi.one
- Team on GitHubgithub.com/HachiSecurity