diff --git a/README.md b/README.md index fc52764..d6dbcfb 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,7 @@ The libSTARK library implements _scalable_ and _transparent argument of knowledg + **scalability**: as an asymptotic function of the number of cycles (T) required by the computation whose integrity is being proved, both of the following conditions hold: + **prover scalability**: prover running time scales _quasi-linearly_ in T, i.e., like T poly log T. + **verifier scalability**: verifier running time scales _poly-logarithmically_ in T, i.e., like poly log T. -+ **"post-quantum security"**: the cryptographic primitives that underlie the security of the system are either the existence of a family of collision resistant hash functions (for an interactive system) or common access to a random function (the "random oracle" model for a non-interactive setting); in particular, quantum computers are not known to break system security at time of writing. ++ **"post-quantum security"**: the cryptographic primitives that underlie the security of the system are either the existence of a family of collision-resistant hash functions (for an interactive system) or common access to a random function (the "random oracle" model for a non-interactive setting); in particular, quantum computers are not known to break system security at the time of writing. ## Disclaimer diff --git a/algebra/FFT/src/FFT.h b/algebra/FFT/src/FFT.h index 58d6e9a..da36d9a 100644 --- a/algebra/FFT/src/FFT.h +++ b/algebra/FFT/src/FFT.h @@ -31,7 +31,7 @@ typedef enum{FFT_OP,IFFT_OP} fft_operation_t; class FFT { public: /* - * This is the basis over which the polynomial will be evaluated, could be affine. + * This is the basis over which the polynomial will be evaluated, which could be affine. */ Basis basis; /* @@ -65,7 +65,7 @@ class FFT { */ Element** exps; /* - * This are the subspaces needed to multiply at the WFromUV and UVFromW phases. + * These are the subspaces needed to multiply at the WFromUV and UVFromW phases. */ Element** subspaces; #ifdef __GPU