Zilliqa / scilla / 1686

61%

push

travis-ci-com

<a href="https://github.com/Zilliqa/scilla/commit/<a class=hub.com/Zilliqa/scilla/commit/e01dbb80b49b2674fae4263da93e1d829956e713">e01dbb80b<a href="https://github.com/Zilliqa/scilla/commit/e01dbb80b49b2674fae4263da93e1d829956e713">&quot;&gt;Support for alt_bn_128 (zkSNARKs) (#676)

* Add infrastructure for zksnark support.

* Proper error handling for snark interface

* Add scripts and modifications to build and use libff locally.

* Update travis and docker scripts

* Remove libprocps

* Remove dependence on libprocps

* Minor edit to libffi.sh path

* Fix typo in Docker and Travis files

* Add alt_bn128_G1_mul and a passing test

* Update coveralls target to build libff

* bugfixes and a test for invalid input

* Use uint8_t instead of char. Tests now pass.

* Add a simple add zero test

* Call libff.sh as part of Make

* Remove libprocps-dev from INSTALL.md

* Fix warning for const bytesConstRef

Clang reported the following:
warning: &amp;#39;const&amp;#39; qualifier on reference type &amp;#39;bytesConstRef&amp;#39;
(aka &amp;#39;const vector&amp;lt;unsigned char&amp;gt; &amp;amp;&amp;#39;) has no effect [-Wignored-qualifiers]
    bytesConstRef const pair = splice(_in, i * pairSize, (i * pairSize) + pairSize);
                  ^~~~~~

* Fixes to building libff

1. Checkout specific commit of libff.
2. Build in `_deps/libff` rather than in `_build`. This
  retains the build when `make clean` is performed.

* Refactor Bystr to its own module for reuse

* Revert &amp;quot;Refactor Bystr to its own module for reuse&quot;

This reverts commit </a><a class="double-link" href="https://github.com/Zilliqa/scilla/commit/<a class="double-link" href="https://github.com/Zilliqa/scilla/commit/6e4f7118c5c2dce6ec74e25f57579efb3bce0828">6e4f7118c</a>">6e4f7118c</a><a href="https://github.com/Zilliqa/scilla/commit/e01dbb80b49b2674fae4263da93e1d829956e713">.

* Strong types to represent points in G1 and G2

* Fix bugs and add alt_bn128_product_pairing tests.

* Add random points tests

* Add alt_bn128_G1_add Scilla builtin

* Add alt_bl128_G1_mul Scilla builtin

* Add bad tests for alt_bn128_G1_(add/mul)

* Provide alt_bn128_pairing_product Scilla builtin

* libff.sh sho... (continued)

5407 of 7179 relevant lines covered (75.32%)

102605.09 hits per line