darkfi/script/research/crypsinous/tx

block

layout of the block structure $$ B = (tx{lead}, st) $$ $$st = Vec$$ 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 snc: 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$

ideal transaction

$$tx_{xfer}^{ideal} = ((PUBLIC,TRANSFER),(pkr,(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) $$ $cr$ is the slot encrypted of $stx{rcpt}$ by $pkr$ $$ 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.