Some changes to the core lib:

* Removed C-API. We are expecting a lot of changes to the library, and not expecting to use it out of rust. A C-API may be useful in the future, but not now.
* Created a `dense_mapping` module to simplify the STM module (by far the most complex and crucial module of the library).
* Clerks no longer verify Multi Signatures. Instead, we have multi signatures capable of being verified provided a verification key.

Author: iquerejeta

.github/workflows/ci.yml

@@ -137,22 +137,6 @@ jobs:
         run: |
           set -o pipefail && cargo test --release -- -Z unstable-options --format json --report-time | tee >(cargo2junit > test-results-mithril-core.xml)
 
-      - name: Set up Clang
-        uses: egor-tensin/setup-clang@v1
-        with:
-          version: latest
-          platform: x64
-
-      - name: Install gtest manually
-        run: sudo apt-get install libgtest-dev && cd /usr/src/gtest && sudo cmake CMakeLists.txt && sudo make && sudo cp lib/*.a /usr/lib && sudo ln -s /usr/lib/libgtest.a /usr/local/lib/libgtest.a && sudo ln -s /usr/lib/libgtest_main.a /usr/local/lib/libgtest_main.a
-
-      - name: Build C test
-        run: clang -x c++ tests.c stms.c -g -o tests -L ../target/release -lmithril -lpthread -lstdc++ -lgtest -lgtest_main
-        working-directory: mithril-core/c-tests
-
-      - name: Run C test
-        run: LD_LIBRARY_PATH=../target/release ./tests --gtest_output=xml:test-results-ctest-mithril-core.xml
-        working-directory: mithril-core/c-tests
 
       - name: Upload Unit Test Results
         if: always()

mithril-core/benches/stm.rs

@@ -178,7 +178,7 @@ where
     let clerk = StmClerk::from_signer(&party_dummy);
     let msig = clerk.aggregate(&sigs, &msg).unwrap();
     group.bench_function("Verification", |b| {
-        b.iter(|| clerk.verify_msig(&msig, &msg).is_ok())
+        b.iter(|| msig.verify(&msg, &clerk.compute_avk(), &params).is_ok())
     });
 }