 lunar-mining
|
ef20403c22
daod: change dao_approval_ratio to two values, ratio_quot and ratio_base. check ratio_quot/ratio_base <= yes_votes/all_votes in dao_exec
|
4 vuotta sitten |
|
lunar-mining
|
3b6a51678d
daod/proof: add less_than or equal to checks + bool_check
|
4 vuotta sitten |
|
lunar-mining
|
e1cfc5f897
daod: further simplify vote pederson commitment naming
|
4 vuotta sitten |
|
lunar-mining
|
d9451f7eef
dao: improve confusing vote/ value names.
|
4 vuotta sitten |
|
lunar-mining
|
1bf60aef56
daod/ exec: correct token_id in Coin + reveal misc values
|
4 vuotta sitten |
|
narodnik
|
20cd53cde1
add more TODO to dao-exec.zk
|
4 vuotta sitten |
|
lunar-mining
|
8d196d14a7
daod/ exec: create pederson commitments for win_votes, total_votes, and input_value and make them public
|
4 vuotta sitten |
|
lunar-mining
|
c32c450f89
daod: create coin_0 and coin_1, two Coin outputs of DAO::exec()
|
4 vuotta sitten |
|
narodnik
|
fb0e8657ac
add dao-exec comments
|
4 vuotta sitten |
|
lunar-mining
|
07c2fbb3f2
daod/ exec: add vote + input/output values to proof. witness them and pass to Proof::create
|
4 vuotta sitten |
|
narodnik
|
52b0e146eb
dao exec comment
|
4 vuotta sitten |
|
narodnik
|
4f62cc5bcf
initial part of dao-exec zk proof
|
4 vuotta sitten |
|
narodnik
|
4510dba0c6
remove old prototype zk contracts
|
4 vuotta sitten |
|
narodnik
|
76488e64a6
messgae constraint
|
4 vuotta sitten |
|
narodnik
|
5f550e8112
complete dao exec contract
|
4 vuotta sitten |
|
narodnik
|
570d5337bf
basic dao zk contracts
|
4 vuotta sitten |
