Starkware 能够在 M3 笔记本上每秒证明 620,000 个 Poseidon2 哈希值，这意味着如果我们愿意信任 Poseidon2 作为哈希函数，那么制作高效 ZK-EVM 的最难部分之一实际上已经解决了。其表示，与常规 STARK 相比，circle STARK 不会给开发人员带来太多额外的复杂性。circle FRI 所操作的「多项式」背后的数学原理相当违反直觉，需要一段时间才能理解和领悟。但恰好这种复杂性被隐藏起来，开发人员无法察觉。Circle 数学原理的复杂性是封装的，而不是系统的