diff --git a/README.md b/README.md index 2cc879cc..cfa98e67 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,7 @@ ## Organisation -This respository contains 3 folders: +This repository contains 3 folders: - `circuits`: it contains the implementation of different cryptographic primitives in circom language. - `doc`: it contains some circuit schemes in ASCII (must be opened with Monodraw, an ASCII art editor for Mac). - `test`: tests. diff --git a/circuits/README.md b/circuits/README.md index 40a833e7..8e091f46 100644 --- a/circuits/README.md +++ b/circuits/README.md @@ -15,7 +15,7 @@ ## Jordi * compconstant - Returns 1 if `in` (expanded to binary array) > `ct` -* aliascheck - check if `in` (expanded to binary array) oveflowed its 254 bits (<= -1) +* aliascheck - check if `in` (expanded to binary array) overflowed 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`) @@ -129,7 +129,7 @@ Arithmetic on [Baby Jubjub elliptic curve](https://github.com/barryWhiteHat/baby - `BinSub(n)` - - DESCRIPTION: binary substraction. + - DESCRIPTION: binary subtraction. - SCHEMA - INPUT - OUTPUT