火星财经消息，AI 代码验证初创公司 Blacksmith 宣布完成 4,500 万美元 B 轮融资，Peak XV Partners 领投，GV 和 Y Combinator 跟投，公司估值达到 5.5 亿美元。