7 ms·
I wonder if you misunderstood his comment as a suggested method to solve the mathematical problem? The way I read it, he was suggesting a possible way of reduc
by peterderivaz 13y ago
I wonder if you misunderstood his comment as a suggested method to solve the mathematical problem?
The way I read it, he was suggesting a possible way of reducing the size of the DRUP certificate from 13GByte by searching for common patterns, perhaps similar to the way bzip works.
- ColinWright 13y agoThe question then is whether there's any exploitable semantic structure in the certificate. I would guess not, but I don't have enough knowledge of the specifics of this problem and proof to be more certain. It just doesn't feel likely - any structure would emerge in the way the sub-sequences could be constructed, and lack of such structure is what makes this problem hard. Just a guess.