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 index 5133904631ac..0c02a725d810 100644 --- 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 @@ -10,6 +10,7 @@ #include "../../primitives/biggroup/biggroup.hpp" #include "../../primitives/field/field.hpp" +//TODO(luke): this namespace will be sensible once stdlib is moved out of the plonk namespace namespace proof_system::plonk::stdlib::recursion::honk { template class Transcript { public: diff --git a/circuits/cpp/barretenberg/cpp/src/barretenberg/stdlib/recursion/transcript/honk_transcript.test.cpp b/circuits/cpp/barretenberg/cpp/src/barretenberg/stdlib/recursion/transcript/honk_transcript.test.cpp index db47fe7da52d..4bf817aaae07 100644 --- a/circuits/cpp/barretenberg/cpp/src/barretenberg/stdlib/recursion/transcript/honk_transcript.test.cpp +++ b/circuits/cpp/barretenberg/cpp/src/barretenberg/stdlib/recursion/transcript/honk_transcript.test.cpp @@ -8,7 +8,6 @@ namespace proof_system::plonk::stdlib::recursion::honk { -// TODO(Cody): Testing only one circuit type. using Builder = UltraCircuitBuilder; using FF = barretenberg::fr; @@ -76,6 +75,11 @@ void perform_mock_verifier_transcript_operations(auto transcript) transcript.get_challenges("gamma", "delta"); } +/** + * @brief Test basic transcript functionality and check circuit + * @details Implicitly ensures stdlib interface is identical to native + * @todo(luke): Underlying circuit is nearly trivial until transcript implements hashing constraints + */ TEST(stdlib_honk_transcript, basic_transcript_operations) { Builder builder; @@ -102,6 +106,10 @@ TEST(stdlib_honk_transcript, basic_transcript_operations) EXPECT_TRUE(builder.check_circuit()); } +/** + * @brief Check that native and stdlib verifier transcript functions produce equivalent outputs + * + */ TEST(stdlib_honk_transcript, return_values) { Builder builder;