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的实现
