mirror of https://github.com/zcash/halo2.git
Minor changes
This commit is contained in:
parent
a4d3c328b9
commit
a129490517
|
@ -369,7 +369,7 @@ $$
|
||||||
15. $\verifier$ responds with challenge $x_3$.
|
15. $\verifier$ responds with challenge $x_3$.
|
||||||
16. $\prover$ sends $\mathbf{u} \in \field^{n_q}$ such that $\mathbf{u}_i = q_i(x_3)$ for all $i \in [0, n_q)$.
|
16. $\prover$ sends $\mathbf{u} \in \field^{n_q}$ such that $\mathbf{u}_i = q_i(x_3)$ for all $i \in [0, n_q)$.
|
||||||
17. $\verifier$ responds with challenge $x_4$.
|
17. $\verifier$ responds with challenge $x_4$.
|
||||||
18. $\verifier$ set $P = Q' + x_4 \sum\limits_{i=0}^{n_q - 1} [x_4^i] Q_i$ and $v = $
|
18. $\verifier$ sets $P = Q' + x_4 \sum\limits_{i=0}^{n_q - 1} [x_4^i] Q_i$ and $v = $
|
||||||
$$
|
$$
|
||||||
\sum\limits_{i=0}^{n_q - 1}
|
\sum\limits_{i=0}^{n_q - 1}
|
||||||
\left(
|
\left(
|
||||||
|
|
|
@ -24,8 +24,8 @@ pub struct Accumulator<C: CurveAffine, E: EncodedChallenge<C>> {
|
||||||
/// The claimed output of the linear-time polycommit opening protocol
|
/// The claimed output of the linear-time polycommit opening protocol
|
||||||
pub g: C,
|
pub g: C,
|
||||||
|
|
||||||
/// A vector of 128-bit challenges u_0, ..., u_{k - 1} sampled by the
|
/// A vector of challenges u_0, ..., u_{k - 1} sampled by the verifier, to
|
||||||
/// verifier, to be used in computing G'_0.
|
/// be used in computing G'_0.
|
||||||
pub u_packed: Vec<E>,
|
pub u_packed: Vec<E>,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue