move proving defaults to codextypes

codex/codextypes.nim

@@ -28,6 +28,13 @@ const
   DefaultBlockSize* = NBytes 1024 * 64
   DefaultCellSize* = NBytes 2048
 
+  # Proving defaults
+  DefaultMaxSlotDepth*    = 32
+  DefaultMaxDatasetDepth* = 8
+  DefaultBlockDepth*      = 5
+  DefaultCellElms*        = 67
+  DefaultSamplesNum*      = 5
+
   # hashes
   Sha256HashCodec* = multiCodec("sha2-256")
   Sha512HashCodec* = multiCodec("sha2-512")

codex/slots/proofs/backends/circomcompat.nim

@@ -26,14 +26,6 @@ import pkg/constantine/math/io/io_bigints
 
 export circomcompat
 
-const
-  # TODO: this defaults need to be adjusted and/or replased with cli config params
-  DefaultMaxSlotDepth*    = 32
-  DefaultMaxDatasetDepth* = 8
-  DefaultBlockDepth*      = 5
-  DefaultCellElms*        = 67
-  DefaultSamplesNum*      = 5
-
 type
   CircomCompat* = object
     slotDepth     : int     # max depth of the slot tree