You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Jordi Baylina
024188b638
|
4 years ago | |
|---|---|---|
| .. | ||
| sha256 | 4 years ago | |
| smt | 5 years ago | |
| README.md | 5 years ago | |
| aliascheck.circom | 5 years ago | |
| babyjub.circom | 4 years ago | |
| binsub.circom | 5 years ago | |
| binsum.circom | 5 years ago | |
| bitify.circom | 5 years ago | |
| comparators.circom | 4 years ago | |
| compconstant.circom | 5 years ago | |
| eddsa.circom | 4 years ago | |
| eddsamimc.circom | 4 years ago | |
| eddsamimcsponge.circom | 4 years ago | |
| eddsaposeidon.circom | 4 years ago | |
| escalarmul.circom | 5 years ago | |
| escalarmulany.circom | 4 years ago | |
| escalarmulfix.circom | 4 years ago | |
| escalarmulw4table.circom | 5 years ago | |
| gates.circom | 5 years ago | |
| mimc.circom | 5 years ago | |
| mimcsponge.circom | 4 years ago | |
| montgomery.circom | 5 years ago | |
| multiplexer.circom | 5 years ago | |
| mux1.circom | 4 years ago | |
| mux2.circom | 4 years ago | |
| mux3.circom | 5 years ago | |
| mux4.circom | 5 years ago | |
| pedersen.circom | 5 years ago | |
| pedersen_old.circom | 5 years ago | |
| pointbits.circom | 5 years ago | |
| poseidon.circom | 4 years ago | |
| sign.circom | 5 years ago | |
| switcher.circom | 5 years ago | |
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
- BabyAdd - (
- binsub - binary subtraction
- gates - logical gates
- mimc - SNARK-friendly hash Minimal Multiplicative Complexity.
- smt - Sparse Merkle Tree
- montgomery https://en.wikipedia.org/wiki/Montgomery_curve