Cysic的下一代ZK Prover：图形优先 🔥 ZK证明系统大多数共享着从未怀疑过的共同架构假设。 将Prove()函数视为一个完全的黑箱。 硬件绝对无法一次性看到所有运算，而是一次只看到一个内核(Kernel)。 这个假设的名称是HAL。 我来告诉你Cysic为什么要替代HAL！