|
@@ -0,0 +1,32 @@
|
|
|
|
|
+# block
|
|
|
|
|
+
|
|
|
|
|
+layout of the block structure
|
|
|
|
|
+$$ B = (tx_{lead}, st) $$
|
|
|
|
|
+$$st = Vec<Transaction>$$
|
|
|
|
|
+st: is the encoded directed transactions , general purpose transactions,or public transactions (for everyone).
|
|
|
|
|
+$$tx_{lead} = (LEAD,st\overrightarrow{x}_{ref}, stx_{proof})$$
|
|
|
|
|
+$st\overrightarrow{x}_{ref}$: is the vector of previous $tx_{lead}$ done with the same coin (in case the same coin is used for competition).
|
|
|
|
|
+$$stx_{proof} = (cm_{c^{'}}, sn_c, ep, sl, \rho, h, ptr, \pi)$$
|
|
|
|
|
+cm_c': coin commitment
|
|
|
|
|
+sn_c: coin serial number
|
|
|
|
|
+ep: epoch number
|
|
|
|
|
+sl: slot index
|
|
|
|
|
+$\rho$: coin nonce defined as $\mu^{sk^{COIN}_{sl}}$
|
|
|
|
|
+h: hash of the block
|
|
|
|
|
+ptr: hash of previous block
|
|
|
|
|
+$\pi$: proof of leadership
|
|
|
|
|
+
|
|
|
|
|
+# Transaction in st = $Vec<Transaction>$
|
|
|
|
|
+
|
|
|
|
|
+## ideal transaction
|
|
|
|
|
+$$tx_{xfer}^{ideal} = ((PUBLIC,TRANSFER),(pk_r,(pk^{COIN}_{4},v_4)),(pk_s,(id_1,v_1),(id_2,v_2),(id_3,v_3))) $$
|
|
|
|
|
+
|
|
|
|
|
+## real transaction
|
|
|
|
|
+
|
|
|
|
|
+$$tx_{xfer}^{real} = (TRANSFER,stx_{proof},c_r) $$
|
|
|
|
|
+$c_r$ is the slot encrypted of $stx_{rcpt}$ by $pk_r$
|
|
|
|
|
+$$ stx_{rcpt} = (\rho_{c3}, r_{c3}, v_{c3}) $$
|
|
|
|
|
+$$stx_{proof} = ({cm_{c3},cm_{c4}}, {sn_{c1}, sn_{c2}}, \tau, root, \pi) $$
|
|
|
|
|
+
|
|
|
|
|
+## local storage of transaction
|
|
|
|
|
+ from decrypted real transaction calculate only store the ideal transaction, beside $(pk_c^{COIN}, \rho_c, r_c, v_c)$ for spending.
|
mohab metwally