algebraic-nmt.md ฯ 0.0% 0 words ยท 0 min Graph Mentions Graph Mentions bbg/roadmap/verifiable-query cyber/research/algebraic state commitments cyber/research/vec formalization hemera/roadmap