ZK-SNARKs 和 ZK-STARKs 都是零知识证明的变种，它们的共同点是在不泄露敏感信息的情况下证明某些数据或操作的有效性。但是，它们的实现方式、性能和应用范围有所不同。