Skip to content

Commit

Permalink
update content
Browse files Browse the repository at this point in the history
  • Loading branch information
davidsemakula committed Nov 13, 2023
1 parent 9d97d92 commit bade886
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion docs/specification.md
Original file line number Diff line number Diff line change
Expand Up @@ -257,7 +257,7 @@ A quorum approved request with a command $C$ from a party $P_i$ associated with
- Verify that $\mathcal{S} _c \subseteq \mathcal{S} \land vk_i \notin \mathcal{S} _c$ or report the culprit and halt.
- Verify that $\forall \, vk_j \in \mathcal{S} _c$ where $j \neq i$, the output of $\mathtt{Ver}(vk_j, A \Vert \Delta \Vert C \Vert v_j, \sigma _j)$ is valid or report the culprit and halt.

## 6. Access structure modification {#access-structure-modification}
## 6. Access Structure Modification {#access-structure-modification}

Access structure modification allows a quorum of verified parties to perform any of the following actions:

Expand Down
4 changes: 2 additions & 2 deletions papers/generated/specification.tex
Original file line number Diff line number Diff line change
Expand Up @@ -838,8 +838,8 @@ \subsubsection{5.4. Quorum Approved
\end{enumerate}

\hypertarget{access-structure-modification}{%
\subsection{6. Access structure
modification}\label{access-structure-modification}}
\subsection{6. Access Structure
Modification}\label{access-structure-modification}}

Access structure modification allows a quorum of verified parties to
perform any of the following actions:
Expand Down
2 changes: 1 addition & 1 deletion papers/specification.md
Original file line number Diff line number Diff line change
Expand Up @@ -257,7 +257,7 @@ A quorum approved request with a command $C$ from a party $P_i$ associated with
- Verify that $\mathcal{S} _c \subseteq \mathcal{S} \land vk_i \notin \mathcal{S} _c$ or report the culprit and halt.
- Verify that $\forall \, vk_j \in \mathcal{S} _c$ where $j \neq i$, the output of $\mathtt{Ver}(vk_j, A \Vert \Delta \Vert C \Vert v_j, \sigma _j)$ is valid or report the culprit and halt.

## 6. Access structure modification {#access-structure-modification}
## 6. Access Structure Modification {#access-structure-modification}

Access structure modification allows a quorum of verified parties to perform any of the following actions:

Expand Down
Binary file modified static/specification.pdf
Binary file not shown.

0 comments on commit bade886

Please sign in to comment.