请阅读Solayer的Q1更新。 他们在为链上应用程序构建基础设施方面取得了长足的进步。 两个关键更新： 首先，InfiniSVM和Fuzzland的团队现在完全属于Solayer。 这将ZK证明和智能合约安全方面的深厚专业知识集中在一个屋檐下。 其次，他们正在开发两个核心层： •使用InfiniSVM技术的证明层。它最近在短短16秒内运行了一个1500万约束的ZK电路。这解锁了zkBridges、DePIN和合同验证等新用例。 •结合模糊测试和形式验证的安全层。在内部测试中，他们的引擎在7个项目中发现了27个错误。 他们还开源了一些工具，如Iodine，一种快速的ZK电路运行器，以及CirC，一种用于构建通用电路的语言。 总体而言，@solayer_labs正在悄悄构建关键工具，使智能合约更快、更安全、更易于使用。 公共产品发布即将到来。 完整的Q1更新-