Dao propose burn

$X = (n u ll i f i er, c m_{x}^{v a l u e}, c m_{y}^{v a l u e}, c m^{t o k e n}, roo t, s i g na t u r e_{x}^{p u b l i c}, s i g na t u r e_{y}^{p u b l i c})$

$W = (s k, s n, s p e n d Hoo k, d a t a, v a l u e, t o k e n I d, b l in d^{v a l u e}, b l in d^{t o k e n}, p os, p a t h, s i g na t u r e^{secre t})$

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

Burn dao proposal

Derive, and reveal nullifier
Calculate, and reveal value commitment
Calculate, and reveal token commitment
Add input coin to merkle tree, and reveal it's root.
Reveal associated spendHook contract.
Derive, and reveal signature public key $s i g na t u r e^{p u b l i c}$

Public Input	Description
nullifier	dao's proposal coin nullifier
$c m_{x}^{v a l u e}$	x coordinate of value point commitment
$c m_{y}^{v a l u e}$	y coordinate of value point commitment
$c m^{t o k e n}$	commitment of tokenId as field element
root	root of commitments merkle tree of coins
$s i g na t u r e_{x}^{p u b l i c}$	signature public key x coordinate
$s i g na t u r e_{y}^{p u b l i c}$	signature public key y coordinate

Witnesses	Description
sk	proposal coin secret key
sn	proposal coin serial number
spendHook	burn spendHook contract
data	spendHook contract input data
value	proposal coin value
tokenId	proposal coin token id
$b l in d^{v a l u e}$	proposal value commitment blinding term
$b l in d^{t o k e n}$	token commitment blinding term
pos	proposal coin leaf position in merkle tree
path	proposal coin path in merkle tree
$s i g na t u r e^{secre t}$	proposal signature secret key