add isNullifier and isCommitment (#76)

anoma · Jan 20, 2025 · beef149 · beef149
1 parent 59e2a36
commit beef149
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Anoma/Builtin/System.juvix b/Anoma/Builtin/System.juvix
@@ -100,3 +100,9 @@ axiom pseudoRandomNumberGeneratorSplit : PRNG -> Pair PRNG PRNG;
 --- @return A pair containing the random number and the advanced PRNG.
 builtin anoma-random-next-bytes
 axiom pseudoRandomNumberGeneratorNextBytes : Nat -> PRNG -> Pair ByteArray PRNG;
+
+builtin anoma-is-nullifier
+axiom isNullifier : Nat -> Bool;
+
+builtin anoma-is-commitment
+axiom isCommitment : Nat -> Bool;