update README.md

update README.md

update README.md

fixed circuit test example

fixed README.md

fixed README.md

fixed README.md

Merge pull request #2 from distributed-lab/feature/smaller-reciprocal-rp

fixed reciprocal protocol - shorter input witness

Merge pull request #1 from distributed-lab/feature/reciprocal-argumen…

fixed readme

adding uint128 proof

adding docs

proving range for committed value

adding docs for range proofs

adding reciprocal range proof

adding circuit test: binary range proof

adding circuit test: binary range proof

adding one more example for arithmetic circuits

updated README.md

updated README.md

updated README.md

Some fixes to the arithmetic circuit protocol test

Adding BP++ arithmetic circuit protocol