From 573a77f14f7031dbaf89350329de580520ff05d0 Mon Sep 17 00:00:00 2001
From: Mark Spanbroek <mark@spanbroek.net>
Date: Thu, 2 Nov 2023 10:31:26 +0100
Subject: [PATCH] Export conversion of field elements to bytes on main API

---
 poseidon2.nim                     |  2 ++
 tests/poseidon2/testPoseidon2.nim | 11 ++++++++---
 2 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/poseidon2.nim b/poseidon2.nim
index 2375844..261879b 100644
--- a/poseidon2.nim
+++ b/poseidon2.nim
@@ -6,6 +6,8 @@ import poseidon2/types
 import poseidon2/roundconst
 import poseidon2/io
 
+export toBytes
+
 #-------------------------------------------------------------------------------
 
 const zero : F = getZero()
diff --git a/tests/poseidon2/testPoseidon2.nim b/tests/poseidon2/testPoseidon2.nim
index f12290b..70e6ea4 100644
--- a/tests/poseidon2/testPoseidon2.nim
+++ b/tests/poseidon2/testPoseidon2.nim
@@ -5,7 +5,7 @@ import std/sequtils
 import constantine/math/arithmetic
 import constantine/math/io/io_fields
 import constantine/math/io/io_bigints
-import constantine/math/config/curves
+import constantine/serialization/codecs
 
 import poseidon2/types
 import poseidon2
@@ -31,9 +31,14 @@ suite "poseidon2":
       xs.add( toF(i) )
 
     let root = merkleRoot(xs)
-    check root.toHex == "0x1eabbb64b76d5aecd393601c4a01878450e23f45fe8b2748bb63a615351b11d1"
+    check root.toHex(littleEndian) == "0xd1111b3515a663bb48278bfe453fe2508487014a1c6093d3ec5a6db764bbab1e"
 
   test "merkle root of bytes":
     let bytes = toSeq 1'u8..80'u8
     let root = merkleRoot(bytes)
-    check root.toHex == "0x2d2d6f27d20a9e5597e20a888a4deac0e0600f92f0b9691ace0fdfab2fc1f500"
+    check root.toHex(littleEndian) == "0x00f5c12fabdf0fce1a69b9f0920f60e0c0ea4d8a880ae297559e0ad2276f2d2d"
+
+  test "merkle root of bytes converted to bytes":
+    let bytes = toSeq 1'u8..80'u8
+    let rootAsBytes = merkleRoot(bytes).toBytes()
+    check rootAsBytes.toHex == "0x00f5c12fabdf0fce1a69b9f0920f60e0c0ea4d8a880ae297559e0ad2276f2d2d"