Make anomaVerifyWithMessage a builtin (#8)

* Make anomaVerifyWithMessage a builtin This builtin is available since Juvix 0.6.3 * Update minimum juvix version
anoma · Jul 3, 2024 · 835ce83 · 835ce83
1 parent 7ef22bf
commit 835ce83
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Anoma/System.juvix b/Anoma/System.juvix
@@ -85,6 +85,7 @@ axiom anomaVerifyDetached : {Message : Type}
   -> Bool;
 
 --- Verifies a signature against a message and public key and return the message on success.
+builtin anoma-verify-with-message
 axiom anomaVerifyWithMessage : {Message : Type}
   -- | The signed message to verify.
   -> SignedMessage

diff --git a/README.md b/README.md
@@ -4,4 +4,4 @@ A Juvix library for writing Anoma applications.
 
 ## Minimum Supported Juvix Version
 
-To use this library you need to use a [Juvix nightly build](https://github.com/anoma/juvix-nightly-builds/releases/latest) from 2024-06-28 or later.
+To use this library you need to use [Juvix 0.6.3](https://github.com/anoma/juvix/releases/tag/v0.6.3) or a [Juvix nightly build](https://github.com/anoma/juvix-nightly-builds/releases/latest) from 2024-07-03 or later.