DAO execution

DAO execution proof once quorum, and yes vote required have been met.

$X = (b u ll a, co i n^{p ro p os a l}, co i n^{d a o}, 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}}, c m_{x}^{v a l u e^{p ro p os a l}}, c m_{y}^{v a l u e^{p rosos a l}}, s p e n d Hoo k^{d a o}, s p e n d Hoo k^{p ro p os a l}, d a t a^{p ro p os a l})$

$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}, 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}, v o t e^{yes}, v o t e^{a ll}, b l in d^{v o t e^{yes}}, b l in d^{v o t e^{a ll}}, s n^{p ro p os a l}, s n^{d a o}, v a l u e^{d a o}, b l in d^{v a l u e^{d a o}}, s p e n d Hoo k^{d a o}, s p e n d Hoo k^{p ro p os a l}, d a t a^{p ro p os a l})$

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

Execution proof.

Derive, and reveal bulla
Derive, and reveal proposal input coin
Calculate, and Reveal yes-vote 0/1 for no/yes commitment: $v o t e^{yes} * v o t e^{a ll}$
Reveal all-vote value commitment
Calculate, and reveal proposal coin value commitment
Reveal dao execution spendHook
Reveal proposal spendHook
Reveal proposal spendHook input data
Reveal dao spendHook input data: bulla commitment

Public inputs	Description
bulla	dao bulla
$co i n^{p ro p os a l}$	proposal input coin
$co i n^{d a o}$	dao coin
$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
$c m_{x}^{v a l u e^{p ro p os a l}}$	x-coordinate of commitment to $v a l u e^{p ro p os a l}$
$c m_{y}^{v a l u e^{p ro p os a l}}$	y-coordinate of commitment to $v a l u e^{p ro p os a l}$
$s p e n d Hoo k^{d a o}$	dao spendhook
$s p e n d Hoo k^{p ro p os a l}$	proposal spendhook
$d a t a^{p ro p os a l}$	input data for $s p e n d h oo k^{p ro p os a l}$ contract
$d a t a^{d a o}$	input data for $s p e n d h oo k^{p ro p os a l}$ contract

Witnesses	Destination
$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}$	proposal 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 blind 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 a boolean as either 0, or 1
$v o t e^{a ll}$	all votes value
$b l in d^{v o t e^{yes}}$	yes vote commitment blinding factor
$b l in d^{v o t e^{a ll}}$	blinding term for all votes commitments
$s n^{p ro p os a l}$	serial number for proposal coin
$s n^{d a o}$	dao input coin serial number
$v a l u e^{d a o}$	dao input coin value
$b l in d^{v a l u e^{d a o}}$	dao coin value blinding term
$s p e n d Hoo k^{d a o}$	dao spendhook
$s p e n d Hoo k^{p ro p os a l}$	proposal spendhook
$d a t a^{p ro p os a l}$	input data for $s p e n d h oo k^{p ro p os a l}$ contract

Circuit checks

$q u or u m <= v o t e^{a ll}$
$\frac{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}} <= \frac{v o t e ^{yes}}{v o t e ^{a ll}}$

The DarkFi Book

DAO execution

Execution proof.

Circuit checks