Ecosystem Vision

Back to Organizations

MoveBit

MoveBit provides smart contract security audits and developer tools for Move ecosystem blockchains using formal verification techniques.

Unit 1047, 10/F, Building 19W, 19 Science Park West Avenue, Hong Kong Science Park, Pak Shek Kok, N.T., Hong Kong

Overview

Projects (7)

Description

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.