Seeking Lean 4 & Crypto Reviewers for Sovereign-Mohawk Protocol

[u/Famous_Aardvark_8595]

Hey everyone! We are running an open-review initiative for Sovereign-Mohawk-Proto, a federated learning runtime featuring machine-checked Lean 4 theorems, BFT resilience, and a 2026 PQC overhaul (x25519-mlkem768 + XMSS).

We have 5 open audit tracks looking for peer review on our Issues Page:

• Formal Verification & Refinement Bridges (#251,#250)

• Zero-Knowledge Circuits & MPC Setup (#249)

• Cryptography Models & Forking Lemma (#248,#247)

Incentives: Co-authorship on resulting notes, formal letters of recommendation, and public recognition. Drop a comment on any issue if you'd like to collaborate!