STARKs 和 SNARKs 本应取代乐观汇总。它们做到了吗?
161