feat: append G2 point from SRS to transcript #760
Annotations
18 warnings
doc list item missing indentation:
plonk/src/proof_system/verifier.rs#L198
warning: doc list item missing indentation
--> plonk/src/proof_system/verifier.rs:198:9
|
198 | /// By Schwartz-Zippel lemma, it's equivalent to check that for a random r:
| ^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
198 | /// By Schwartz-Zippel lemma, it's equivalent to check that for a random r:
| ++
|
doc list item missing indentation:
plonk/src/proof_system/prover.rs#L74
warning: doc list item missing indentation
--> plonk/src/proof_system/prover.rs:74:9
|
74 | /// also return the public input polynomial.
| ^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
74 | /// also return the public input polynomial.
| +++
|
doc list item missing indentation:
plonk/src/proof_system/prover.rs#L73
warning: doc list item missing indentation
--> plonk/src/proof_system/prover.rs:73:9
|
73 | /// Return the wire witness polynomials and their commitments,
| ^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
73 | /// Return the wire witness polynomials and their commitments,
| +++
|
doc list item missing indentation:
plonk/src/circuit/plonk_verifier/gadgets.rs#L46
warning: doc list item missing indentation
--> plonk/src/circuit/plonk_verifier/gadgets.rs:46:5
|
46 | /// Output
| ^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
= note: `#[warn(clippy::doc_lazy_continuation)]` on by default
help: indent this line
|
46 | /// Output
| ++
|
doc list item missing indentation:
relation/src/constraint_system.rs#L828
warning: doc list item missing indentation
--> relation/src/constraint_system.rs:828:9
|
828 | /// the range gates when merging the lookup tables.
| ^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
828 | /// the range gates when merging the lookup tables.
| +++
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L178
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:178:9
|
178 | /// For the rest equality checks,
| ^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
178 | /// For the rest equality checks,
| ++
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L177
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:177:9
|
177 | /// inf0 == 1 || inf1 == 1 || inf2 == 0 || x0 != x1 || (y0 == y1 && y0 != 0)
| ^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
177 | /// inf0 == 1 || inf1 == 1 || inf2 == 0 || x0 != x1 || (y0 == y1 && y0 != 0)
| ++
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L176
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:176:9
|
176 | /// First check in both cases can be combined into the following:
| ^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
176 | /// First check in both cases can be combined into the following:
| ++
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L172
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:172:9
|
172 | /// The second case is equivalent to the following:
| ^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
172 | /// The second case is equivalent to the following:
| ++
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L168
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:168:9
|
168 | /// The first case is equivalent to the following:
| ^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
168 | /// The first case is equivalent to the following:
| +++++
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L167
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:167:9
|
167 | /// - y2 = s(x0 - x2) - y0
| ^^^^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
167 | /// - y2 = s(x0 - x2) - y0
| +
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L166
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:166:9
|
166 | /// - x2 = s^2 - x0 - x1
| ^^^^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
166 | /// - x2 = s^2 - x0 - x1
| +
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L165
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:165:9
|
165 | /// - Calculate s = (y0 - y1) / (x0 - x1)
| ^^^^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
165 | /// - Calculate s = (y0 - y1) / (x0 - x1)
| +
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L164
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:164:9
|
164 | /// - if x0 == x1 then inf2 = 1
| ^^^^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
164 | /// - if x0 == x1 then inf2 = 1
| +
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L162
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:162:9
|
162 | /// - y2 = s(x0 - x2) - y0
| ^^^^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
162 | /// - y2 = s(x0 - x2) - y0
| +
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L161
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:161:9
|
161 | /// - x2 = s^2 - x0 - x1
| ^^^^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
161 | /// - x2 = s^2 - x0 - x1
| +
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L160
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:160:9
|
160 | /// - Calculate s = (3 * x0^2 + a) / (2 * y0)
| ^^^^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
help: indent this line
|
160 | /// - Calculate s = (3 * x0^2 + a) / (2 * y0)
| +
|
doc list item missing indentation:
relation/src/gadgets/ecc/emulated/short_weierstrass.rs#L159
warning: doc list item missing indentation
--> relation/src/gadgets/ecc/emulated/short_weierstrass.rs:159:9
|
159 | /// - if y0 == 0 then inf2 = 1
| ^^^^
|
= help: if this is supposed to be its own paragraph, add a blank line
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#doc_lazy_continuation
= note: `#[warn(clippy::doc_lazy_continuation)]` on by default
help: indent this line
|
159 | /// - if y0 == 0 then inf2 = 1
| +
|