versioned header check

ergoplatform · Oct 2, 2024 · 40fe947 · 40fe947
1 parent 3c06856
commit 40fe947
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/data/jvm/src/main/scala/sigma/Platform.scala b/data/jvm/src/main/scala/sigma/Platform.scala
@@ -31,7 +31,7 @@ object Platform {
       case n: sigma.BigInt => Nullable(mkConstant[SBigInt.type](n, SBigInt))
       case ge: GroupElement => Nullable(mkConstant[SGroupElement.type](ge, SGroupElement))
       case b: Boolean => Nullable(if (b) TrueLeaf else FalseLeaf)
-      case h: Header => Nullable(mkConstant[SHeader.type](h, SHeader))
+      case h: Header if VersionContext.current.isV6SoftForkActivated  => Nullable(mkConstant[SHeader.type](h, SHeader))
 
       // todo: check UnsignedBigInt
 

diff --git a/interpreter/shared/src/test/scala/sigma/ast/SigmaBuilderTest.scala b/interpreter/shared/src/test/scala/sigma/ast/SigmaBuilderTest.scala
@@ -247,7 +247,11 @@ class SigmaBuilderTest extends AnyPropSpec with ScalaCheckPropertyChecks with Ma
   property("liftToConstant Header") {
     val h = TestData.h1
     val c = HeaderConstant(h)
-    test[SHeader.type](h, c)
+    if (VersionContext.current.isV6SoftForkActivated) {
+      testSuccess(h, c)
+    } else {
+      testFailure(h)
+    }
     testFailure(Array.fill(10)(h))
     testColl[SHeader.type](h, c)
   }