feat!: return full verification contract from `AcirComposer::get_soli…

…dity_verifier` (AztecProtocol#3735)
Swoir · Dec 19, 2023 · bd5614c · bd5614c
1 parent f1b9a74
commit bd5614c
Show file tree

Hide file tree

Showing 3 changed files with 2,586 additions and 2 deletions.
diff --git a/barretenberg/cpp/src/barretenberg/dsl/acir_proofs/acir_composer.cpp b/barretenberg/cpp/src/barretenberg/dsl/acir_proofs/acir_composer.cpp
@@ -9,6 +9,7 @@
 #include "barretenberg/plonk/proof_system/verification_key/sol_gen.hpp"
 #include "barretenberg/plonk/proof_system/verification_key/verification_key.hpp"
 #include "barretenberg/srs/factories/crs_factory.hpp"
+#include "contract.hpp"
 
 namespace acir_proofs {
 
@@ -158,7 +159,7 @@ std::string AcirComposer::get_solidity_verifier()
 {
     std::ostringstream stream;
     output_vk_sol(stream, verification_key_, "UltraVerificationKey");
-    return stream.str();
+    return stream.str() + CONTRACT_SOURCE;
 }
 
 /**