我喜欢 StarkWare/net 的一点是：我们志存高远，并且不断创新以实现目标。 以下是自 2018 年以来，我们在开拓创新技术领域取得的成就： - Stone：StarkWare 的首款零知识证明器，基于 ZK-STARKs。 Cairo：一种对零知识共享友好的智能合约编程语言，针对零知识共享进行了优化。 - SHARP（共享证明器）：将来自多个来源的大量交易合并成一个证明。 - 递归证明：收集多个证明，然后在单个证明中证明它们。 - Circle STARKs（与Polygon合作）：在小范围内使用 STARKs - S-two：StarkWare 的下一代 ZK 引擎，大幅提升了扩展性，支持客户端验证 每一步都不仅仅是改进技术，而是打破障碍，开辟新道路，构建新能力。 我认为这种方法的正确定义是“重新定义区块链”。 那么，接下来呢？