diff --git a/components/Editor/index.tsx b/components/Editor/index.tsx
index 3458f68..68e4396 100644
--- a/components/Editor/index.tsx
+++ b/components/Editor/index.tsx
@@ -41,7 +41,6 @@ import { cn } from '../../util/styles'
 import { ArgumentsHelperModal } from './ArgumentsHelperModal'
 import { registerCairoLanguageSupport } from './cairoLangConfig'
 import Console from './Console'
-import { DownloadProof } from './DownloadProof'
 import EditorControls from './EditorControls'
 import EditorFooter from './EditorFooter'
 import ExtraColumn from './ExtraColumn'
@@ -313,7 +312,6 @@ const Editor = ({ readOnly = false, isCairoLangPage = false }: Props) => {
           `Proof generation successful (finished in ${formatTime(proofTime)})`,
           LogType.Info,
         )
-        addToConsoleLog(<DownloadProof proof={proof} />, LogType.Info)
 
         if (verificationTime) {
           addToConsoleLog('Verifying proof...', LogType.Info)
diff --git a/components/Tracer/ExecutionStatus.tsx b/components/Tracer/ExecutionStatus.tsx
index fbae5a4..71c2316 100644
--- a/components/Tracer/ExecutionStatus.tsx
+++ b/components/Tracer/ExecutionStatus.tsx
@@ -117,14 +117,16 @@ const ExecutionStatus = ({
         <Button
           transparent
           onClick={() => proof && handleDownloadProof(proof)}
-          tooltip="Download proof"
           disabled={!proof}
-          tooltipId="download-proof"
+          className="font-normal text-gray-600 hover:text-gray-900 dark:text-darkMode-text dark:hover:text-gray-400 text-sm"
         >
-          <RiFileDownloadLine
-            size={16}
-            className="text-[#E85733] dark:text-darkMode-icons hover:text-[#fc9278]"
-          />
+          <div className="flex items-center gap-2 hover">
+            <RiFileDownloadLine
+              size={16}
+              className="text-[#E85733] dark:text-darkMode-icons "
+            />
+            <div className="">Download Proof</div>
+          </div>
         </Button>
       ) : (
         <div className="flex flex-row items-center gap-4">
diff --git a/components/ui/MultiButton.tsx b/components/ui/MultiButton.tsx
index 8ac68a8..488fc8c 100644
--- a/components/ui/MultiButton.tsx
+++ b/components/ui/MultiButton.tsx
@@ -44,7 +44,7 @@ const MultiButton = ({ onCompileRun }: MultiButtonProps) => {
         break
       case 'run':
         onCompileRun('run')
-        setDebugMode(ProgramDebugMode.Sierra)
+        setDebugMode(ProgramDebugMode.Execution)
         break
       default:
         break