From 45f9005714e795730cba13d66df6e7fb3440ce90 Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Wed, 18 Jul 2018 09:26:16 +0100 Subject: [PATCH] Add TODO to check whether the circuit sometimes omits curve checks. Signed-off-by: Daira Hopwood --- protocol/protocol.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/protocol/protocol.tex b/protocol/protocol.tex index 7bb66a28..44384057 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -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. }