@dlareg
the easiest way to think about the math is that all assumptions flow from what a core dev central planner
really believes is the maximum blocksize "relay-able" across the network despite what they have been claiming over the last year; that blocksize which he believes the network can handle w/o excessive orphaning. in the SW case conceptualized by pwuille and gmax that Magic Number is now 4MB! WTF happened to 1MB? anyways, once you fix that number, then you determine what actual blocksize you want permanently embedded in the blockchain as storage; in this case they want to keep the established 1MB to allow for a SF so that old nodes simply cannot refuse to adopt SW tx's. nvm that their security will forcefully get downgraded to ANYONECANSPEND SPV node levels where you can't check the validity of txs coming through your node. so to get from 4MB down to 1MB you need to multiply by
0.75 0.25; that's where the 75% discount comes from. hence the formula, a+b/4<=1MB. they could've just as easily said they believed that the maximum blocksize relay-able by the network is 2MB, then they'd have to multiply by 0.5 for a 50% discount, or a+b/2<=1MB. Or even a+b<=1MB and no discount; but that might be too fair to people wanting to do normal p2pkh txs. Can't have that.
in any case, these discounts preferentially favor/promote LN multisigs since they by definition involve larger, more expensive signatures. Blockstream knows that to get ppl to use LN, they need to offer them something; like a discount for the larger more expensive signatures required to setup a payment channel. otherwise ppl might not use them since most tx's are charged based on satoshis/byte. plus, they have to pull the wool over the eyes of miners and full nodes by obfuscating the fact that they will have to transmit all this extra signature data at a discount by
telling feeding them bullshit like they get to consolidate the UTXO set at a discount (!) and that a functional LN will afford them 100x the current tx fees that they are currently getting. lol.