rebase on 0.3.0

README.md

@@ -18,6 +18,22 @@ Due to request to have a maintainable repo with WASM compatibility those feature
 
 It's intended to add `GM17` proof system and `SONIC` proof system.
 
+## Features
+
+There are two available features to be used in production and are stable and will not be changed in terms of API. Those are Groth16 proof system implementation.
+
+- `multicore` feature (enabled by default) is intended to be run on PC and in environments that have support of a full `std` including threading.
+- `singlecore` feature is mainly intended for WASM systems, where non-compatible external crates are removed, along with all the multithreading.
+
+Due to request to have a maintainable repo with WASM compatibility those features were implemented during the implementation of GM17 and SONIC proof systems. That's why there are two more features that are incomplete and will have breaking changes in a future. Those are for interested enthusiasts.
+
+- `gm17` - is incomplete and most likely will get attention after putting SONIC to completeness.
+- `sonic` - 90% complete. Original implementation of `helped` protocol is integrated with API similar to the Groth16, along with wrapping adapters to use existing circuits without any changes. `unhelped` version is not yet complete, but all cryptographical primitives are implemented and tested. Right now it's a priority.
+
+## Future progress
+
+It's intended to add `GM17` proof system and `SONIC` proof system.
+
 ## License
 
 Licensed under either of

src/sonic/tests/sonics.rs

@@ -1,3 +1,5 @@
+extern crate rand;
+
 // For randomness (during paramgen and proof generation)
 use rand::{thread_rng, Rng};