Hard Fork Proposal for Changing Reward Bounty Conjectures

by Brown, Friday, October 16, 2020, 14:07 (415 days ago)

I noticed some problems with the AIM related reward bounty conjectures. Before suggesting a fix, I ran some experiments and collected the data. This led me to suggest fixes that can be used for the proposed hard fork in December. The general idea is to make the reward bounty conjectures difficult but still have some mathematical meaning. Here is a writeup ending with the hard fork proposal:

http://grid01.ciirc.cvut.cz/~chad/pfgaim.pdf

Here is corresponding code that could be incorporated into checking.ml:

http://grid01.ciirc.cvut.cz/~chad/newcheckingcode.ml