Boldstart Ventures led the round for the startup, which helps developers avoid vulnerabilities in smart contract code.