diff --git a/apps/circuit-compiler/src/app/components/witnessToggler.tsx b/apps/circuit-compiler/src/app/components/witnessToggler.tsx
deleted file mode 100644
index 60027c2ebe..0000000000
--- a/apps/circuit-compiler/src/app/components/witnessToggler.tsx
+++ /dev/null
@@ -1,36 +0,0 @@
-import { useState } from "react"
-import { FormattedMessage } from "react-intl"
-import { RenderIf, RenderIfNot } from "@remix-ui/helper"
-
-export function WitnessToggler ({ children }: { children: JSX.Element }) {
- const [toggleExpander, setToggleExpander] = useState
(false)
-
- const toggleConfigurations = () => {
- setToggleExpander(!toggleExpander)
- }
-
- return (
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- { children }
-
-
- )
-}
\ No newline at end of file
diff --git a/apps/remix-ide/src/app/tabs/locales/en/circuit.json b/apps/remix-ide/src/app/tabs/locales/en/circuit.json
index 61184793f5..eba64f107b 100644
--- a/apps/remix-ide/src/app/tabs/locales/en/circuit.json
+++ b/apps/remix-ide/src/app/tabs/locales/en/circuit.json
@@ -11,5 +11,10 @@
"circuit.generateR1cs": "Generate R1CS",
"circuit.computeWitness": "Compute Witness",
"circuit.signalInput": "Signal Input",
- "circuit.compute": "Compute"
+ "circuit.compute": "Compute",
+ "circuit.setupExports": "Setup and Exports",
+ "circuit.provingScheme": "Proving Scheme",
+ "circuit.ptau": "POWER OF TAU (PTAU)",
+ "circuit.randomText": "Ceremony: Random Text",
+ "circuit.randomBeacon": "Ceremony: Random Beacon"
}