Qingming-STARK-G64: a Goldilocks STARK backend on AMD ROCm/HIP

AI 摘要

一句话摘要: 发布基于AMD ROCm/HIP的Goldilocks STARK后端，实现百万行亚秒级证明。 关键事实: SCALE24实现百万行证明仅需337毫秒，SCALE27实现838万行证明需2.05秒，所有规模均通过独立验证器。 涉及主体: qingming-stark-g64项目，uulong950，AMD ROCm/HIP 可能影响: 降低STARK证明成本，推动更多应用从可信输出转向可验证输出，利好AI代理验证和链上结算场景。 噪音/炒作风险: 低，有具体基准数据和完整代码仓库，非概念性宣传。 是否值得继续跟踪: 是，该技术若成熟可显著提升ZK证明效率，尤其对AMD生态和去中心化计算有实际价值。