remove Extra.Random

anoma · Jan 17, 2025 · 9e6c4b9 · 9e6c4b9
1 parent 5ba4c35
commit 9e6c4b9
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 38 deletions.
diff --git a/Extra.juvix b/Extra.juvix
@@ -2,4 +2,3 @@ module Extra;
 
 import Extra.Anoma open public;
 import Extra.Encoded open public;
-import Extra.Random open public;
diff --git a/Extra/Anoma.juvix b/Extra/Anoma.juvix
@@ -1,7 +1,6 @@
 --- This module contains functions that should be moved to Anoma.System.Builtins
 module Extra.Anoma;
 
-import Extra.Random open;
 import Stdlib.Prelude open;
 import Anoma.Builtin.System open;
 import Anoma.Builtin.ByteArray open;
@@ -13,14 +12,3 @@ axiom isNullifier : Nat -> Bool;
 
 builtin anoma-is-commitment
 axiom isCommitment : Nat -> Bool;
-
-randomNonce (prng : PRNG) : Pair Nonce PRNG :=
-  first
-    (Nonce.from32SizedByteArray)
-    (pseudoRandomNumberGeneratorNextBytes 32 prng);
-
-randomNonce' {R : Type -> Type} {{Random R}} : R Nonce :=
-  do {
-    bytes <- Random.genRandomBytes 32;
-    pure (Nonce.from32SizedByteArray bytes);
-  };
diff --git a/Extra/Random.juvix b/Extra/Random.juvix
diff --git a/HelloWorld/Interface/Transaction.juvix b/HelloWorld/Interface/Transaction.juvix
@@ -3,7 +3,6 @@ module HelloWorld.Interface.Transaction;
 import Anoma open;
 import Applib open;
 import Stdlib.Prelude open;
-import Extra.Random open;
 
 import Anoma.State.CommitmentTree open;
 import BaseLayer.ResourceMachine open;
Original file line number	Diff line number	Diff line change
Expand Up		@@ -2,4 +2,3 @@ module Extra;

		import Extra.Anoma open public;
		import Extra.Encoded open public;
		import Extra.Random open public;