use release version of libjade

default.nix

@@ -17,11 +17,9 @@ let
     '';
   };
 
-  libjade = fetchFromGitHub {
-    owner = "formosa-crypto";
-    repo = "libjade";
-    rev = "b0940068243f01dc3c185d166f1450936eec3eed";
-    hash = "sha256-w71QmJn5TG1cJ+SGXJyjh86uge177uRGSvwgnJXpKYg=";
+  libjade = fetchzip {
+    url = "https://github.com/formosa-crypto/libjade/releases/download/release%2F2023.05-2/libjade-dist-src-amd64.tar.gz";
+    hash = "sha256-IWLMWExvdZ++V3a9zX0a9xjSDgOA98h3sSmLOj8hKPE=";
   };
 in
 stdenv.mkDerivation {
@@ -32,7 +30,6 @@ stdenv.mkDerivation {
     gnumake
     gcc
     jasmin
-    libjade
   ];
 
   configurePhase = ''
@@ -44,5 +41,5 @@ stdenv.mkDerivation {
     cp build/libagent.a $out/lib
   '';
 
-  JASMINPATH = "Jade=${libjade}/src/";
+  JASMINPATH = "Jade=${libjade}/libjade/";
 }

src/agent.jazz

@@ -1,4 +1,4 @@
-from Jade require "crypto_scalarmult/curve25519/amd64/mulx/scalarmult.jazz"
+from Jade require "crypto_scalarmult/curve25519_mulx/curve25519_mulx.jazz"
 
 inline fn extract_nth_ptr(reg u64 sync_mem shared_mem, inline int i) -> reg u64 {
     reg u64 p;