zokrates 是一个死项目吗? noir 是在以太坊上开发 zk 状态证明的最佳方式吗?
2.79K