From b14eef4d9027cd8dac566552e8c299e0d0f59daa Mon Sep 17 00:00:00 2001 From: Ehud Ben-Reuven Date: Sat, 23 Feb 2019 14:25:43 -0500 Subject: [PATCH] readme for circuits: --- circuits/README.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 circuits/README.md diff --git a/circuits/README.md b/circuits/README.md new file mode 100644 index 0000000..6c9e76a --- /dev/null +++ b/circuits/README.md @@ -0,0 +1,14 @@ +* compconstant - Returns 1 if `in` (expanded to binary array) > `ct` +* aliascheck - check if `in` (expanded to binary array) oveflowed its 254 bits (<= -1) +* babyjub - twisted Edwards curve 168700.x^2 + y^2 = 1 + 168696.x^2.y^2 + * BabyAdd - (`xout`,`yout`) = (`x1`,`y1`) + (`x2`,`y2`) + * BabyDbl - (`xout`,`yout`) = 2*(`x`,`y`) + * BabyCheck - check that (`x`,`y`) is on the curve +* binsub - binary subtraction +* gates - logical gates +* mimc - SNARK-friendly hash Minimal Multiplicative Complexity. + * https://eprint.iacr.org/2016/492.pdf + * zcash/zcash#2233 +* smt - Sparse Merkle Tree + * https://ethresear.ch/t/optimizing-sparse-merkle-trees/3751 +* montgomery https://en.wikipedia.org/wiki/Montgomery_curve \ No newline at end of file