github/darkfi
1
1
Fork 0
mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-04-28 03:00:18 -04:00
Code Issues Packages Projects Releases Wiki Activity

[doc/architecture] replace <> with () for ordered set, doesn't render

Browse Source
This commit is contained in:
ertosns
2023-10-16 16:41:24 +03:00
parent 8808455004
commit 850d5b9466
3 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
doc/src/architecture/consensus/burn.md
View File

@@ -2,8 +2,8 @@
proof of burn of staked coin.
$$ X = <sn, ep, pk_x, pk_y, root, cm_x^{value}, cm_y^{value}> $$
$$ W = <value, ep, nonce, value_{blind}, sk, \tau ,path> $$
$$ X = (sn, ep, pk_x, pk_y, root, cm_x^{value}, cm_y^{value}) $$
$$ W = (value, ep, nonce, value_{blind}, sk, \tau ,path) $$
$$ \mathcal{L}= \{X:W\in \mathcal{R}\} $$
| Public Input | Description |

4
doc/src/architecture/consensus/mint.md
View File

@@ -1,7 +1,7 @@
# leadership mint proof
$$ X = <ep, C, cm_x^{value}, cm_y^{value}> $$
$$ W = <pk_x, pk_y, value, ep, nonce, value_{blind}> $$
$$ X = (ep, C, cm_x^{value}, cm_y^{value}) $$
$$ W = (pk_x, pk_y, value, ep, nonce, value_{blind}) $$
$$ \mathcal{L}= \{X:W\in \mathcal{R}\} $$
| Public Input | Description |

4
doc/src/architecture/consensus/proposal.md
View File

@@ -19,8 +19,8 @@ a new coin that includes the block reward and is eligible to compete
in upcoming future slots.
$$ X = <sn, ep, pk_x, pk_y, root, cm_x^{value}, cm_y^{value}, reward, cm_x^{value^{out}}, cm_y^{value^{out}}, C, \mu_y, y, \mu_{\rho}, \rho,\sigma_1, \sigma_2, headstart> $$
$$ W = <sk, nonce, value, ep, reward, value_{blind}, \tau, path, value_{blind}^{out}, \mu_y, \mu_{\rho}, \sigma1, \sigma2, headstart> $$
$$ X = (sn, ep, pk_x, pk_y, root, cm_x^{value}, cm_y^{value}, reward, cm_x^{value^{out}}, cm_y^{value^{out}}, C, \mu_y, y, \mu_{\rho}, \rho,\sigma_1, \sigma_2, headstart) $$
$$ W = (sk, nonce, value, ep, reward, value_{blind}, \tau, path, value_{blind}^{out}, \mu_y, \mu_{\rho}, \sigma1, \sigma2, headstart) $$
$$ \mathcal{L}= \{X:W\in \mathcal{R}\} $$