Add Ed25519Verify_Bare

pyteal/__init__.pyi

@@ -76,6 +76,7 @@ __all__ = [
     "EcdsaRecover",
     "EcdsaVerify",
     "Ed25519Verify",
+    "Ed25519Verify_Bare",
     "EnumInt",
     "Eq",
     "Err",

pyteal/ast/__init__.py

@@ -100,7 +100,13 @@
 )
 
 # ternary ops
-from pyteal.ast.ternaryexpr import Divw, Ed25519Verify, SetBit, SetByte
+from pyteal.ast.ternaryexpr import (
+    Divw,
+    Ed25519Verify,
+    Ed25519Verify_Bare,
+    SetBit,
+    SetByte,
+)
 from pyteal.ast.substring import Substring, Extract, Suffix
 
 # more ops
@@ -218,6 +224,7 @@
     "GetBit",
     "GetByte",
     "Ed25519Verify",
+    "Ed25519Verify_Bare",
     "Substring",
     "Extract",
     "Suffix",

pyteal/ast/ternaryexpr.py

@@ -77,6 +77,24 @@ def Ed25519Verify(data: Expr, sig: Expr, key: Expr) -> TernaryExpr:
     )
 
 
+def Ed25519Verify_Bare(data: Expr, sig: Expr, key: Expr) -> TernaryExpr:
+    """Verify the ed25519 signature of the data against the public key.
+
+    Args:
+        data: The data signed by the public key. Must evalutes to bytes.
+        sig: The proposed 64-byte signature of the data. Must evalute to bytes.
+        key: The 32 byte public key that produced the signature. Must evaluate to bytes.
+    """
+    return TernaryExpr(
+        Op.ed25519verify_bare,
+        (TealType.bytes, TealType.bytes, TealType.bytes),
+        TealType.uint64,
+        data,
+        sig,
+        key,
+    )
+
+
 def SetBit(value: Expr, index: Expr, newBitValue: Expr) -> TernaryExpr:
     """Set the bit value of an expression at a specific index.
 

pyteal/ast/ternaryexpr_test.py

@@ -7,6 +7,7 @@
 teal4Options = pt.CompileOptions(version=4)
 teal5Options = pt.CompileOptions(version=5)
 teal6Options = pt.CompileOptions(version=6)
+teal7Options = pt.CompileOptions(version=7)
 
 
 def test_ed25519verify():
@@ -41,6 +42,41 @@ def test_ed25519verify_invalid():
         pt.Ed25519Verify(pt.Bytes("data"), pt.Bytes("sig"), pt.Int(0))
 
 
+def test_ed25519verify_bare():
+    args = [pt.Bytes("data"), pt.Bytes("sig"), pt.Bytes("key")]
+    expr = pt.Ed25519Verify_Bare(args[0], args[1], args[2])
+    assert expr.type_of() == pt.TealType.uint64
+
+    expected = pt.TealSimpleBlock(
+        [
+            pt.TealOp(args[0], pt.Op.byte, '"data"'),
+            pt.TealOp(args[1], pt.Op.byte, '"sig"'),
+            pt.TealOp(args[2], pt.Op.byte, '"key"'),
+            pt.TealOp(expr, pt.Op.ed25519verify_bare),
+        ]
+    )
+
+    actual, _ = expr.__teal__(teal7Options)
+    actual.addIncoming()
+    actual = pt.TealBlock.NormalizeBlocks(actual)
+
+    assert actual == expected
+
+    with pytest.raises(pt.TealInputError):
+        expr.__teal__(teal6Options)
+
+
+def test_ed25519verify_bare_invalid():
+    with pytest.raises(pt.TealTypeError):
+        pt.Ed25519Verify_Bare(pt.Int(0), pt.Bytes("sig"), pt.Bytes("key"))
+
+    with pytest.raises(pt.TealTypeError):
+        pt.Ed25519Verify_Bare(pt.Bytes("data"), pt.Int(0), pt.Bytes("key"))
+
+    with pytest.raises(pt.TealTypeError):
+        pt.Ed25519Verify_Bare(pt.Bytes("data"), pt.Bytes("sig"), pt.Int(0))
+
+
 def test_set_bit_int():
     args = [pt.Int(0), pt.Int(2), pt.Int(1)]
     expr = pt.SetBit(args[0], args[1], args[2])

pyteal/ir/ops.py

@@ -179,6 +179,7 @@ def min_version(self) -> int:
     gitxnas             = OpType("gitxnas",             Mode.Application,                  6)
     gloadss             = OpType("gloadss",             Mode.Application,                  6)
     acct_params_get     = OpType("acct_params_get",     Mode.Application,                  6)
+    ed25519verify_bare  = OpType("ed25519verify_bare",  Mode.Signature | Mode.Application, 7)
     # fmt: on