PolyhedraZK/Expander 是一个开源的 GKR 证明器，专为大规模并行计算设计。 其价值在于：在 README 和活动匹配具体工作流程时，PolyhedraZK/Expander可能会有用。 典型接入方式：需要手动检查和确认接入信号，因为发现的元数据中接入信号较少。生产可用性：中等，适合用于原型或内部工