就像 ethproofs 一样,需要一个用于 N zkvms 的生产网站,并对一组静态程序进行夜间基准测试。 谁在构建这个?