Merge pull request #134 from rosenpass/dev/engler/stack

Follow-ups to the stack increasements

flake.nix

@@ -157,11 +157,6 @@
                     '';
                   };
 
-                  # liboqs requires quite a lot of stack memory, thus we adjust
-                  # the default stack size picked for new threads (which is used
-                  # by `cargo test`) to be _big enough_
-                  RUST_MIN_STACK = 8 * 1024 * 1024; # 8 MiB
-
                   # We want to build for a specific target...
                   CARGO_BUILD_TARGET = target;
 
@@ -309,7 +304,6 @@
           #
           devShells.default = pkgs.mkShell {
             inherit (packages.proof-proverif) CRYPTOVERIF_LIB;
-            inherit (packages.rosenpass) RUST_MIN_STACK;
             inputsFrom = [ packages.default ];
             nativeBuildInputs = with pkgs; [
               cmake # override the fakecmake from the main step above
@@ -322,7 +316,6 @@
           };
           devShells.coverage = pkgs.mkShell {
             inputsFrom = [ packages.default ];
-            inherit (packages.rosenpass) RUST_MIN_STACK;
             nativeBuildInputs = with pkgs; [ inputs.fenix.packages.${system}.complete.toolchain cargo-llvm-cov ];
           };
 

src/protocol.rs

@@ -1740,7 +1740,7 @@ mod test {
         // initialize secret and public key for the crypto server
         let (mut sk, mut pk) = (SSk::zero(), SPk::zero());
 
-        // Guranteed to have 16MB of stack size
+        // Guranteed to have 8MiB of stack size
         stacker::grow(8 * 1024 * 1024, || {
             StaticKEM::keygen(sk.secret_mut(), pk.secret_mut()).expect("unable to generate keys");
         });