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