|
|
@@ -17,5 +17,7 @@ $$sn:=PRF_{a_{sk}}^{sn}(\rho)$$
|
|
|
|
|
|
### pouring
|
|
|
pouring $coin^{old}$ into $coin_1^{new}$, $coin_2^{new}$. with $v^{old}=v_{pub}+v_1^{new}+v_2^{new}$ as follows:
|
|
|
-$$tx_{pour}:=(rt,sn^{old},cm_1^{new},cm_2^{new},\pi_{pour})$$
|
|
|
+$$tx_{pour}:=(rt,sn^{old},cm_1^{new},cm_2^{new},\pi_{pour}, enc_{pk_{enc,1}^{new}}(C_1),enc_{pk_{enc,2}^{new}}(C_2)$$
|
|
|
+$$C_i=(v_i^{new},\rho_i^{new},r_i^{new}, s_i^{new})$$
|
|
|
$\pi_{pour}$ is the pouring sk-snark proof of the spending/pouring process.
|
|
|
+address for each participant is the pair $(addr_{pk}, addr_{sk})$, $addr_{pk}=(a_{enc},pk_{enc})$, $addr_{sk}=(a_{sk}, sk_{enc})$
|
mohab