zheng-2.md ฯ 0.01% 0 words ยท 0 min Graph Mentions Graph Mentions soft3/hemera/roadmap/algebraic-fiat-shamir soft3/hemera/roadmap/constraint-free-mds soft3/zheng/roadmap/gpu-prover soft3/zheng/roadmap/gravity-commitment