EOS中的ram购买算法（python版）

EOS自带ram购买智能合约，在eosio.system中的exchange_state.cpp，ram的购买核心思想是bancor算法，使用EOS购买RAM时，其实先从EOS通过bancor转换成中间代币RAMCORE，再从RAMCORE通过bancor转换成为RAM

EOS==(bancor算法)===》RAMCORE==(bancor算法)===》RAM

这里，RAMCORE是子币，EOS和RAM是母币，EOS和ram之间的转换是这2种母币通过子币RAMCORE来实现兑换，如果你看过bancor算法白皮书以及bancor网络在以太网上的实现的话，exchange_state.cpp中的bancor算法在公式上其实是错误的，即使在最新的代码中我也没看到有修改过来。EOS和RAM之间的转换有一种快速的转换方法，这里因为F系数一样的所以中间的2步转换可以抵消掉，如下：

R1 = FP1S
R2 = FP2S

R1：当前RAM余量
P1：当前S以R1定价的价格
R2：当前EOS余量
P2：当前S以R2定价的价格
S：当前RAMCORE余量

上述因为F是相同的，最终 R1/R2 = P1/P2，推出

pr = R2/R1
pe = R1/R2

pr：ram的价格以eos计价
pe：eos的价格以ram计价

ram的价格（以eos计价）pr = R2/R1，可以发现ram的价格只跟R1和R2相关，要想提高ram的价格可以降低R1余量或者提高R2余量来实现，要想降低ram的价格可以通过提高R1余量或者降低R2余量来实现。下面给出ram购买算法以及添加了快速购买quick_conver的python版实现

下面快速转换quick_conver的推导过程：

1）out1 = ((1 + asset_in/R1)F - 1) * S
2）S = S + out1
3）out2 = (1 - (1 - out1/S)(1/F)) * R2

asset_in：要购买ram的eos数量
R1：EOS余量
S：RAMCORE余量
out1：购买的RAMCORE数量
R2：RAM余量
out2：购买的RAM数量

最终 out2 = (asset_in/(R1+asset_in))*R2

#-*- coding: UTF-8 -*-

class exchange(object):

    def __init__(self, quote_eos, quote_ram, quote_coreram, F):
        self.quote_eos = quote_eos
        self.quote_ram = quote_ram
        self.quote_coreram = quote_coreram
        self.F = F

    def convert_to_exchange(self, asset_in, symbol):
        # Bancor算法  out = ((1 + asset_in/R)**F - 1) * S
        if symbol == 'eos':
            #out = ((1 + asset_in/(self.quote_eos+asset_in))**self.F - 1) * self.quote_coreram  eos代码中的公式其实是错的
            out = ((1 + asset_in/self.quote_eos)**self.F - 1) * self.quote_coreram
            self.quote_eos += asset_in
        elif symbol == 'ram':
            #out = ((1 + asset_in/(self.quote_ram+asset_in))**self.F - 1) * self.quote_coreram  eos代码中的公式其实是错的
            out = ((1 + asset_in/self.quote_ram)**self.F - 1) * self.quote_coreram
            self.quote_ram += asset_in
        self.quote_coreram += out

        return out

    def convert_from_exchange(self, asset_in, symbol):
        # Bancor算法  out = (1 - (1 - asset_in/S)**(1/F)) * R
        if symbol == 'eos':
            #out = ((1 + asset_in/(self.quote_coreram-asset_in))**(1/self.F) - 1) * self.quote_eos  eos代码中的公式其实是错的
            out = (1 - (1 - asset_in/self.quote_coreram)**(1/self.F)) * self.quote_eos
            self.quote_eos -= out
        elif symbol == 'ram':
            #out = ((1 + asset_in/(self.quote_coreram-asset_in))**(1/self.F) - 1) * self.quote_ram  eos代码中的公式其实是错的
            out = (1 - (1 - asset_in/self.quote_coreram)**(1/self.F)) * self.quote_ram
            self.quote_ram -= out
        self.quote_coreram -= asset_in

        return out

    # ram_out = quick_conver(eos_in)  等价于 ram_out = convert_from_exchange(convert_to_exchange(eos_in, 'eos'), 'ram')
    def quick_conver(self, eos_in):
        self.quote_eos += eos_in
        ram = (eos_in/self.quote_eos)*self.quote_ram
        self.quote_ram -= ram

        return ram


def func():
    ec = exchange(1000000., 64*1024*1024*1024., 100000000000., 0.5)
    ram = ec.convert_from_exchange(ec.convert_to_exchange(100, 'eos'), 'ram')
    ram = ec.convert_from_exchange(ec.convert_to_exchange(1000, 'eos'), 'ram')
    print(ram)


def func2():
    ec = exchange(1000000., 64*1024*1024*1024., 100000000000., 0.5)
    ram = ec.quick_conver(100)
    ram = ec.quick_conver(1000)
    print(ram)


if __name__ == '__main__':
    #验证eos到ram的快速转换
    func()
    func2()

输出结果：

> python3 et3.py
68637104.66032256
68637104.66032611

可以看到是等价的，所以当F值相同时，ram的买卖完全可以通过上述的quick_conver来代替，可惜在exchange_state.cpp中没有quick_conver的实现

最后编辑于：2018.11.19 13:29:16