diff --git a/plutus-conformance/agda/Spec.hs b/plutus-conformance/agda/Spec.hs
index 4d2cbdd9f25..a2b6c29c3e4 100644
--- a/plutus-conformance/agda/Spec.hs
+++ b/plutus-conformance/agda/Spec.hs
@@ -49,7 +49,78 @@ failingTests = [
     -- BuilinVersion.
     , "test-cases/uplc/evaluation/builtin/semantics/consByteString/consByteString1"
     , "test-cases/uplc/evaluation/builtin/semantics/consByteString/consByteString2"
-
+    ]
+    -- The tests for the BLS12-381 builtins are disabled because the metatheory
+    -- doesn't yet deal with the builtins properly.  -- The commented-out tests
+    -- will "succeed" because failure (for a genuine reason) is expected.
+     ++ fmap ("test-cases/uplc/evaluation/builtin/semantics/" ++)
+     [ "bls12_381_G1_add/add-associative"
+     , "bls12_381_G1_add/add-zero"
+     , "bls12_381_G1_add/add"
+     , "bls12_381_G1_add/add-commutative"
+     , "bls12_381_G1_compress/compress"
+     , "bls12_381_G1_equal/equal-false"
+     , "bls12_381_G1_equal/equal-true"
+     , "bls12_381_G1_hashToCurve/hash"
+     , "bls12_381_G1_mul/mul0"
+     , "bls12_381_G1_mul/mul4x11"
+     , "bls12_381_G1_mul/muladd"
+     , "bls12_381_G1_mul/mul1"
+     , "bls12_381_G1_mul/mul44"
+     , "bls12_381_G1_mul/addmul"
+     , "bls12_381_G1_mul/mulneg44"
+     , "bls12_381_G1_mul/mul19+25"
+     , "bls12_381_G1_mul/mulneg1"
+     , "bls12_381_G1_neg/neg"
+     , "bls12_381_G1_neg/add-neg"
+     , "bls12_381_G1_neg/neg-zero"
+     , "bls12_381_G1_uncompress/zero"
+     -- , "bls12_381_G1_uncompress/on-curve-serialised-not-compressed"
+     ---, "bls12_381_G1_uncompress/off-curve"
+     -- , "bls12_381_G1_uncompress/bad-zero-1"
+     , "bls12_381_G1_uncompress/on-curve-bit3-set"
+     -- , "bls12_381_G1_uncompress/too-short"
+     -- , "bls12_381_G1_uncompress/out-of-group"
+     , "bls12_381_G1_uncompress/on-curve-bit3-clear"
+     -- , "bls12_381_G1_uncompress/too-long"
+     -- , "bls12_381_G1_uncompress/bad-zero-2"
+     -- , "bls12_381_G1_uncompress/bad-zero-3"
+     , "bls12_381_G2_add/add-associative"
+     , "bls12_381_G2_add/add-zero"
+     , "bls12_381_G2_add/add"
+     , "bls12_381_G2_add/add-commutative"
+     , "bls12_381_G2_compress/compress"
+     , "bls12_381_G2_equal/equal-false"
+     , "bls12_381_G2_equal/equal-true"
+     , "bls12_381_G2_hashToCurve/hash"
+     , "bls12_381_G2_mul/mul0"
+     , "bls12_381_G2_mul/mul4x11"
+     , "bls12_381_G2_mul/muladd"
+     , "bls12_381_G2_mul/mul1"
+     , "bls12_381_G2_mul/mul44"
+     , "bls12_381_G2_mul/addmul"
+     , "bls12_381_G2_mul/mulneg44"
+     , "bls12_381_G2_mul/mul19+25"
+     , "bls12_381_G2_mul/mulneg1"
+     , "bls12_381_G2_neg/neg"
+     , "bls12_381_G2_neg/add-neg"
+     , "bls12_381_G2_neg/neg-zero"
+     , "bls12_381_G2_uncompress/zero"
+     -- , "bls12_381_G2_uncompress/on-curve-serialised-not-compressed"
+     -- , "bls12_381_G2_uncompress/off-curve"
+     -- , "bls12_381_G2_uncompress/bad-zero-1"
+     , "bls12_381_G2_uncompress/on-curve-bit3-set"
+     -- , "bls12_381_G2_uncompress/too-short"
+     -- , "bls12_381_G2_uncompress/out-of-group"
+     , "bls12_381_G2_uncompress/on-curve-bit3-clear"
+     -- , "bls12_381_G2_uncompress/too-long"
+     -- , "bls12_381_G2_uncompress/bad-zero-2"
+     -- , "bls12_381_G2_uncompress/bad-zero-3"
+     , "bls12_381_pairing/random-pairing"
+     , "bls12_381_pairing/balanced"
+     , "bls12_381_pairing/equal-pairing"
+     , "bls12_381_pairing/right-additive"
+     , "bls12_381_pairing/left-additive"
     ]
 
 main :: IO ()