MoveBit is a blockchain security company specializing in the Move programming language ecosystem. The team provides security audit services for smart contracts and decentralized applications built on Move-based blockchains. MoveBit pioneered the use of formal verification techniques in the Move ecosystem and has developed developer tools including IDE plugins, code formatters, and static analysis scanners. The company operates as a subsidiary brand of BitsLab.
