contracts: adjust k values to smallest possible

doc/src/zkas/writing-zk-proofs.md

@@ -94,3 +94,7 @@ To generate an image of the circuit layout, simply run:
 ./bin/zkrunner/zkrender.py -w src/contract/dao/proof/witness/exec.json src/contract/dao/proof/exec.zk /tmp/layout.png
 ```
 
+You should see something like:
+
+![](../assets/zk-circuit-layout.png)
+

src/contract/dao/proof/auth-money-transfer-enc-coin.zk

@@ -1,4 +1,4 @@
-k = 13;
+k = 11;
 field = "pallas";
 
 constant "AuthMoneyTransferEncCoin" {

src/contract/dao/proof/auth-money-transfer.zk

@@ -1,4 +1,4 @@
-k = 13;
+k = 11;
 field = "pallas";
 
 constant "AuthMoneyTransfer" {

src/contract/dao/proof/exec.zk

@@ -1,4 +1,4 @@
-k = 13;
+k = 11;
 field = "pallas";
 
 constant "Exec" {

src/contract/dao/proof/mint.zk

@@ -1,4 +1,4 @@
-k = 13;
+k = 11;
 field = "pallas";
 
 constant "Mint" {

src/contract/dao/proof/propose-main.zk

@@ -1,4 +1,4 @@
-k = 13;
+k = 11;
 field = "pallas";
 
 constant "ProposeMain" {

src/contract/dao/proof/vote-main.zk

@@ -1,4 +1,4 @@
-k = 13;
+k = 11;
 field = "pallas";
 
 constant "VoteMain" {

src/contract/money/proof/auth_token_mint_v1.zk

@@ -1,5 +1,5 @@
 # Circuit used to mint arbitrary coins given a mint authority secret.
-k = 13;
+k = 11;
 field = "pallas";
 
 constant "AuthTokenMint_V1" {

src/contract/money/proof/burn_v1.zk

@@ -1,5 +1,5 @@
 # The k parameter defining the number of rows used in our circuit (2^k)
-k = 13;
+k = 11;
 field = "pallas";
 
 # The constants we define for our circuit

src/contract/money/proof/fee_v1.zk

@@ -1,4 +1,4 @@
-k = 13;
+k = 11;
 field = "pallas";
 
 constant "Fee_V1" {

src/contract/money/proof/mint_v1.zk

@@ -1,5 +1,5 @@
 # The k parameter defining the number of rows used in our circuit (2^k)
-k = 13;
+k = 11;
 field = "pallas";
 
 # The constants we define for our circuit

src/contract/money/proof/token_freeze_v1.zk

@@ -1,4 +1,4 @@
-k = 13;
+k = 11;
 field = "pallas";
 
 constant "TokenFreeze_V1" {

src/contract/money/proof/token_mint_v1.zk

@@ -1,5 +1,5 @@
 # Circuit used to mint arbitrary coins given a mint authority secret.
-k = 13;
+k = 11;
 field = "pallas";
 
 constant "TokenMint_V1" {