Merge separate out crypto tests

.github/workflows/test_crypto.yml

@@ -0,0 +1,50 @@
+name: Crypto tests
+
+on:
+  push:
+    branches:
+      - 'develop'
+      - 'main'
+  pull_request:
+  schedule:
+    - cron: '0 0 * * 1'
+  workflow_dispatch:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  test:
+    strategy:
+      matrix:
+        just_variants:
+          - async_std
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        name: Checkout Repository
+
+      - run: rustup toolchain install stable --profile minimal
+
+      - uses: Swatinem/rust-cache@v2
+        name: Enable Rust Caching
+        with:
+          shared-key: ""
+          prefix-key: ${{ matrix.just_variants }}
+
+      - name: Install dependencies
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y protobuf-compiler
+      - name: Install Just
+        run: |
+          wget https://github.com/casey/just/releases/download/1.14.0/just-1.14.0-x86_64-unknown-linux-musl.tar.gz
+          tar -vxf just-1.14.0-x86_64-unknown-linux-musl.tar.gz just
+          sudo cp just /usr/bin/just
+      - name: Unit and integration tests for all crates in workspace
+        run: |
+          just ${{ matrix.just_variants }} test_crypto
+        timeout-minutes: 60
+        env:
+          RUST_BACKTRACE: full

crates/hotshot-qc/src/bit_vector.rs

@@ -352,7 +352,7 @@ mod tests {
         };
     }
     #[test]
-    fn test_quorum_certificate() {
+    fn crypto_test_quorum_certificate() {
         test_quorum_certificate!(BLSOverBN254CurveSignatureScheme);
     }
 }

crates/hotshot-qc/src/bit_vector_old.rs

@@ -319,7 +319,7 @@ mod tests {
         };
     }
     #[test]
-    fn test_quorum_certificate() {
+    fn crypto_test_quorum_certificate() {
         test_quorum_certificate!(BLSOverBN254CurveSignatureScheme);
     }
 }

crates/hotshot-qc/src/snarked/circuit.rs

@@ -334,7 +334,7 @@ mod tests {
     };
 
     #[test]
-    fn test_vk_aggregate_sw_circuit() -> Result<(), CircuitError> {
+    fn crypto_test_vk_aggregate_sw_circuit() -> Result<(), CircuitError> {
         let a_ecc = Fq377::zero();
         test_vk_aggregate_sw_circuit_helper::<Fq377, Fr254, Param377>(a_ecc)?;
         let a_ecc = Fq254::zero();
@@ -440,7 +440,7 @@ mod tests {
     }
 
     #[test]
-    fn test_vk_aggregate_te_circuit() -> Result<(), CircuitError> {
+    fn crypto_test_vk_aggregate_te_circuit() -> Result<(), CircuitError> {
         let d_ecc : Fq377 = MontFp!("122268283598675559488486339158635529096981886914877139579534153582033676785385790730042363341236035746924960903179");
         test_vk_aggregate_te_circuit_helper::<Fq377, Fr254, Param377>(d_ecc)
     }

crates/hotshot-stake-table/src/mt_based.rs

@@ -230,7 +230,7 @@ mod tests {
     type Key = ark_bn254::Fq;
 
     #[test]
-    fn test_stake_table() -> Result<(), StakeTableError> {
+    fn crypto_test_stake_table() -> Result<(), StakeTableError> {
         let mut st = StakeTable::<Key>::new(3);
         let keys = (0..10).map(Key::from).collect::<Vec<_>>();
         assert_eq!(st.total_stake(SnapshotVersion::Head)?, U256::from(0));

crates/hotshot-stake-table/src/mt_based/internal.rs

@@ -599,7 +599,7 @@ mod tests {
     type Key = ark_bn254::Fq;
 
     #[test]
-    fn test_persistent_merkle_tree() {
+    fn crypto_test_persistent_merkle_tree() {
         let height = 3;
         let mut roots = vec![Arc::new(PersistentMerkleNode::<Key>::Empty)];
         let path = (0..10)
@@ -712,7 +712,7 @@ mod tests {
     }
 
     #[test]
-    fn test_mt_iter() {
+    fn crypto_test_mt_iter() {
         let height = 3;
         let capacity = config::TREE_BRANCH.pow(height);
         let mut rng = test_rng();

crates/hotshot-stake-table/src/vec_based.rs

@@ -378,7 +378,7 @@ mod tests {
     use jf_primitives::signatures::{SchnorrSignatureScheme, SignatureScheme};
 
     #[test]
-    fn test_stake_table() -> Result<(), StakeTableError> {
+    fn crypto_test_stake_table() -> Result<(), StakeTableError> {
         let mut st = StakeTable::<BLSVerKey, SchnorrVerKey, F>::new();
         let mut prng = jf_utils::test_rng();
         let keys = (0..10)

crates/hotshot-state-prover/src/circuit.rs

@@ -428,7 +428,7 @@ mod tests {
     type F = ark_ed_on_bn254::Fq;
 
     #[test]
-    fn test_circuit_building() {
+    fn crypto_test_circuit_building() {
         let num_validators = 10;
         let mut prng = test_rng();
 

crates/hotshot-state-prover/src/lib.rs

@@ -175,7 +175,7 @@ mod tests {
     }
 
     #[test]
-    fn test_proof_generation() {
+    fn crypto_test_proof_generation() {
         let num_validators = 10;
         let mut prng = test_rng();
 

crates/testing/tests/timeout.rs

@@ -69,6 +69,7 @@ async fn test_timeout_web() {
     tokio::test(flavor = "multi_thread", worker_threads = 2)
 )]
 #[cfg_attr(async_executor_impl = "async-std", async_std::test)]
+#[ignore]
 async fn test_timeout_libp2p() {
     use std::time::Duration;
 

justfile

@@ -23,14 +23,17 @@ example *ARGS:
 
 test:
   echo Testing
-  cargo test --verbose --lib --bins --tests --benches --workspace --no-fail-fast -- --test-threads=1 --nocapture
+  cargo test --verbose --lib --bins --tests --benches --workspace --no-fail-fast -- --test-threads=1 --nocapture --skip crypto_test
 
 test_basic: test_success test_with_failures test_network_task test_consensus_task test_da_task test_vid_task test_view_sync_task
 
 test_catchup:
     echo Testing with async std executor
     ASYNC_STD_THREAD_COUNT=1 cargo test --lib --bins --tests --benches --workspace --no-fail-fast test_catchup -- --test-threads=1 --nocapture
 
+test_crypto:
+  ASYNC_STD_THREAD_COUNT=1 cargo test --lib --bins --tests --benches --workspace --no-fail-fast crypto_test -- --test-threads=1 --nocapture
+
 test_success:
   echo Testing success test
   ASYNC_STD_THREAD_COUNT=1 cargo test --lib --bins --tests --benches --workspace --no-fail-fast test_success -- --test-threads=1 --nocapture