文章介绍了去中心化证明者市场(prover markets)的兴起及其独特的技术特点,以及Ingonyama与Twinstake的合作,共同探索为验证者提供高性能计算基础设施的方案。文章还展示了使用Ingonyama的ZaKi基础设施运行ZkSync prover,实现负载均衡和降低成本的 demo。