Mach-34 / Grapevine

Like ethdos except degrees of separation from phrase
6 stars 1 forks source link

Fix: Proof Chain Reorg Reintroductoin #76

Open jp4g opened 3 months ago

jp4g commented 3 months ago

Reorganization of proof chains was commented out to add in nullifiers. Should add this back in so that proof availability updates for lower degree opportunities for provers + removing old non-dependent proofs