From fd1c577bcf9da18346b19b852eb730f753a889f2 Mon Sep 17 00:00:00 2001
From: Ben <ben.curtis@zama.ai>
Date: Fri, 24 Jun 2022 13:34:04 +0100
Subject: [PATCH] add verified curves

---
 verified_curves.sobj | Bin 0 -> 670 bytes
 verified_curves.txt  |   9 +++++++++
 2 files changed, 9 insertions(+)
 create mode 100644 verified_curves.sobj
 create mode 100644 verified_curves.txt

diff --git a/verified_curves.sobj b/verified_curves.sobj
new file mode 100644
index 0000000000000000000000000000000000000000..546a32e51814a52cf0cb7db3b53badd39bc666ce
GIT binary patch
literal 670
zcmV;P0%84loK=$9Pg6k@hr0mE1?q;Vh$|>np^6&_C>M9RQ1IYVH>9@3qGkD&@<337
zm<%Es6>tlP;P#*o;_{*~)|~l|{0DSKYI3~~lbbW&@0&9xGvK-ahu0hG?Ct38^M$(N
z5no4dEYTi}$Af)FPbe4*#tk^<_Kk3&uRCJE6>vEmj<yQ8hi?xdjgaoO+ySSmRU^ai
z_t*Va-`~Y@Brxw%=whfV90~Opkxu<%V1B@(;A?%H<Z(I3pZGN=kr~KP#aJ-W-dP4i
zAd8SKkVEi9oze8@{6LP{HhECq<Ixr#lizBvAgZ{9ghc|22}`V|K$>EjYMYyp+rZ8Q
zmU>g!ELAVL-dik3`*}tkmZy`;2+IXl5b{%0wxZ-Tzvah#zo*b)Vx`6k2&)8E6V_O*
z(K+whe_nkLImGYyYngl&<SC_Ir!(sbg#tx{4Ymdx<@{I*{#x%eu~AdS1h2p*!e*;G
zW!~bo-PXl7<@bL1K9eVuxI{-v2|j_Xgl)E-*UDRRgzxsqNw<kIjcq6F5ZFoBWeudv
zyX`&mSRQ}mr~D?YmL$q`rh>3XppsCP0u4Rzyj=Op#Xr(bRBLE2VV^(^!L%Nv#I^R8
z<((paxI%tDpk|oFejPbLI4E$4aM(7B)-&=+K7ZiBc_xl%>L}ruKpnxdrj_`Y64(FN
z@szyV$kY5S$m7b~pfi3#qd*hkxP2HrDWCIfjE6Ezkj9z`Cj?FsPFb@`UF=HWwEbZO
z8fw#d!oy?A8_<C>gtG$Y2<L4S56CZ7`8*RbOkB`Z3*n+bD<Nq8RN5A$y<{In0l$zV
zn@i<8zNf??9SIX60&RrLHcp9O%13heh8*#jh-$8#a7ExMA=cn<DtDzjfsTmp54-6{
E(^7g+X#fBK

literal 0
HcmV?d00001

diff --git a/verified_curves.txt b/verified_curves.txt
new file mode 100644
index 000000000..87b387304
--- /dev/null
+++ b/verified_curves.txt
@@ -0,0 +1,9 @@
+[(-0.04042633119364589, 1.6609788641436722, 80, 'PASS', 450),
+ (-0.03414780360867051, 2.017310258660345, 96, 'PASS', 450),
+ (-0.029670137081135885, 2.162463714083856, 112, 'PASS', 450),
+ (-0.02640502876522622, 2.4826422691043177, 128, 'PASS', 450),
+ (-0.023821437305989134, 2.7177789440636673, 144, 'PASS', 450),
+ (-0.02174358218716036, 2.938810548493322, 160, 'PASS', 498),
+ (-0.019904056582117684, 2.8161252801542247, 176, 'PASS', 551),
+ (-0.018610403247590085, 3.2996236848399008, 192, 'PASS', 606),
+ (-0.014606812351714953, 3.8493629234693003, 256, 'PASS', 826)]