Disable VRF10 until the audit is complete

IntersectMBO · Jun 21, 2022 · b162c30 · b162c30
1 parent 8a67195
commit b162c30
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 12 deletions.
diff --git a/cardano-crypto-praos/cardano-crypto-praos.cabal b/cardano-crypto-praos/cardano-crypto-praos.cabal
@@ -20,13 +20,13 @@ extra-source-files:    cbits/crypto_vrf.h
                        cbits/vrf03/crypto_vrf_ietfdraft03.h
                        cbits/vrf03/vrf_ietfdraft03.h
 
-                       cbits/vrf10_batchcompat/crypto_vrf_ietfdraft10.h
-                       cbits/vrf10_batchcompat/vrf_ietfdraft10.h
+                       -- cbits/vrf10_batchcompat/crypto_vrf_ietfdraft10.h
+                       -- cbits/vrf10_batchcompat/vrf_ietfdraft10.h
 
                        cbits/private/common.h
                        cbits/private/quirks.h
                        cbits/private/ed25519_ref10.h
-                       cbits/private/hash_to_curve.h
+                       --cbits/private/hash_to_curve.h
                        cbits/private/ed25519_ref10_fe_25_5.h
                        cbits/private/ed25519_ref10_fe_51.h
 
@@ -71,7 +71,8 @@ library
   import:               base, project-config
   hs-source-dirs:       src
   exposed-modules:      Cardano.Crypto.VRF.Praos
-                 ,      Cardano.Crypto.VRF.PraosBatchCompat
+                 -- Disabled until the full audit is complete:
+                 -- ,      Cardano.Crypto.VRF.PraosBatchCompat
                  ,      Cardano.Crypto.RandomBytes
 
   build-depends:        base
@@ -91,11 +92,11 @@ library
                         cbits/vrf03/verify.c
                         cbits/vrf03/vrf.c
 
-                        cbits/vrf10_batchcompat/convert.c
-                        cbits/vrf10_batchcompat/verify.c
-                        cbits/vrf10_batchcompat/keypair.c
-                        cbits/vrf10_batchcompat/prove.c
-                        cbits/vrf10_batchcompat/vrf.c
+                        -- cbits/vrf10_batchcompat/convert.c
+                        -- cbits/vrf10_batchcompat/verify.c
+                        -- cbits/vrf10_batchcompat/keypair.c
+                        -- cbits/vrf10_batchcompat/prove.c
+                        -- cbits/vrf10_batchcompat/vrf.c
 
-                        cbits/private/hash_to_curve.c
+                        -- cbits/private/hash_to_curve.c
                         cbits/private/ed25519_ref10.c
diff --git a/cardano-crypto-tests/src/Test/Crypto/VRF.hs b/cardano-crypto-tests/src/Test/Crypto/VRF.hs
@@ -13,7 +13,8 @@ where
 
 import Cardano.Crypto.VRF
 import Cardano.Crypto.VRF.Praos
-import Cardano.Crypto.VRF.PraosBatchCompat
+-- TODO: re-enable once the audit is complete:
+-- import Cardano.Crypto.VRF.PraosBatchCompat
 import Cardano.Crypto.Util
 
 import qualified Data.ByteString as BS
@@ -38,7 +39,8 @@ tests =
     [ testVRFAlgorithm (Proxy :: Proxy MockVRF) "MockVRF"
     , testVRFAlgorithm (Proxy :: Proxy SimpleVRF) "SimpleVRF"
     , testVRFAlgorithm (Proxy :: Proxy PraosVRF) "PraosVRF"
-    , testVRFAlgorithm (Proxy :: Proxy PraosBatchCompatVRF) "PraosBatchCompatVRF"
+    -- Disabled until VRF10 audit is copmplete:
+    -- , testVRFAlgorithm (Proxy :: Proxy PraosBatchCompatVRF) "PraosBatchCompatVRF"
 
     , testGroup "OutputVRF"
       [ testProperty "bytesToNatural" prop_bytesToNatural