nash equilibrium.md ฯ 0.01% 0 words ยท 0 min Graph Mentions Graph Mentions cyber-valley/buildings/satoshi/cooperation cybics/crystal/consensus cybics/crystal/consistency cybics/crystal/location proof soft3/foculus/docs/explanation/overview soft3/zheng/specs/proof-types