darkfi/script/research/crypsinous/tx

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.