zec
/
zips
mirror of https://github.com/zcash/zips.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add TODO to check whether the circuit sometimes omits curve checks. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2018-07-18 09:26:16 +01:00
parent f11a24afc3
commit 45f9005714
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
protocol/protocol.tex
View File

@ -10657,8 +10657,8 @@ The same \quadraticConstraintProgram be used for compression and decompression.
\pnote{
The point-on-curve check could be omitted if $(u, \varv)$ were already known to be on the curve.
However, the \Sapling circuit never omits it; this provides a redundant consistency check
on the elliptic curve arithmetic in some cases.
However, the \Sapling circuit never omits it \todo{CHECK}; this provides a redundant consistency
check on the elliptic curve arithmetic in some cases.
}