circomlib

History

Kobi Gurkan 324b8bf8cc fix: makes mimcsponge act like the paper description * last constant is 0 * no swap at the last round		2019-07-08 13:54:46 +03:00
..
sha256	Merge other basic circuits here	2018-12-06 17:32:49 +01:00
smt	Poseidon in SMT	2019-06-04 17:32:28 +02:00
aliascheck.circom	Substractor	2018-12-16 11:27:29 +01:00
babyjub.circom	added pvk->pbk circuit	2019-03-17 10:38:36 +01:00
binsub.circom	Substractor	2018-12-16 11:27:29 +01:00
binsum.circom	Merge other basic circuits here	2018-12-06 17:32:49 +01:00
bitify.circom	First Version SMT	2018-12-11 17:25:21 +01:00
comparators.circom	Small patches	2018-12-22 23:54:25 +01:00
compconstant.circom	Substractor	2018-12-16 11:27:29 +01:00
eddsa.circom	Substractor	2018-12-16 11:27:29 +01:00
eddsamimc.circom	Adapt the way to connect mimcs	2019-04-28 12:03:15 +01:00
eddsamimcsponge.circom	fix: makes mimcsponge usable	2019-06-26 22:41:07 +03:00
escalarmul.circom	Substractor	2018-12-16 11:27:29 +01:00
escalarmulany.circom	Substractor	2018-12-16 11:27:29 +01:00
escalarmulfix.circom	Substractor	2018-12-16 11:27:29 +01:00
escalarmulw4table.circom	Substractor	2018-12-16 11:27:29 +01:00
gates.circom	Verification not working	2018-12-15 09:00:35 +01:00
mimc.circom	Adapt the way to connect mimcs	2019-04-28 12:03:15 +01:00
mimcsponge.circom	fix: makes mimcsponge act like the paper description	2019-07-08 13:54:46 +03:00
montgomery.circom	Substractor	2018-12-16 11:27:29 +01:00
multiplexer.circom	fixed Multiplexer name and usage of old syntax	2019-02-23 20:16:06 -05:00
mux3.circom	Substractor	2018-12-16 11:27:29 +01:00
mux4.circom	Substractor	2018-12-16 11:27:29 +01:00
pedersen_old.circom	Substractor	2018-12-16 11:27:29 +01:00
pedersen.circom	Substractor	2018-12-16 11:27:29 +01:00
pointbits.circom	Substractor	2018-12-16 11:27:29 +01:00
poseidon.circom	Poseidon	2019-06-04 13:40:15 +02:00
README.md	readme for circuits:	2019-02-23 14:25:43 -05:00
sign.circom	Substractor	2018-12-16 11:27:29 +01:00
switcher.circom	Substractor	2018-12-16 11:27:29 +01:00

README.md

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