Skip to content

Commit 2ef9c1e

Browse files
authored
Update report/src/sections/02-background.tex
1 parent f609aab commit 2ef9c1e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

report/src/sections/02-background.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -65,7 +65,7 @@ \subsection{Zero-knowledge proofs}\label{sec:background-zkps}
6565
Before explaining the protocol, we must mention that Curdleproofs, and hence also Whisk, is a~\gls{zkp} system.
6666
It is a system that allows a prover to convince a verifier that they know a secret without revealing the secret itself.
6767
Within the context of Ethereum, it could be the ability to convince someone that a transaction is valid without revealing information about the transaction such as the value of it.
68-
In Whisk, it uses Curdleproofs to prove the validity of a shuffle.
68+
Whisk uses Curdleproofs to prove the validity of a shuffle.
6969

7070
\begin{definition}[Zero-Knowledge Argument of Knowledge]
7171
An argument $(Setup, P, V)$ is a zero-knowledge argument of knowledge of a relation $\mathbb{R}$ if it satisfies completeness, knowledge-soundness and is honest-verifier zero-knowledge.

0 commit comments

Comments
 (0)