Dao propose

$X = (c m^{t o k e n}, roo t^{b u ll a}, p ro p os a l, c m_{x}^{v a l u e^{t o t a l}}, c m_{y}^{v a l u e^{t o t a l}})$

$W = (v a l u e^{t o t a l}, b l in d^{v a l u e^{t o t a l}}, b l in d^{t o k e n}, p ro p os a l_{x}^{d es t ina t i o n}, p ro p os a l_{y}^{d es t ina t i o n}, p ro p os a l^{am o u n t}, p ro p os a l^{t o k e n I d}, b l in d^{p ro p os a l}, p ro p oser L imi t, q u or u m, a pp ro v a lR a t i o_{q u o t}, a pp ro v a lR a t i o_{ba se}, t o k e n I d, p u b_{x}, p u b_{y}, b l in d^{b u ll a}, p os, p a t h)$

$L = {X : (X, W) \in R}$

Create dao proposal

Calculate, and reveal token commitment
Calculate, and reveal bulla
Calculate, and reveal proposal
Calculate, and reveal total proposers funds commitment

Public input	Description
$c m^{t o k e n}$	proposal token commitment as field element
$roo t^{b u ll a}$	root of bulla in merkle tree
proposal	dao proposer proposal
$c m_{x}^{v a l u e^{t o t a l}}$	total funds commitment's x coordinate
$c m_{y}^{v a l u e^{t o t a l}}$	total funds commitment's y coordinate

Witnesses	Description
$v a l u e^{t o t a l}$	total proposal funds value
$b l in d^{v a l u e^{t o t a l}}$	blinding value for $v a l u e^{t o t a l}$ commitment
$b l in d^{t o k e n}$	token commitment blinding factor
$p ro p os a l_{x}^{d es t ina t i o n}$	destination public key x coordinate
$p ro p os a l_{y}^{d es t ina t i o n}$	destination public key y coordinate
$p ro p os a l^{am o u n t}$	amount in proposal token
$p ro p os a l^{t o k e n I d}$	proposal token id
$b l in d^{p ro p os a l}$	proposal commitment blinding term
proposerLimit	governance token necessary for the vote to be valid
quorum	minimum number of votes necessary to pass the proposal
$a pp ro v a lR a t i o_{q u o t}$	proposal approval ratio quotient
$a pp ro v a lR a t i o_{ba se}$	proposal approval ratio base
tokenId	governance token id
$p u b_{x}$	proposal public key x coordinate
$p u b_{y}$	proposal public key y coordinate
$b l in d^{b u ll a}$	bulla commitment blinding factor
pos	bulla leaf position in the merkle tree
path	path of the bulla leaf at pos

Circuit checks

$p ro p os a l^{am o u n t} > 0$
$p ro p oser L imi t <= v a l u e^{t o t a l}$

The DarkFi Book

Dao propose

Create dao proposal

Circuit checks