Proof verification and bounty system. Solve hard problems, earn $HEAL, and strengthen the humanitarian infrastructure.
84
Total Bounties
61
Solved
1.9M
$HEAL Distributed
347
Active Provers
Independently verify the rank-2 case of the Birch and Swinnerton-Dyer conjecture using formal methods.
Improve the greedy approximation for multi-constraint knapsack in the $HEAL donation router.
Provide a formal proof that the min-cost flow solution is optimal for our water-charity routing graph.
Use Coq or Lean to formally verify safety properties of the $HEAL ERC-20 token contract.
Prove regularity for the 3D incompressible Navier-Stokes equations in a restricted initial-data class.
Provide a new relativization or natural-proof barrier result with implications for humanitarian optimization.
| Rank | Prover | Won | $HEAL |
|---|---|---|---|
| 1 | Dr. Maryam Hosseini | 12 | 142,000 |
| 2 | Liam Chen | 9 | 98,000 |
| 3 | Ava Petrov | 8 | 87,500 |
| 4 | Rajan Gupta | 7 | 76,000 |
| 5 | Nina Okafor | 5 | 54,000 |
Donation Allocation
by Liam Chen · 2026-04-05
0x7a3f...e91b$HEAL Contract Verification
by Ava Petrov · 2026-04-03
0xb2c8...3d4fWater Network Proof
by Dr. Maryam Hosseini · 2026-03-28
0x91ef...a720Allocation Optimizer v2
by Rajan Gupta · 2026-03-22
0x4d5c...8b1e