Really working tls notary circuit - #1

Draft

ailisp wants to merge 11 commits into

tls-notary-circuitfrom

real-tls-notary

Commits on Dec 20, 2021

add real inputs. fix compile
ailisp
committed
f4d6c8b

Commits on Dec 21, 2021

input sha256 for now. document todo for ecdsa p-256
ailisp
committed
e8d1830

Commits on Dec 22, 2021

first part of ecdsa: invmod. however string to field returns zero
ailisp
committed
4b3fe74

Commits on Dec 23, 2021

get invmod run but assert fails
ailisp
committed
7464126

Commits on Dec 24, 2021

invmod work for int in ocaml but not for field. print field also not work
ailisp
committed
f790c20

Commits on Dec 25, 2021

debug prints
ailisp
committed
63a39a3

Commits on Dec 26, 2021

invmod works
ailisp
committed
68a6a41
verify ecdsa in bignum works
ailisp
committed
8964f8f
ecdsa_p256_sig_check works with snarky constraints
ailisp
committed
d288f37

Commits on Dec 27, 2021