From ff6e7589ac9287e61cddae1751067bb5cda92a4a Mon Sep 17 00:00:00 2001
From: benbierens <thatbenbierens@gmail.com>
Date: Fri, 22 Dec 2023 15:43:57 +0100
Subject: [PATCH] Adds test for preserving field element after conversion

---
 tests/poseidon2/testIo.nim | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tests/poseidon2/testIo.nim b/tests/poseidon2/testIo.nim
index 83d9929..a8189b1 100644
--- a/tests/poseidon2/testIo.nim
+++ b/tests/poseidon2/testIo.nim
@@ -42,6 +42,13 @@ suite "conversion to/from bytes":
     check bool(elements[0] == expected1)
     check bool(elements[1] == expected2)
 
+  test "conversion preserves field element":
+    let
+      expected = toF(1234)
+      bytes = expected.toBytes()
+      actual = F.fromBytes(bytes).get()
+    check bool(expected == actual)
+
   test "conversion from bytes adds 0x1 as an end marker":
     let bytes = toSeq 1'u8..62'u8
     let marker = @[1'u8]