Vote

Vote on proposal by yes, or no by $p ro p os a l^{am o u n t}$ of dao tokens.

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

$W = (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}, 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}, v o t e^{yes}, b l in d^{v o t e^{yes}}, v o t e^{yes}, v o t e^{a ll}, b l in d^{v o t e^{a ll}}, b l in d^{t o k e n})$

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

Dao vote proof

Calculate, and reveal proposal token commitment to vote on
Derive, and reveal proposal
Calculate, and Reveal yes-vote 0/1 for no/yes commitment =vote^{yes}*vote^{all^}
Reveal all-vote value commitment

Public inputs	Description
$c m^{t o k e n}$	proposal token commitment as field element
proposal	proposal commitment as field element
$c m_{x}^{v o t e^{yes}}$	yes vote commitment x coordinate
$c m_{y}^{v o t e^{yes}}$	yes vote commitment y coordinate
$c m_{x}^{v o t e^{a ll}}$	all votes commitment x coordinate
$c m_{y}^{v o t e^{a ll}}$	all votes commitment y coordinate

Witnesses	Description
$p ro p os a l_{x}^{d es t ina t i o n}$	proposal destination public key x coordinate
$p ro p os a l_{y}^{d es t ina t i o n}$	proposal destination public key y coordinate
$p ro p os a l^{am o u n t}$	amount in proposal token
tokenId	proposal token id
$b l in d^{p ro p os a l}$	proposal commitment blinding factor
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}$	dao public key x coordinate
$p u b_{y}$	dao public key y coordinate
$b l in d^{b u ll a}$	bulla commitment blinding factor
$v o t e^{yes}$	yes vote direction a boolean as either 0/1 for no/yes
$b l in d^{v o t e^{yes}}$	yes vote commitment blinding factor
$v o t e^{a ll}$	all votes value
$b l in d^{v o t e^{a ll}}$	blinding term for all votes commitments
$b l in d^{t o k e n}$	governance token blinding term

Circuit checks

Validate that $v o t e^{yes}$ is either 0, or 1.

The DarkFi Book

Vote

Dao vote proof

Circuit checks