circomlib

History

Jordi Baylina 173c17dedc Change to a standard generator for Baby Jub		2019-08-03 12:46:21 +02: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	Change to a standard generator for Baby Jub	2019-08-03 12:46:21 +02: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	Update web3	2019-07-08 14:08:04 +02:00
compconstant.circom	Substractor	2018-12-16 11:27:29 +01:00
eddsa.circom	Change to a standard generator for Baby Jub	2019-08-03 12:46:21 +02:00
eddsamimc.circom	Change to a standard generator for Baby Jub	2019-08-03 12:46:21 +02:00
eddsamimcsponge.circom	Change to a standard generator for Baby Jub	2019-08-03 12:46:21 +02:00
eddsaposeidon.circom	Change to a standard generator for Baby Jub	2019-08-03 12:46:21 +02: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	Fix escalarfix	2019-07-30 20:16:06 +02: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
mux1.circom	Update web3	2019-07-08 14:08:04 +02:00
mux2.circom	Update web3	2019-07-08 14:08:04 +02: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	update poseidon with blake2b	2019-06-28 10:50:49 +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