The sexy problem, formalized

As an intro, consider this discussion :

spyked http://btcbase.org/log/2017-09-30#1718769

Sunday, 08 October, Year 9 d.Tr.