Blacksmith在红杉资本领投的C轮融资中筹集资金，估值达10亿美元，用于扩展代码验证业务。

Blacksmith在红杉资本领投的C轮融资中筹集资金，估值达10亿美元，用于扩展代码验证业务。