From 55b3ae85efce7631cd1b53637eb9ecf20d459ed0 Mon Sep 17 00:00:00 2001
From: ledwards2225 <l.edwards.d@gmail.com>
Date: Wed, 26 Jul 2023 22:39:07 +0000
Subject: [PATCH] transcript file

---
 .../recursion/transcript/honk_trancript.hpp   | 28 +++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 circuits/cpp/barretenberg/cpp/src/barretenberg/stdlib/recursion/transcript/honk_trancript.hpp

diff --git a/circuits/cpp/barretenberg/cpp/src/barretenberg/stdlib/recursion/transcript/honk_trancript.hpp b/circuits/cpp/barretenberg/cpp/src/barretenberg/stdlib/recursion/transcript/honk_trancript.hpp
new file mode 100644
index 00000000000..31df942a38d
--- /dev/null
+++ b/circuits/cpp/barretenberg/cpp/src/barretenberg/stdlib/recursion/transcript/honk_trancript.hpp
@@ -0,0 +1,28 @@
+#pragma once
+
+#include "barretenberg/ecc/curves/bn254/fq.hpp"
+#include "barretenberg/ecc/curves/bn254/fr.hpp"
+#include "barretenberg/ecc/curves/bn254/g1.hpp"
+#include "barretenberg/transcript/transcript.hpp"
+
+#include "../../commitment/pedersen/pedersen.hpp"
+#include "../../commitment/pedersen/pedersen_plookup.hpp"
+#include "../../hash/blake3s/blake3s.hpp"
+#include "../../primitives/bigfield/bigfield.hpp"
+#include "../../primitives/biggroup/biggroup.hpp"
+#include "../../primitives/bool/bool.hpp"
+#include "../../primitives/curves/bn254.hpp"
+#include "../../primitives/field/field.hpp"
+#include "../../primitives/witness/witness.hpp"
+#include "../verification_key/verification_key.hpp"
+
+namespace proof_system::plonk::stdlib::recursion::honk {
+template <typename Composer> class Transcript {
+  public:
+    using field_pt = field_t<Composer>;
+    using witness_pt = witness_t<Composer>;
+    using fq_pt = bigfield<Composer, barretenberg::Bn254FqParams>;
+    using group_pt = element<Composer, fq_pt, field_pt, barretenberg::g1>;
+    using Key = verification_key<stdlib::bn254<Composer>>;
+};
+} // namespace proof_system::plonk::stdlib::recursion::honk