refactor: delete C++ PK circuits (#4219)

This is no longer used. We still hold value in referencing the code, BUT
this is best done in historical commits. As it no longer builds, and we
don't intend to maintain it, it is best to not mislead people by
including it now.

---------

Co-authored-by: ludamad <adam@aztecprotocol.com>

.vscode/launch.json

@@ -14,41 +14,5 @@
       "localRoot": "${workspaceFolder}",
       "sourceMaps": true
     },
-    ///////////////////////////////////////
-    // C++/Circuits targets
-    ///////////////////////////////////////
-    {
-      "name": "(lldb) Launch native - Circuits C++",
-      "type": "lldb",
-      "request": "launch",
-      "program": "${command:cmake.launchTargetPath}",
-      "args": [ "--gtest_filter=*" ],
-      "cwd": "${workspaceFolder}/circuits/cpp/build",
-      "internalConsoleOptions": "openOnSessionStart",
-      "console": "internalConsole"
-    },
-    {
-      "name": "(lldb) Launch in WASM - Circuits C++",
-      "type": "lldb",
-      "request": "launch",
-      "program": "~/.wasmtime/bin/wasmtime",
-      "args": [
-        "-g", // tell wasmtime to generate debug info
-        "--disable-cache", // necessary or wasmtime throws a error:
-            // thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: ()', crates/jit/src/debug.rs:147:58
-            // in: wasmtime_jit::debug::create_gdbjit_image
-        "--dir", // give wasmtime the parent dir as a sandbox
-          "..",  // needs this to find srs
-        "${command:cmake.launchTargetPath}", // the test exe
-        "--",
-          "--gtest_filter=*", // filter tests
-          "--gtest_color=1" // color gtest output (off by default in wasm)
-      ],
-      "cwd": "${workspaceFolder}/circuits/cpp/build-wasm",
-      "internalConsoleOptions": "openOnSessionStart",
-      "console": "internalConsole"
-    },
-    // End C++/Circuits targets
-    ///////////////////////////////////////
   ]
 }

.vscode/settings.json

@@ -114,7 +114,6 @@
     "**/.yalc": true,
     "**/node_modules": true,
     "**/.pnp.*": true,
-    "circuits/cpp/barretenberg/**": true,
     "**/msgpack-c/**": true
   },
   "[terraform]": {
@@ -141,12 +140,6 @@
   //
   "clangd.path": "clangd-15",
   //
-  // CMake
-  //
-  // Location of base CMakeLists file
-  "cmake.sourceDirectory": "${workspaceFolder}/circuits/cpp/",
-  "cmake.buildDirectory": "${workspaceFolder}/circuits/cpp/build",
-  //
   // C/C++ (should be disabled)
   //
   // Make sure all C++ IntelliSense features are disabled
@@ -160,15 +153,5 @@
   "C_Cpp.default.enableConfigurationSquiggles": false,
   "C_Cpp.formatting": "disabled",
   "C_Cpp.vcpkg.enabled": false,
-  "C_Cpp.default.includePath": ["cpp/barretenberg/cpp/src"],
-  //
-  // TestMate C++
-  //
-  // Ensures tests are run from the `build` directory
-  // which ensures SRS can be read
-  "testMate.cpp.test.workingDirectory": "${workspaceFolder}/circuits/cpp/build",
-  // Filter all binaries that are not tests
-  "testMate.cpp.test.executables": "${workspaceFolder}/circuits/cpp/build/bin/*{test,Test,TEST}*"
-  // End C++/Circuits settings
-  ///////////////////////////////////////
+  "C_Cpp.default.includePath": ["barretenberg/cpp/src"],
 }

barretenberg/README.md

@@ -242,7 +242,7 @@ A default configuration for VS Code is provided by the file [`barretenberg.code-
 
 ### Integration tests with Aztec in Monorepo
 
-CI will automatically run integration tests against Aztec. The tests in `circuits/cpp` folder use the embedded barretenberg, and can be used to integration test it.
+CI will automatically run integration tests against Aztec. It is located in the `barretenberg` folder.
 
 ### Integration tests with Aztec in Barretenberg Standalone Repo
 

barretenberg/cpp/src/barretenberg/proof_system/types/circuit_type.hpp

@@ -3,7 +3,6 @@
 #include <cstdint>
 
 namespace bb {
-// TODO(#731): Changing the explicit value of these enum elements breaks brittle and outdated tests in circuits/cpp.
 enum class CircuitType : uint32_t { STANDARD = 0, ULTRA = 2, UNDEFINED = 3 };
 
 template <typename T, typename... U>