Skip to content

Commit

Permalink
spec: fix links to value commitments section (#2821)
Browse files Browse the repository at this point in the history
  • Loading branch information
redshiftzero authored Jul 12, 2023
1 parent de5eac7 commit 74d9f3c
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,7 @@ The zk-SNARK certifies that the public input balance commitment $cv$ was derived

$cv = [v] G_v + [\tilde v] G_{\tilde v}$

where $G_{\tilde v}$ is a constant generator and $G_v$ is an asset-specific generator point derived as described in [Value Commitments](../../value_commitments.md). For delegator votes, $[\tilde v] = 0$.
where $G_{\tilde v}$ is a constant generator and $G_v$ is an asset-specific generator point derived as described in [Value Commitments](../../protocol/value_commitments.md). For delegator votes, $[\tilde v] = 0$.

### Nullifier Integrity

Expand Down
2 changes: 1 addition & 1 deletion docs/protocol/src/protocol/action_descriptions/outputs.md
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ The zk-SNARK certifies that the public input balance commitment $cv$ was derived

$cv = [v] G_v + [\tilde v] G_{\tilde v}$

where $G_{\tilde v}$ is a constant generator and $G_v$ is an asset-specific generator point derived as described in [Value Commitments](../../value_commitments.md).
where $G_{\tilde v}$ is a constant generator and $G_v$ is an asset-specific generator point derived as described in [Value Commitments](../value_commitments.md).

### Diversified Base is not Identity

Expand Down
2 changes: 1 addition & 1 deletion docs/protocol/src/protocol/action_descriptions/spend.md
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ The zk-SNARK certifies that for non-zero values $v \ne 0$, the public input bala

$cv = [v] G_v + [\tilde v] G_{\tilde v}$

where $G_{\tilde v}$ is a constant generator and $G_v$ is an asset-specific generator point derived as described in [Value Commitments](../../value_commitments.md).
where $G_{\tilde v}$ is a constant generator and $G_v$ is an asset-specific generator point derived as described in [Value Commitments](../value_commitments.md).

### Nullifier Integrity

Expand Down
2 changes: 1 addition & 1 deletion docs/protocol/src/protocol/action_descriptions/swap.md
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ The zk-SNARK certifies that the public input fee commitment $cv_f$ was derived f

$cv_f = [v_f] G_{v_f} + [\tilde v_f] G_{\tilde v}$

where $G_{\tilde v}$ is a constant generator and $G_{v_f}$ is an asset-specific generator point derived as described in [Value Commitments](../../value_commitments.md).
where $G_{\tilde v}$ is a constant generator and $G_{v_f}$ is an asset-specific generator point derived as described in [Value Commitments](../../protocol/value_commitments.md).

### Balance Commitment Integrity

Expand Down

0 comments on commit 74d9f3c

Please sign in to comment.