Got the proofs for Self Bitcoinization! Should be out soon!