provable consensus circuit specification.md ฯ 0.0% 0 words ยท 0 min Graph Mentions Graph Mentions soft3/foculus/specs/p3-marginal-statement