StarkWare 正在开发一种名为 Stwo 的新 proving 系统，它将实现突破性的 Circle STARK，解锁高效的素数域 M31。Stwo 将从一开始就以 Apache 2.0 开源，包括公共 Starknet 和 Starknet 应用链在内的系统将受益于 Stwo。
本文介绍了RC-STARKs，它通过利用复数域上的FFT，并识别问题中的对称性，使得在M31域上使用STARKs成为可能，并能有效利用现有的硬件优化。RC-STARKs在性能上与Circle STARK相当，但由于其对FFT的直接利用，具有更好的硬件兼容性。本文还分享了作者阅读研究论文的经验和方法。
starkware
ingonyama