Implement CI

.github/workflows/linux-nix-check.yml

@@ -0,0 +1,24 @@
+name: Build and Test on Linux Platforms
+
+on:
+  workflow_call:
+
+jobs:
+  build-and-test:
+    name: "Build and test Linux"
+    runs-on: [self-hosted, Linux, X64, aws_autoscaling]
+    steps:
+      # https://github.com/actions/checkout/issues/1552
+      - name: Clean up after previous checkout
+        run: chmod +w -R ${GITHUB_WORKSPACE}; rm -rf ${GITHUB_WORKSPACE}/*;
+
+      - name: Checkout
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+
+      - name: Run checks
+        run: nix build -L .?#checks.x86_64-linux.all-gcc
+        env:
+          NIX_CONFIG: |
+            cores = 4

.github/workflows/pull-request.yml

@@ -0,0 +1,24 @@
+name: PR Testing
+
+on:
+  pull_request:
+  push:
+    branches:
+      - master
+
+concurrency:
+  # In master we want to run for every commit, in other branches — only for the last one
+  group: ${{
+    ( github.ref == 'refs/heads/master' && format('{0}/{1}/{2}', github.workflow, github.ref, github.sha) )
+    ||
+    format('{0}/{1}', github.workflow, github.ref) }}
+  cancel-in-progress: true
+
+jobs:
+  test-linux:
+    name: Linux Crypto3 Testing
+    uses: ./.github/workflows/linux-nix-check.yml
+    if: |
+      always() && !cancelled()
+    secrets: inherit
+

crypto3/crypto3.nix

@@ -3,13 +3,11 @@
   ninja,
   pkg-config,
   cmake,
-  boost183,
-  # We'll use boost183 by default, but you can override it
-  boost_lib ? boost183,
+  boost,
   gdb,
   cmake_modules,
   enableDebugging,
-  enableDebug ? true,
+  enableDebug ? false,
   runTests ? false,
   }:
 let
@@ -22,7 +20,7 @@ in stdenv.mkDerivation {
   nativeBuildInputs = [ cmake ninja pkg-config ] ++ (lib.optional (!stdenv.isDarwin) gdb);
 
   # enableDebugging will keep debug symbols in boost
-  propagatedBuildInputs = [ (if enableDebug then (enableDebugging boost_lib) else boost_lib) ];
+  propagatedBuildInputs = [ (if enableDebug then (enableDebugging boost) else boost) ];
 
   buildInputs = [cmake_modules];
 
@@ -33,6 +31,7 @@ in stdenv.mkDerivation {
       (if enableDebug then "-DCMAKE_BUILD_TYPE=Debug" else "-DCMAKE_BUILD_TYPE=Release")
       (if enableDebug then "-DCMAKE_CXX_FLAGS=-ggdb" else "")
       (if enableDebug then "-DCMAKE_CXX_FLAGS=-O0" else "")
+      "-G Ninja"
     ];
 
   doCheck = runTests; # tests are inside crypto3-tests derivation

crypto3/libs/blueprint/test/verifiers/placeholder/verifier.cpp

@@ -25,6 +25,7 @@
 
 #include <iostream>
 #include <fstream>
+#include <cstdint>
 
 #include <boost/test/unit_test.hpp>
 

crypto3/libs/blueprint/test/zkevm/opcodes/iszero.cpp

@@ -26,6 +26,7 @@
 
 #include <boost/test/unit_test.hpp>
 
+#include <nil/blueprint/zkevm/zkevm_machine_interface.hpp>
 #include <nil/crypto3/algebra/fields/arithmetic_params/goldilocks64.hpp>
 
 #include <nil/blueprint/blueprint/plonk/circuit.hpp>
@@ -34,8 +35,6 @@
 #include <nil/blueprint/zkevm/zkevm_circuit.hpp>
 #include "../opcode_tester.hpp"
 
-#include <nil/blueprint/zkevm/operations/iszero.hpp>
-
 using namespace nil::blueprint;
 using namespace nil::crypto3::algebra;
 

crypto3/libs/blueprint/test/zkevm/opcodes/mul.cpp

@@ -33,10 +33,11 @@
 #include <nil/blueprint/blueprint/plonk/assignment.hpp>
 
 #include <nil/blueprint/zkevm/zkevm_circuit.hpp>
-#include "../opcode_tester.hpp"
-
+#include <nil/blueprint/zkevm/zkevm_operation.hpp>
 #include <nil/blueprint/zkevm/operations/mul.hpp>
 
+#include "../opcode_tester.hpp"
+
 using namespace nil::blueprint;
 using namespace nil::crypto3::algebra;
 

crypto3/libs/containers/test/merkle/merkle.cpp

@@ -26,6 +26,12 @@
 
 #define BOOST_TEST_MODULE containter_merkletree_test
 
+#include <chrono>
+#include <cstdio>
+#include <limits>
+#include <type_traits>
+#include <cstdint>
+
 #include <nil/crypto3/algebra/random_element.hpp>
 #include <nil/crypto3/algebra/type_traits.hpp>
 #include <nil/crypto3/hash/block_to_field_elements_wrapper.hpp>
@@ -35,6 +41,7 @@
 #include <nil/crypto3/hash/keccak.hpp>
 #include <nil/crypto3/hash/pedersen.hpp>
 #include <nil/crypto3/hash/poseidon.hpp>
+#include <nil/crypto3/hash/algorithm/hash.hpp>
 
 #include <nil/crypto3/container/merkle/tree.hpp>
 #include <nil/crypto3/container/merkle/proof.hpp>
@@ -43,12 +50,6 @@
 #include <boost/test/data/test_case.hpp>
 #include <boost/test/data/monomorphic.hpp>
 
-#include <chrono>
-#include <cstdio>
-#include <limits>
-#include <type_traits>
-#include <nil/crypto3/hash/algorithm/hash.hpp>
-
 using namespace nil::crypto3;
 using namespace nil::crypto3::containers;
 

crypto3/libs/hash/test/crc.cpp

@@ -8,8 +8,13 @@
 
 #define BOOST_TEST_MODULE crc_test
 
-#include <nil/crypto3/hash/algorithm/hash.hpp>
+#include <iostream>
+#include <string>
+#include <cassert>
+#include <cstdint>
+#include <unordered_map>
 
+#include <nil/crypto3/hash/algorithm/hash.hpp>
 #include <nil/crypto3/hash/crc.hpp>
 #include <nil/crypto3/hash/hash_state.hpp>
 
@@ -19,11 +24,6 @@
 #include <boost/test/data/test_case.hpp>
 #include <boost/test/data/monomorphic.hpp>
 
-#include <iostream>
-#include <string>
-#include <cassert>
-#include <unordered_map>
-
 using namespace nil::crypto3;
 using namespace nil::crypto3::hashes;
 using namespace nil::crypto3::accumulators;
@@ -130,4 +130,4 @@ BOOST_AUTO_TEST_CASE(crc_stateful_hash3) {
     BOOST_CHECK_EQUAL(d, "a7943e77");
 }
 
-BOOST_AUTO_TEST_SUITE_END()
+BOOST_AUTO_TEST_SUITE_END()

crypto3/libs/hash/test/tiger.cpp

@@ -25,6 +25,12 @@
 
 #define BOOST_TEST_MODULE tiger_test
 
+#include <iostream>
+#include <string>
+#include <unordered_map>
+#include <cstdio>
+#include <cstdint>
+
 #include <nil/crypto3/hash/algorithm/hash.hpp>
 #include <nil/crypto3/hash/adaptor/hashed.hpp>
 
@@ -39,12 +45,6 @@
 
 #include <boost/static_assert.hpp>
 
-#include <iostream>
-#include <string>
-#include <unordered_map>
-
-#include <cstdio>
-
 using namespace nil::crypto3;
 using namespace nil::crypto3::accumulators;
 
@@ -155,4 +155,4 @@ BOOST_AUTO_TEST_CASE(tiger_iterator_hash7) {
     BOOST_CHECK_EQUAL("1c14795529fd9f207a958f84c52f11e887fa0cabdfd91bfd", out);
 }
 
-BOOST_AUTO_TEST_SUITE_END()
+BOOST_AUTO_TEST_SUITE_END()

crypto3/libs/marshalling/algebra/test/curve_element_fixed_size_container.cpp

@@ -31,6 +31,7 @@
 #include <boost/random/uniform_int.hpp>
 #include <iostream>
 #include <iomanip>
+#include <cstdint>
 
 #include <nil/marshalling/status_type.hpp>
 #include <nil/marshalling/endianness.hpp>

crypto3/libs/random/test/rfc6979.cpp

@@ -31,6 +31,7 @@
 #include <sstream>
 #include <cstdlib>
 #include <ctime>
+#include <cstdint>
 
 #include <boost/test/unit_test.hpp>