dao_propose.md 2.7 KB
dao propose
$$ X = (cm^{token}, root^{bulla}, proposal, value^{total}_x, value^{total}_y) $$
$$ W = (value^{total}, blind^{value^{total}}, blind^{token}, proposal^{destination}_x, proposal^{destination}y, proposal^{amount}, proposal^{tokenId}, blind^{proposal}, proposerLimit, quorum, approvalRatio{quot}, approvalRatio_{base}, tokenId, pub_x, pub_y, blind^{bulla}, pos, path) $$
$$ \mathcal{L}= {X:W\in \mathcal{R}} $$
| public input | |
|---|---|
| $cm^{token}$ | proposal token commitment as field element |
| $root^{bulla}$ | root of bulla in merkle tree |
| proposal | dao proposer proposal |
| $value^{total}_x$ | total fund commitment's x coordinate |
| $value^{total}_y$ | total fund commitment's y coordinate |
| witnesses | Description |
|---|---|
| $value^{total}$ | total proposal funds value |
| $blind^{value^{total}}$ | blinding value for $value^{total}$ commitment |
| $blind^{token}$ | proposal token commitment blinding factor |
| $proposal^{destination}_x$ | proposal destination public key x coordinate |
| $proposal^{destination}_y$ | proposal destination public key y coordinate |
| $proposal^{amount}$ | proposal amount in proposal token |
| $proposal^{tokenId}$ | proposal token id |
| $blind^{proposal}$ | proposal commitment blinding term |
| proposerLimit | governance token necessary for the vote to be valid |
| quorum | minimum number of votes necessary to pass the proposal |
| $approvalRatio_{quot}$ | proposal approval ratio quotient |
| $approvalRatio_{base}$ | proposal approval ratio base |
| tokenId | governance token id |
| $pub_x$ | proposal public key x coordinate |
| $pub_y$ | proposal public key y coordinate |
| $blind^{bulla}$ | bulla commitment blinding factor |
| pos | bulla leaf position in the merkle tree |
| path | path of the bulla leaf at position pos |
circuit checks
- $proposal^{amount} > 0$
- $proposerLimit <= value^{total}$