diff --git a/components/Editor/EditorControls.tsx b/components/Editor/EditorControls.tsx
index fe80bb2..33113d3 100644
--- a/components/Editor/EditorControls.tsx
+++ b/components/Editor/EditorControls.tsx
@@ -10,6 +10,7 @@ import MultiButton from 'components/ui/MultiButton'
 import { cn } from '../../util/styles'
 
 import ExampleSelector, { MobileExampleSelector } from './ExampleSelector'
+import { Checkbox } from 'components/ui/Checkbox'
 
 type SelectOption = {
   value: number
@@ -27,6 +28,9 @@ type EditorControlsProps = {
   onCompileRun: (variant: 'run' | 'run-prove-verify') => void
   onProgramArgumentsUpdate: (args: string) => void
   onShowArgumentsHelper: () => void
+  isProveMode: boolean
+  exampleOption: number
+  setProveMode: (proveMode: boolean) => void
 }
 
 const EditorControls = ({
@@ -38,6 +42,9 @@ const EditorControls = ({
   onCompileRun,
   onProgramArgumentsUpdate,
   onShowArgumentsHelper,
+  isProveMode,
+  exampleOption,
+  setProveMode,
 }: EditorControlsProps) => {
   const inputRef = useRef<HTMLInputElement>(null)
 
@@ -117,14 +124,30 @@ const EditorControls = ({
           </Button>
 
           <div className="xl:block hidden max-w-36 2xl:max-w-full">
-            <ExampleSelector onExampleChange={onExampleChange} />
+            <ExampleSelector
+              isProveMode={isProveMode}
+              onExampleChange={onExampleChange}
+              exampleOption={exampleOption}
+            />
           </div>
           <div className="xl:hidden block">
-            <MobileExampleSelector onExampleChange={onExampleChange} />
+            <MobileExampleSelector
+              isProveMode={isProveMode}
+              onExampleChange={onExampleChange}
+              exampleOption={exampleOption}
+            />
           </div>
         </div>
 
         <div className="flex flex-row grow gap-x-2 items-center justify-end">
+          <div className="flex items-center">
+            <Checkbox
+              text="Prove & Verify"
+              value={'Prove mode'}
+              isChecked={isProveMode}
+              onChange={() => setProveMode(!isProveMode)}
+            />
+          </div>
           <Input
             ref={inputRef}
             rightIcon={
@@ -152,27 +175,7 @@ const EditorControls = ({
               'text-red-500': !areProgramArgumentsValid,
             })}
           />
-
-          {/* <div> */}
           <MultiButton onCompileRun={onCompileRun} />
-          {/* <div className="flex flex-row gap-x-2"> */}
-          {/* <Button
-      onClick={onCompileRun}
-      disabled={isCompileDisabled || !areProgramArgumentsValid}
-      size="sm"
-      contentClassName="justify-center"
-    >
-      Run
-    </Button>
-    <Button
-      onClick={onProveAndVerify}
-      disabled={isCompileDisabled || !areProgramArgumentsValid}
-      size="sm"
-      contentClassName="justify-center"
-    >
-      Prove & Verify
-    </Button> */}
-          {/* </div> */}
         </div>
       </div>
     </>
diff --git a/components/Editor/ExampleSelector.tsx b/components/Editor/ExampleSelector.tsx
index 7d3d330..e340552 100644
--- a/components/Editor/ExampleSelector.tsx
+++ b/components/Editor/ExampleSelector.tsx
@@ -11,8 +11,12 @@ import Select, {
 import { cn } from '../../util/styles'
 import { Button } from '../ui'
 
-import { CairoExampleNames, Examples } from './examples'
-
+import {
+  CairoExampleNames,
+  CairoExampleNamesProveMode,
+  Examples,
+  ProveExamples,
+} from './examples'
 type SelectOption = {
   value: number
   label: string
@@ -20,6 +24,8 @@ type SelectOption = {
 
 type Props = {
   onExampleChange: (option: SelectOption | null) => void
+  isProveMode: boolean
+  exampleOption: number
 }
 
 const examplesOptions = Examples.Cairo.map((_, i) => ({
@@ -27,12 +33,30 @@ const examplesOptions = Examples.Cairo.map((_, i) => ({
   label: CairoExampleNames[i],
 }))
 
-export function MobileExampleSelector({ onExampleChange }: Props) {
+const proveExamplesOptions = ProveExamples.Cairo.map((_, i) => ({
+  value: i,
+  label: CairoExampleNamesProveMode[i],
+}))
+
+export function MobileExampleSelector({
+  onExampleChange,
+  isProveMode,
+  exampleOption,
+}: Props) {
   return (
     <Select
       onChange={onExampleChange}
-      options={examplesOptions}
-      defaultValue={examplesOptions[0]}
+      options={isProveMode ? proveExamplesOptions : examplesOptions}
+      value={
+        isProveMode
+          ? exampleOption > proveExamplesOptions.length - 1
+            ? proveExamplesOptions[0]
+            : proveExamplesOptions[exampleOption]
+          : exampleOption > examplesOptions.length - 1
+          ? examplesOptions[0]
+          : examplesOptions[exampleOption]
+      }
+      defaultValue={isProveMode ? proveExamplesOptions[0] : examplesOptions[0]}
       components={{
         DropdownIndicator,
       }}
@@ -46,12 +70,25 @@ export function MobileExampleSelector({ onExampleChange }: Props) {
   )
 }
 
-export function ExampleSelector({ onExampleChange }: Props) {
+export function ExampleSelector({
+  onExampleChange,
+  isProveMode,
+  exampleOption,
+}: Props) {
   return (
     <Select
       onChange={onExampleChange}
-      options={examplesOptions}
-      defaultValue={examplesOptions[0]}
+      options={isProveMode ? proveExamplesOptions : examplesOptions}
+      value={
+        isProveMode
+          ? exampleOption > proveExamplesOptions.length - 1
+            ? proveExamplesOptions[0]
+            : proveExamplesOptions[exampleOption]
+          : exampleOption > examplesOptions.length - 1
+          ? examplesOptions[0]
+          : examplesOptions[exampleOption]
+      }
+      defaultValue={isProveMode ? proveExamplesOptions[0] : examplesOptions[0]}
       classNamePrefix="select"
       placeholder={'Choose Cairo Example'}
       menuPlacement="top"
diff --git a/components/Editor/Header.tsx b/components/Editor/Header.tsx
index 2955cb4..ff452c8 100644
--- a/components/Editor/Header.tsx
+++ b/components/Editor/Header.tsx
@@ -1,11 +1,10 @@
-import { useMemo, useId } from 'react'
+import { useMemo, useId, useContext } from 'react'
 
 import Image from 'next/image'
 import cairoLogo from 'public/cairo_logo.png'
 import Select, { OnChangeValue } from 'react-select'
 
 import { CodeType } from '../../context/appUiContext'
-
 type Props = {
   codeType: string | undefined
   onCodeTypeChange: (option: OnChangeValue<any, any>) => void
@@ -45,7 +44,7 @@ const EditorHeader = ({
               <span className="pl-2">codes</span>
             </div>
           ) : (
-            <>
+            <div className="flex items-center gap-4">
               <h3
                 className={`${
                   !anotherTitle && 'font-semibold hidden xl:inline-flex'
@@ -53,9 +52,8 @@ const EditorHeader = ({
               >
                 <span>{!anotherTitle && 'Cairo VM'}Playground</span>
               </h3>
-            </>
+            </div>
           ))}
-
         <div className="flex items-center ">
           <Select
             className="z-40"
diff --git a/components/Editor/examples.ts b/components/Editor/examples.ts
index ddf75e9..be1c105 100644
--- a/components/Editor/examples.ts
+++ b/components/Editor/examples.ts
@@ -3,288 +3,280 @@ import { ExampleCode } from './types'
 export const Examples: ExampleCode = {
   Cairo: [
     `use core::felt252;
-
-#[executable]
+  
 fn main() -> felt252 {
-    let n = 2 + 3;
-    n
+	let n = 2 + 3;
+	n
 }`,
     `use core::felt252;
-
+  
 const my_constant: felt252 = 42;
 
-#[executable]
 fn main() {    
     
-    // non-mutable variable
-    let my_var = 12;
-
-    println!("{my_var}");
-     
-    // my_var = 38;  <-- fails to compile
-    
-    // variable shadowing (declare another variable with the same name)
-    let my_var = 'hello world';
-
-    println!("{my_var}");
-    
-    // mutable variable
-    let mut my_mut_var = 10;
-    my_mut_var = my_mut_var * 2;
-    
-    println!("{my_mut_var}");
-    
-    // my_mut_var = 'hello world' <-- fails to compile
+	// non-mutable variable
+	let my_var = 12;
+
+	println!("{my_var}");
+	
+	// my_var = 38;  <-- fails to compile
+	
+	// variable shadowing (declare another variable with the same name)
+	let my_var = 'hello world';
+
+	println!("{my_var}");
+	
+	// mutable variable
+	let mut my_mut_var = 10;
+	my_mut_var = my_mut_var * 2;
+	
+	println!("{my_mut_var}");
+	
+	// my_mut_var = 'hello world' <-- fails to compile
 }`,
-    // ,
-    //     `use core::felt252;
-
-    // #[executable]
-    // fn main() {
-    //     let my_felt252 = 10;
-
-    //     // Since a felt252 might not fit in a u8, we need to unwrap the Option<T> type
-    //     let my_u8: u8 = my_felt252.try_into().unwrap();
-
-    //     let my_u16: u16 = my_u8.into();
-    //     let my_u32: u32 = my_u16.into();
-    //     let my_u64: u64 = my_u32.into();
-    //     let _my_u128: u128 = my_u64.into();
-
-    //     // As a felt252 is smaller than a u256, we can use the into() method
-    //     let _my_u256: u256 = my_felt252.into();
-    //     let _my_usize: usize = my_felt252.try_into().unwrap();
-    //     let _my_other_felt252: felt252 = my_u8.into();
-    //     let _my_third_felt252: felt252 = my_u16.into();
-    // }`
     `#[derive(Drop)]
 enum Direction {
-    Up,
-    Down,
-    Left,
-    Right
+	Up,
+	Down,
+	Left,
+	Right
 }
 
-#[executable]
 fn main() {
 
-    // if / else expression
-    let x = 10;
-    let y = 20;
-    
-    if x == y {
-        println!("x == y");
-    }
-    else {
-        println!("x != y");
-    };
-
-    // if with return value
-    let _res = if x == y {
-        'equal'
-    }
-    else {
-        'not_equal'
-    };
-
-    // match expression (with some limitations in Cairo <= 2.5)
-    let x = Direction::Up;
-    match x {
-        Direction::Up => println!("you win !"),
-        _ => println!("you loose ...")
-    }
-
-    // match expression with return value
-    let x = Direction::Down;
-    let _res = match x {
-        Direction::Up => 1,
-        Direction::Down => -1,
-        Direction::Left => -1,
-        Direction::Right => 1,
-    };
-
-    // loop expression
-    
-    let mut i: u128 = 0;
-    loop {
-        if i > 9 { // Break condition
-            break;
-        }
-
-        i = i + 1;
-    };
-    
-    // loop with return value
-    let _res = loop {
-        if i > 9 { break (42); }
-        i = i + 1;
-    };
+	// if / else expression
+	let x = 10;
+	let y = 20;
+	
+	if x == y {
+			println!("x == y");
+	}
+	else {
+			println!("x != y");
+	};
+
+	// if with return value
+	let _res = if x == y {
+			'equal'
+	}
+	else {
+			'not_equal'
+	};
+
+	// match expression (with some limitations in Cairo <= 2.5)
+	let x = Direction::Up;
+	match x {
+			Direction::Up => println!("you win !"),
+			_ => println!("you loose ...")
+	}
+
+	// match expression with return value
+	let x = Direction::Down;
+	let _res = match x {
+			Direction::Up => 1,
+			Direction::Down => -1,
+			Direction::Left => -1,
+			Direction::Right => 1,
+	};
+
+	// loop expression
+	
+	let mut i: u128 = 0;
+	loop {
+			if i > 9 { // Break condition
+					break;
+			}
+
+			i = i + 1;
+	};
+	
+	// loop with return value
+	let _res = loop {
+			if i > 9 { break (42); }
+			i = i + 1;
+	};
     
 }`,
     `// This function returns an u32.
 fn add(a: u32, b: u32) -> u64 {
 
-    // there is no semi-colon at the end so the
-    // result of this expression is returned.
-    // equivalent to: return x + 1;
-    a.into() + b.into()
+	// there is no semi-colon at the end so the
+	// result of this expression is returned.
+	// equivalent to: return x + 1;
+	a.into() + b.into()
 }
 
 // This functions doesn't return anything.
-#[executable]
 fn main() {
-    let a = 1;
-    let b = 2;
-    let x = 3;
-    let y = 4;
-
-    // named parameters to be more explicit
-    let _c = add(:a, :b);
-    let _z = add(a: x, b: y);
+	let a = 1;
+	let b = 2;
+	let x = 3;
+	let y = 4;
+
+	// named parameters to be more explicit
+	let _c = add(:a, :b);
+	let _z = add(a: x, b: y);
 }
-`,
-    //     `use array::ArrayTrait;
+  `,
+    `fn main () {
+	let mut balances: Felt252Dict<u64> = Default::default();
 
-    // #[executable]
-    // fn main () {
-    //     let mut a = ArrayTrait::new();
+	balances.insert('Alex', 100);
+	balances.insert('Maria', 200);
 
-    //     // add some items in the array
-    //     a.append(1);
-    //     a.append(2);
+	let alex_balance = balances.get('Alex');
+	assert!(alex_balance == 100, "Balance is not 100");
 
-    //     // get array length
-    //     assert!(a.len() == 2, "wrong array length");
-
-    //     // 2 ways to read an item from the array
-    //     // * get() returns an Option so you can handle out-of-bounds error
-    //     // * at() panics in case of out-of-bounds error
-    //     let first_element = *a.get(0).unwrap().unbox();
-    //     // a.get(2) will return None
-
-    //     let second_element = *a.at(1);
-    //     // a.at(2) will cause an error
-    // }`
-    `#[executable]
-fn main () {
-    let mut balances: Felt252Dict<u64> = Default::default();
-
-    balances.insert('Alex', 100);
-    balances.insert('Maria', 200);
-
-    let alex_balance = balances.get('Alex');
-    assert!(alex_balance == 100, "Balance is not 100");
-
-    let maria_balance = balances.get('Maria');
-    assert!(maria_balance == 200, "Balance is not 200");
+	let maria_balance = balances.get('Maria');
+	assert!(maria_balance == 200, "Balance is not 200");
 }`,
     `use array::ArrayTrait;
-
+  
 fn foo_takes_ownership(arr: Array<u128>) {
-    // foo takes ownership of the array.
-    // when this function returns, arr is dropped.
+	// foo takes ownership of the array.
+	// when this function returns, arr is dropped.
 }
 
 fn foo_receives_ref(ref arr: Array<u128>) {
-    // receives a ref to an array so the calling function
-    // keeps the ownership of the array.
+	// receives a ref to an array so the calling function
+	// keeps the ownership of the array.
 }
 
-#[executable]
 fn main() {
-    // as the creator of arr, the main function owns the array
-    let mut arr = ArrayTrait::<u128>::new();
+	// as the creator of arr, the main function owns the array
+	let mut arr = ArrayTrait::<u128>::new();
 
-    foo_takes_ownership(arr); // moves ownership of the array to function call
+	foo_takes_ownership(arr); // moves ownership of the array to function call
 
-    // foo(arr); // <- fails to compile, as main doesn't own the array anymore
-    
-    let mut another_arr = ArrayTrait::<u128>::new();
-    
-    foo_receives_ref(ref another_arr);
-    foo_receives_ref(ref another_arr); // no compilation issue, main still owns another_arr 
+	// foo(arr); // <- fails to compile, as main doesn't own the array anymore
+	
+	let mut another_arr = ArrayTrait::<u128>::new();
+	
+	foo_receives_ref(ref another_arr);
+	foo_receives_ref(ref another_arr); // no compilation issue, main still owns another_arr 
 }`,
     `use core::felt252;
-
-#[executable]
+  
 fn main() -> felt252 {
-    let n = 10;
-    let result = fib(1, 1, n);
-    result
+	let n = 10;
+	let result = fib(1, 1, n);
+	result
 }
 
 fn fib(a: felt252, b: felt252, n: felt252) -> felt252 {
-    match n {
-        0 => a,
-        _ => fib(b, a + b, n - 1),
-    }
+	match n {
+			0 => a,
+			_ => fib(b, a + b, n - 1),
+	}
+}`,
+
+    `use core::felt252;
+
+fn main() {
+	let my_felt252 = 10;
+
+	// Since a felt252 might not fit in a u8, we need to unwrap the Option<T> type
+	let my_u8: u8 = my_felt252.try_into().unwrap();
+
+	let my_u16: u16 = my_u8.into();
+	let my_u32: u32 = my_u16.into();
+	let my_u64: u64 = my_u32.into();
+	let _my_u128: u128 = my_u64.into();
+
+	// As a felt252 is smaller than a u256, we can use the into() method
+	let _my_u256: u256 = my_felt252.into();
+	let _my_usize: usize = my_felt252.try_into().unwrap();
+	let _my_other_felt252: felt252 = my_u8.into();
+	let _my_third_felt252: felt252 = my_u16.into();
+}`,
+
+    `use array::ArrayTrait;
+
+fn main () {
+	let mut a = ArrayTrait::new();
+
+	// add some items in the array
+	a.append(1);
+	a.append(2);
+
+	// get array length
+	assert!(a.len() == 2, "wrong array length");
+
+	// 2 ways to read an item from the array
+	// * get() returns an Option so you can handle out-of-bounds error
+	// * at() panics in case of out-of-bounds error
+	let first_element = *a.get(0).unwrap().unbox();
+	// a.get(2) will return None
+
+	let second_element = *a.at(1);
+	// a.at(2) will cause an error
 }`,
     `#[starknet::contract]
 mod SimpleContract {
-    #[storage]
-    struct Storage {
-        balance: felt252, 
-    }
-    
-    #[generate_trait]
-    impl InternalImpl of InternalTrait {
-        fn internal_function(self: @ContractState) -> felt252 {
-            self.balance.read()
-        }
-    }
-
-    fn other_internal_function(self: @ContractState) -> felt252 {
-        self.balance.read() + 5
-    }
+	#[storage]
+	struct Storage {
+		balance: felt252, 
+	}
+
+	#[generate_trait]
+	impl InternalImpl of InternalTrait {
+			fn internal_function(self: @ContractState) -> felt252 {
+				self.balance.read()
+			}
+	}
+
+	fn other_internal_function(self: @ContractState) -> felt252 {
+		self.balance.read() + 5
+	}
 }
 
 use SimpleContract::{ InternalTrait, other_internal_function };
 
 fn add(a: felt252, b: felt252, c: felt252) -> felt252 {
-    a + b + c
+	a + b + c
 }
 
 fn main() -> felt252 {
-    let mut state = SimpleContract::contract_state_for_testing();
-    state.balance.write(10);
-  
-    let balance = state.balance.read();
-    let internal_balance = state.internal_function();
-    let other_balance = other_internal_function(@state);
-    
-    let res = add(balance, internal_balance, other_balance);
-    res
+	let mut state = SimpleContract::contract_state_for_testing();
+	state.balance.write(10);
+
+	let balance = state.balance.read();
+	let internal_balance = state.internal_function();
+	let other_balance = other_internal_function(@state);
+	
+	let res = add(balance, internal_balance, other_balance);
+	res
 }`,
     `#[starknet::contract]
 mod Fibonacci {
-    #[storage]
-    struct Storage {
-        n: u128, 
-    }
-    
-    #[generate_trait]
-    impl CalculationImpl of CalculationTrait {
-        fn calculate_fib(self: @ContractState) -> u128 {
-            fib(1, 1, self.n.read())
-        }
-    }
-
-    fn fib(a: u128, b: u128, n: u128) -> u128 {
-        match n {
-            0 => a,
-            _ => fib(b, a + b, n - 1),
-        }
-    }
+	#[storage]
+	struct Storage {
+		n: u128, 
+	}
+	
+	#[generate_trait]
+	impl CalculationImpl of CalculationTrait {
+		fn calculate_fib(self: @ContractState) -> u128 {
+			fib(1, 1, self.n.read())
+		}
+	}
+
+	fn fib(a: u128, b: u128, n: u128) -> u128 {
+		match n {
+			0 => a,
+			_ => fib(b, a + b, n - 1),
+		}
+	}
 }
 
 use Fibonacci::CalculationTrait;
 
 fn main() -> u128 {
-    let mut state = Fibonacci::contract_state_for_testing();
-    state.n.write(5);
-    
-    let result = state.calculate_fib();
-    result
+	let mut state = Fibonacci::contract_state_for_testing();
+	state.n.write(5);
+	
+	let result = state.calculate_fib();
+	result
 }`,
   ],
   Sierra: [
@@ -501,16 +493,416 @@ ret;
   //   ],
 }
 
+export const ProveExamples: ExampleCode = {
+  Cairo: [
+    `use core::felt252;
+  
+#[executable]
+fn main() -> felt252 {
+	let n = 2 + 3;
+	n
+}`,
+    `use core::felt252;
+  
+const my_constant: felt252 = 42;
+
+#[executable]
+fn main() {    
+	
+	// non-mutable variable
+	let my_var = 12;
+
+	println!("{my_var}");
+		
+	// my_var = 38;  <-- fails to compile
+	
+	// variable shadowing (declare another variable with the same name)
+	let my_var = 'hello world';
+
+	println!("{my_var}");
+	
+	// mutable variable
+	let mut my_mut_var = 10;
+	my_mut_var = my_mut_var * 2;
+	
+	println!("{my_mut_var}");
+	
+	// my_mut_var = 'hello world' <-- fails to compile
+}`,
+    `#[derive(Drop)]
+enum Direction {
+	Up,
+	Down,
+	Left,
+	Right
+}
+
+#[executable]
+fn main() {
+
+	// if / else expression
+	let x = 10;
+	let y = 20;
+	
+	if x == y {
+			println!("x == y");
+	}
+	else {
+			println!("x != y");
+	};
+
+	// if with return value
+	let _res = if x == y {
+			'equal'
+	}
+	else {
+			'not_equal'
+	};
+
+	// match expression (with some limitations in Cairo <= 2.5)
+	let x = Direction::Up;
+	match x {
+			Direction::Up => println!("you win !"),
+			_ => println!("you loose ...")
+	}
+
+	// match expression with return value
+	let x = Direction::Down;
+	let _res = match x {
+			Direction::Up => 1,
+			Direction::Down => -1,
+			Direction::Left => -1,
+			Direction::Right => 1,
+	};
+
+	// loop expression
+	
+	let mut i: u128 = 0;
+	loop {
+			if i > 9 { // Break condition
+					break;
+			}
+
+			i = i + 1;
+	};
+	
+	// loop with return value
+	let _res = loop {
+			if i > 9 { break (42); }
+			i = i + 1;
+	};
+		
+}`,
+    `// This function returns an u32.
+fn add(a: u32, b: u32) -> u64 {
+
+	// there is no semi-colon at the end so the
+	// result of this expression is returned.
+	// equivalent to: return x + 1;
+	a.into() + b.into()
+}
+
+// This functions doesn't return anything.
+#[executable]
+fn main() {
+	let a = 1;
+	let b = 2;
+	let x = 3;
+	let y = 4;
+
+	// named parameters to be more explicit
+	let _c = add(:a, :b);
+	let _z = add(a: x, b: y);
+}
+`,
+    `#[executable]
+fn main () {
+	let mut balances: Felt252Dict<u64> = Default::default();
+
+	balances.insert('Alex', 100);
+	balances.insert('Maria', 200);
+
+	let alex_balance = balances.get('Alex');
+	assert!(alex_balance == 100, "Balance is not 100");
+
+	let maria_balance = balances.get('Maria');
+	assert!(maria_balance == 200, "Balance is not 200");
+}`,
+    `use array::ArrayTrait;
+  
+fn foo_takes_ownership(arr: Array<u128>) {
+	// foo takes ownership of the array.
+	// when this function returns, arr is dropped.
+}
+
+fn foo_receives_ref(ref arr: Array<u128>) {
+	// receives a ref to an array so the calling function
+	// keeps the ownership of the array.
+}
+  
+#[executable]
+fn main() {
+	// as the creator of arr, the main function owns the array
+	let mut arr = ArrayTrait::<u128>::new();
+
+	foo_takes_ownership(arr); // moves ownership of the array to function call
+
+	// foo(arr); // <- fails to compile, as main doesn't own the array anymore
+	
+	let mut another_arr = ArrayTrait::<u128>::new();
+	
+	foo_receives_ref(ref another_arr);
+	foo_receives_ref(ref another_arr); // no compilation issue, main still owns another_arr 
+}`,
+    `use core::felt252;
+
+#[executable]
+fn main() -> felt252 {
+	let n = 10;
+	let result = fib(1, 1, n);
+	result
+}
+  
+fn fib(a: felt252, b: felt252, n: felt252) -> felt252 {
+	match n {
+		0 => a,
+		_ => fib(b, a + b, n - 1),
+	}
+}`,
+  ],
+  Sierra: [
+    `type felt252 = felt252 [storable: true, drop: true, dup: true, zero_sized: false];
+  type core::panics::Panic = Struct<ut@core::panics::Panic> [storable: true, drop: true, dup: true, zero_sized: true];
+  type Array<felt252> = Array<felt252> [storable: true, drop: true, dup: false, zero_sized: false];
+  type NonZero<felt252> = NonZero<felt252> [storable: true, drop: true, dup: true, zero_sized: false];
+  type BuiltinCosts = BuiltinCosts [storable: true, drop: true, dup: true, zero_sized: false];
+  type Tuple<core::panics::Panic, Array<felt252>> = Struct<ut@Tuple, core::panics::Panic, Array<felt252>> [storable: true, drop: true, dup: false, zero_sized: false];
+  type Tuple<felt252> = Struct<ut@Tuple, felt252> [storable: true, drop: true, dup: true, zero_sized: false];
+  type core::panics::PanicResult::<(core::felt252,)> = Enum<ut@core::panics::PanicResult::<(core::felt252,)>, Tuple<felt252>, Tuple<core::panics::Panic, Array<felt252>>> [storable: true, drop: true, dup: false, zero_sized: false];
+  type GasBuiltin = GasBuiltin [storable: true, drop: false, dup: false, zero_sized: false];
+  type RangeCheck = RangeCheck [storable: true, drop: false, dup: false, zero_sized: false];
+  
+  libfunc disable_ap_tracking = disable_ap_tracking;
+  libfunc felt252_const<10> = felt252_const<10>;
+  libfunc felt252_const<1> = felt252_const<1>;
+  libfunc store_temp<RangeCheck> = store_temp<RangeCheck>;
+  libfunc store_temp<GasBuiltin> = store_temp<GasBuiltin>;
+  libfunc store_temp<felt252> = store_temp<felt252>;
+  libfunc function_call<user@fibonacci::fibonacci::fib> = function_call<user@fibonacci::fibonacci::fib>;
+  libfunc enum_match<core::panics::PanicResult::<(core::felt252,)>> = enum_match<core::panics::PanicResult::<(core::felt252,)>>;
+  libfunc branch_align = branch_align;
+  libfunc struct_deconstruct<Tuple<felt252>> = struct_deconstruct<Tuple<felt252>>;
+  libfunc struct_construct<Tuple<felt252>> = struct_construct<Tuple<felt252>>;
+  libfunc enum_init<core::panics::PanicResult::<(core::felt252,)>, 0> = enum_init<core::panics::PanicResult::<(core::felt252,)>, 0>;
+  libfunc store_temp<core::panics::PanicResult::<(core::felt252,)>> = store_temp<core::panics::PanicResult::<(core::felt252,)>>;
+  libfunc enum_init<core::panics::PanicResult::<(core::felt252,)>, 1> = enum_init<core::panics::PanicResult::<(core::felt252,)>, 1>;
+  libfunc get_builtin_costs = get_builtin_costs;
+  libfunc store_temp<BuiltinCosts> = store_temp<BuiltinCosts>;
+  libfunc withdraw_gas_all = withdraw_gas_all;
+  libfunc dup<felt252> = dup<felt252>;
+  libfunc felt252_is_zero = felt252_is_zero;
+  libfunc drop<felt252> = drop<felt252>;
+  libfunc jump = jump;
+  libfunc drop<NonZero<felt252>> = drop<NonZero<felt252>>;
+  libfunc felt252_add = felt252_add;
+  libfunc felt252_sub = felt252_sub;
+  libfunc array_new<felt252> = array_new<felt252>;
+  libfunc felt252_const<375233589013918064796019> = felt252_const<375233589013918064796019>;
+  libfunc array_append<felt252> = array_append<felt252>;
+  libfunc struct_construct<core::panics::Panic> = struct_construct<core::panics::Panic>;
+  libfunc struct_construct<Tuple<core::panics::Panic, Array<felt252>>> = struct_construct<Tuple<core::panics::Panic, Array<felt252>>>;
+  
+  disable_ap_tracking() -> (); // 0
+  felt252_const<10>() -> ([2]); // 1
+  felt252_const<1>() -> ([3]); // 2
+  felt252_const<1>() -> ([4]); // 3
+  store_temp<RangeCheck>([0]) -> ([0]); // 4
+  store_temp<GasBuiltin>([1]) -> ([1]); // 5
+  store_temp<felt252>([3]) -> ([3]); // 6
+  store_temp<felt252>([4]) -> ([4]); // 7
+  store_temp<felt252>([2]) -> ([2]); // 8
+  function_call<user@fibonacci::fibonacci::fib>([0], [1], [3], [4], [2]) -> ([5], [6], [7]); // 9
+  enum_match<core::panics::PanicResult::<(core::felt252,)>>([7]) { fallthrough([8]) 19([9]) }; // 10
+  branch_align() -> (); // 11
+  struct_deconstruct<Tuple<felt252>>([8]) -> ([10]); // 12
+  struct_construct<Tuple<felt252>>([10]) -> ([11]); // 13
+  enum_init<core::panics::PanicResult::<(core::felt252,)>, 0>([11]) -> ([12]); // 14
+  store_temp<RangeCheck>([5]) -> ([5]); // 15
+  store_temp<GasBuiltin>([6]) -> ([6]); // 16
+  store_temp<core::panics::PanicResult::<(core::felt252,)>>([12]) -> ([12]); // 17
+  return([5], [6], [12]); // 18
+  branch_align() -> (); // 19
+  enum_init<core::panics::PanicResult::<(core::felt252,)>, 1>([9]) -> ([13]); // 20
+  store_temp<RangeCheck>([5]) -> ([5]); // 21
+  store_temp<GasBuiltin>([6]) -> ([6]); // 22
+  store_temp<core::panics::PanicResult::<(core::felt252,)>>([13]) -> ([13]); // 23
+  return([5], [6], [13]); // 24
+  disable_ap_tracking() -> (); // 25
+  get_builtin_costs() -> ([5]); // 26
+  store_temp<BuiltinCosts>([5]) -> ([5]); // 27
+  withdraw_gas_all([0], [1], [5]) { fallthrough([6], [7]) 70([8], [9]) }; // 28
+  branch_align() -> (); // 29
+  dup<felt252>([4]) -> ([4], [10]); // 30
+  store_temp<RangeCheck>([6]) -> ([6]); // 31
+  felt252_is_zero([10]) { fallthrough() 40([11]) }; // 32
+  branch_align() -> (); // 33
+  drop<felt252>([4]) -> (); // 34
+  drop<felt252>([3]) -> (); // 35
+  store_temp<RangeCheck>([6]) -> ([12]); // 36
+  store_temp<GasBuiltin>([7]) -> ([13]); // 37
+  store_temp<felt252>([2]) -> ([14]); // 38
+  jump() { 58() }; // 39
+  branch_align() -> (); // 40
+  drop<NonZero<felt252>>([11]) -> (); // 41
+  dup<felt252>([3]) -> ([3], [15]); // 42
+  felt252_add([2], [15]) -> ([16]); // 43
+  felt252_const<1>() -> ([17]); // 44
+  felt252_sub([4], [17]) -> ([18]); // 45
+  store_temp<RangeCheck>([6]) -> ([6]); // 46
+  store_temp<GasBuiltin>([7]) -> ([7]); // 47
+  store_temp<felt252>([3]) -> ([3]); // 48
+  store_temp<felt252>([16]) -> ([16]); // 49
+  store_temp<felt252>([18]) -> ([18]); // 50
+  function_call<user@fibonacci::fibonacci::fib>([6], [7], [3], [16], [18]) -> ([19], [20], [21]); // 51
+  enum_match<core::panics::PanicResult::<(core::felt252,)>>([21]) { fallthrough([22]) 64([23]) }; // 52
+  branch_align() -> (); // 53
+  struct_deconstruct<Tuple<felt252>>([22]) -> ([24]); // 54
+  store_temp<RangeCheck>([19]) -> ([12]); // 55
+  store_temp<GasBuiltin>([20]) -> ([13]); // 56
+  store_temp<felt252>([24]) -> ([14]); // 57
+  struct_construct<Tuple<felt252>>([14]) -> ([25]); // 58
+  enum_init<core::panics::PanicResult::<(core::felt252,)>, 0>([25]) -> ([26]); // 59
+  store_temp<RangeCheck>([12]) -> ([12]); // 60
+  store_temp<GasBuiltin>([13]) -> ([13]); // 61
+  store_temp<core::panics::PanicResult::<(core::felt252,)>>([26]) -> ([26]); // 62
+  return([12], [13], [26]); // 63
+  branch_align() -> (); // 64
+  enum_init<core::panics::PanicResult::<(core::felt252,)>, 1>([23]) -> ([27]); // 65
+  store_temp<RangeCheck>([19]) -> ([19]); // 66
+  store_temp<GasBuiltin>([20]) -> ([20]); // 67
+  store_temp<core::panics::PanicResult::<(core::felt252,)>>([27]) -> ([27]); // 68
+  return([19], [20], [27]); // 69
+  branch_align() -> (); // 70
+  drop<felt252>([4]) -> (); // 71
+  drop<felt252>([2]) -> (); // 72
+  drop<felt252>([3]) -> (); // 73
+  array_new<felt252>() -> ([28]); // 74
+  felt252_const<375233589013918064796019>() -> ([29]); // 75
+  store_temp<felt252>([29]) -> ([29]); // 76
+  array_append<felt252>([28], [29]) -> ([30]); // 77
+  struct_construct<core::panics::Panic>() -> ([31]); // 78
+  struct_construct<Tuple<core::panics::Panic, Array<felt252>>>([31], [30]) -> ([32]); // 79
+  enum_init<core::panics::PanicResult::<(core::felt252,)>, 1>([32]) -> ([33]); // 80
+  store_temp<RangeCheck>([8]) -> ([8]); // 81
+  store_temp<GasBuiltin>([9]) -> ([9]); // 82
+  store_temp<core::panics::PanicResult::<(core::felt252,)>>([33]) -> ([33]); // 83
+  return([8], [9], [33]); // 84
+  
+  fibonacci::fibonacci::main@0([0]: RangeCheck, [1]: GasBuiltin) -> (RangeCheck, GasBuiltin, core::panics::PanicResult::<(core::felt252,)>);
+  fibonacci::fibonacci::fib@25([0]: RangeCheck, [1]: GasBuiltin, [2]: felt252, [3]: felt252, [4]: felt252) -> (RangeCheck, GasBuiltin, core::panics::PanicResult::<(core::felt252,)>);
+  `,
+  ],
+  CASM: [
+    `[ap + 0] = [fp + -4], ap++;
+  [ap + 0] = [fp + -3], ap++;
+  [ap + 0] = 1, ap++;
+  [ap + 0] = 1, ap++;
+  [ap + 0] = 10, ap++;
+  call rel 19;
+  jmp rel 10 if [ap + -3] != 0;
+  [ap + 0] = [ap + -5], ap++;
+  [ap + 0] = [ap + -5], ap++;
+  [ap + 0] = 0, ap++;
+  [ap + 0] = 0, ap++;
+  [ap + 0] = [ap + -5], ap++;
+  ret;
+  [ap + 0] = [ap + -5], ap++;
+  [ap + 0] = [ap + -5], ap++;
+  [ap + 0] = 1, ap++;
+  [ap + 0] = [ap + -5], ap++;
+  [ap + 0] = [ap + -5], ap++;
+  ret;
+  call rel 68;
+  [ap + 0] = [ap + -1] + 67, ap++;
+  [ap + 0] = [[ap + -1] + 0], ap++;
+  %{ memory[ap + 0] = 2570 <= memory[fp + -6] %}
+  jmp rel 9 if [ap + 0] != 0, ap++;
+  [fp + -6] = [ap + 0] + 2570, ap++;
+  [ap + 0] = [ap + -1] + 340282366920938463463374607431768211456, ap++;
+  [ap + -1] = [[fp + -7] + 0];
+  jmp rel 42;
+  [fp + -6] = [ap + 0] + 2570, ap++;
+  [ap + -1] = [[fp + -7] + 0];
+  [ap + 0] = [fp + -7] + 1, ap++;
+  jmp rel 7 if [fp + -3] != 0;
+  [ap + 0] = [ap + -1], ap++;
+  [ap + 0] = [ap + -3], ap++;
+  [ap + 0] = [fp + -5], ap++;
+  jmp rel 15;
+  [ap + 0] = [ap + -1], ap++;
+  [ap + 0] = [ap + -3], ap++;
+  [ap + 0] = [fp + -4], ap++;
+  [ap + 0] = [fp + -5] + [fp + -4], ap++;
+  [fp + -3] = [ap + 0] + 1, ap++;
+  call rel -32;
+  jmp rel 13 if [ap + -3] != 0;
+  [ap + 0] = [ap + -5], ap++;
+  [ap + 0] = [ap + -5], ap++;
+  [ap + 0] = [ap + -3], ap++;
+  [ap + 0] = [ap + -3], ap++;
+  [ap + 0] = [ap + -3], ap++;
+  [ap + 0] = 0, ap++;
+  [ap + 0] = 0, ap++;
+  [ap + 0] = [ap + -5], ap++;
+  ret;
+  [ap + 0] = [ap + -5], ap++;
+  [ap + 0] = [ap + -5], ap++;
+  [ap + 0] = 1, ap++;
+  [ap + 0] = [ap + -5], ap++;
+  [ap + 0] = [ap + -5], ap++;
+  ret;
+  %{ memory[ap + 0] = segments.add() %}
+  ap += 1;
+  [ap + 0] = 375233589013918064796019, ap++;
+  [ap + -1] = [[ap + -2] + 0];
+  [ap + 0] = [fp + -7] + 1, ap++;
+  [ap + 0] = [fp + -6], ap++;
+  [ap + 0] = 1, ap++;
+  [ap + 0] = [ap + -5], ap++;
+  [ap + 0] = [ap + -6] + 1, ap++;
+  ret;
+  `,
+  ],
+  //   Bytecode: ['604260005260206000F3'],
+  //   Mnemonic: [
+  //     `PUSH1 0x42
+  // PUSH1 0
+  // MSTORE
+  // PUSH1 32
+  // PUSH1 0
+  // RETURN`,
+  //   ],
+}
+
+export const CairoExampleNamesProveMode = [
+  'Simple program',
+  'Variables & mutability',
+  'Control flow',
+  'Functions',
+  'Dictionaries',
+  'Ownership',
+  'Fibonacci',
+]
 export const CairoExampleNames = [
   'Simple program',
   'Variables & mutability',
-  //   'Type casting',
   'Control flow',
   'Functions',
-  //   'Arrays',
   'Dictionaries',
   'Ownership',
   'Fibonacci',
+  'Type casting',
+  'Arrays',
   'Simple Contract',
   'Fibonacci Contract',
 ]
diff --git a/components/Editor/index.tsx b/components/Editor/index.tsx
index de38fc3..dac667e 100644
--- a/components/Editor/index.tsx
+++ b/components/Editor/index.tsx
@@ -32,7 +32,7 @@ import {
   objToQueryString,
 } from 'util/string'
 
-import { Examples } from 'components/Editor/examples'
+import { Examples, ProveExamples } from 'components/Editor/examples'
 import { Tracer } from 'components/Tracer'
 
 import { AppUiContext, CodeType, LogType } from '../../context/appUiContext'
@@ -95,6 +95,8 @@ const Editor = ({ readOnly = false, isCairoLangPage = false }: Props) => {
     verificationTime,
     provingIsNotSupported,
     proofRequired,
+    isProveMode,
+    setProveMode,
   } = useContext(CairoVMApiContext)
 
   const { addToConsoleLog, isThreeColumnLayout } = useContext(AppUiContext)
@@ -102,6 +104,7 @@ const Editor = ({ readOnly = false, isCairoLangPage = false }: Props) => {
   const { theme } = useTheme()
 
   const [cairoCode, setCairoCode] = useState('')
+  const [isExampleChanged, setExampleChanged] = useState(false)
   const [compiledCairoCode, setCompiledCairoCode] = useState(cairoCode)
   const [exampleOption, setExampleOption] = useState<number>(0)
   const [codeType, setCodeType] = useState<string | undefined>()
@@ -110,6 +113,7 @@ const Editor = ({ readOnly = false, isCairoLangPage = false }: Props) => {
     useState<editor.IEditorDecorationsCollection | null>(null)
   const editorRef = useRef<editor.IStandaloneCodeEditor>()
   const monaco = useMonaco()
+  const prevExampleOptionRef = useRef<number | null>(null)
 
   useEffect(() => {
     // when theme is changed, we again set theme of editor
@@ -223,6 +227,9 @@ const Editor = ({ readOnly = false, isCairoLangPage = false }: Props) => {
   useEffect(() => {
     const query = router.query
 
+    const prevExampleOption = prevExampleOptionRef.current
+    const exampleOptionChanged = prevExampleOption !== exampleOption
+
     if ('codeType' in query && 'code' in query) {
       setCodeType(query.codeType as string)
       setCairoCode(
@@ -240,10 +247,24 @@ const Editor = ({ readOnly = false, isCairoLangPage = false }: Props) => {
         getSetting(Setting.EditorCodeType) || CodeType.Cairo
 
       setCodeType(initialCodeType)
-      setCairoCode(Examples[initialCodeType][exampleOption])
+
+      if (!isExampleChanged || exampleOptionChanged) {
+        setExampleChanged(false)
+        if (isProveMode) {
+          if (exampleOption > ProveExamples[initialCodeType].length - 1) {
+            setCairoCode(ProveExamples[initialCodeType][0])
+          } else {
+            setCairoCode(ProveExamples[initialCodeType][exampleOption])
+          }
+        } else {
+          setCairoCode(Examples[initialCodeType][exampleOption])
+        }
+      }
     }
+
+    prevExampleOptionRef.current = exampleOption
     // eslint-disable-next-line react-hooks/exhaustive-deps
-  }, [settingsLoaded && router.isReady, exampleOption])
+  }, [settingsLoaded && router.isReady, exampleOption, isProveMode])
 
   useEffect(() => {
     if (compilationState === ProgramCompilationState.Compiling) {
@@ -258,6 +279,8 @@ const Editor = ({ readOnly = false, isCairoLangPage = false }: Props) => {
 
       if (serializedOutput) {
         addToConsoleLog(`Execution output: ${serializedOutput}`)
+      } else {
+        addToConsoleLog(`Executed`)
       }
 
       if (executionState === ProgramExecutionState.Error) {
@@ -359,6 +382,7 @@ const Editor = ({ readOnly = false, isCairoLangPage = false }: Props) => {
   const handleCairoCodeChange = (value: string | undefined) => {
     if (value) {
       setCairoCode(value)
+      setExampleChanged(true)
     } else {
       setCairoCode('')
     }
@@ -564,12 +588,15 @@ const Editor = ({ readOnly = false, isCairoLangPage = false }: Props) => {
                 </div>
 
                 <EditorControls
+                  setProveMode={setProveMode}
+                  exampleOption={exampleOption}
                   isCompileDisabled={isCompileDisabled}
                   programArguments={programArguments}
                   areProgramArgumentsValid={areProgramArgumentsValid}
                   onCopyPermalink={handleCopyPermalink}
                   onProgramArgumentsUpdate={handleProgramArgumentsUpdate}
                   onCompileRun={handleCompileRun}
+                  isProveMode={isProveMode}
                   onShowArgumentsHelper={() => setShowArgumentsHelper(true)}
                   handleChangeExampleOption={(newExample) =>
                     newExample !== null
diff --git a/components/ui/Checkbox.tsx b/components/ui/Checkbox.tsx
new file mode 100644
index 0000000..8c42a4c
--- /dev/null
+++ b/components/ui/Checkbox.tsx
@@ -0,0 +1,47 @@
+import React, { ChangeEvent } from 'react'
+
+type Props = {
+  text: string
+  value: string
+  onChange: (event: ChangeEvent<HTMLInputElement>) => void
+  isChecked: boolean
+  isDisabled?: boolean
+}
+
+export const Checkbox: React.FC<Props> = ({
+  text,
+  value,
+  onChange,
+  isChecked,
+  isDisabled,
+}) => {
+  return (
+    <label className="mr-3 text-sm flex items-center text-gray-600 whitespace-nowrap dark:text-white cursor-pointer">
+      <input
+        type="checkbox"
+        value={value}
+        checked={isChecked}
+        disabled={isDisabled || false}
+        onChange={onChange}
+        className="peer hidden"
+      />
+      <div
+        className={`w-4 h-4 mr-2 rounded border-2 border-[#E85733] flex items-center justify-center 
+          peer-checked:bg-[#E85733] peer-disabled:opacity-50`}
+      >
+        {isChecked && (
+          <svg
+            className="w-3 h-3 text-white"
+            fill="none"
+            stroke="currentColor"
+            strokeWidth="2"
+            viewBox="0 0 24 24"
+          >
+            <path d="M5 13l4 4L19 7" />
+          </svg>
+        )}
+      </div>
+      {text}
+    </label>
+  )
+}
diff --git a/components/ui/MultiButton.tsx b/components/ui/MultiButton.tsx
index efe5589..b982b3b 100644
--- a/components/ui/MultiButton.tsx
+++ b/components/ui/MultiButton.tsx
@@ -1,7 +1,5 @@
-import { useContext, useEffect, useState } from 'react'
+import { useContext, useEffect } from 'react'
 
-import { Menu, MenuButton, MenuItem, MenuItems } from '@headlessui/react'
-import { ChevronDownIcon } from '@heroicons/react/20/solid'
 import { ReadyState } from 'react-use-websocket'
 
 import { AppUiContext, LogType } from 'context/appUiContext'
@@ -20,7 +18,6 @@ interface MultiButtonProps {
 }
 
 const MultiButton = ({ onCompileRun }: MultiButtonProps) => {
-  const [selected, setSelected] = useState<CompileMods>('run')
   const { addToConsoleLog, consoleLog } = useContext(AppUiContext)
   const {
     compilationState,
@@ -30,6 +27,7 @@ const MultiButton = ({ onCompileRun }: MultiButtonProps) => {
     executionState,
     proofRequired,
     provingIsNotSupported,
+    isProveMode,
   } = useContext(CairoVMApiContext)
 
   useEffect(() => {
@@ -68,18 +66,12 @@ const MultiButton = ({ onCompileRun }: MultiButtonProps) => {
   }, [readyState, consoleLog, addToConsoleLog])
 
   const handleMainButtonClick = () => {
-    switch (selected) {
-      case 'run-prove-verify':
-        onCompileRun('run-prove-verify')
-        setDebugMode(ProgramDebugMode.Execution)
-        break
-      case 'run':
-        onCompileRun('run')
-        setDebugMode(ProgramDebugMode.Execution)
-        break
-      default:
-        break
+    if (isProveMode) {
+      onCompileRun('run-prove-verify')
+    } else {
+      onCompileRun('run')
     }
+    setDebugMode(ProgramDebugMode.Execution)
   }
 
   return (
@@ -95,52 +87,11 @@ const MultiButton = ({ onCompileRun }: MultiButtonProps) => {
               executionState === ProgramExecutionState.Success))
         }
         size="sm"
-        className="rounded-r-none px-3 py-2 text-xs md:text-sm min-w-[130px] flex items-center whitespace-nowrap justify-left flex-1"
+        className="px-3 py-2 text-xs md:text-sm flex items-center whitespace-nowrap justify-center flex-1"
         onClick={handleMainButtonClick}
       >
-        {selected === 'run-prove-verify'
-          ? 'Run, Prove and Debug'
-          : 'Run and Debug'}
+        Run
       </Button>
-
-      <Menu as="div" className="relative">
-        <MenuButton
-          disabled={
-            readyState !== ReadyState.OPEN ||
-            compilationState === ProgramCompilationState.Compiling ||
-            (!provingIsNotSupported &&
-              proofRequired &&
-              !proof &&
-              (executionState === ProgramExecutionState.Executing ||
-                executionState === ProgramExecutionState.Success))
-          }
-          className="h-full disabled:cursor-not-allowed disabled:opacity-50 px-3 flex items-center justify-center rounded-r bg-[#E85733] hover:bg-[#fa5d36] focus:z-10 relative"
-        >
-          <span className="sr-only">Open options</span>
-          <ChevronDownIcon aria-hidden="true" className="w-5" color="black" />
-          <span className="absolute left-0 top-1/2 h-2/3 w-[1px] bg-[#00000033] -translate-y-1/2" />
-        </MenuButton>
-        <MenuItems className="absolute right-0 z-10 mt-2 w-56 origin-top-right rounded shadow-lg focus:outline-none data-[closed]:scale-95 data-[closed]:transform data-[closed]:opacity-0 data-[enter]:duration-100 data-[leave]:duration-75 data-[enter]:ease-out data-[leave]:ease-in dark:bg-darkMode-primary bg-white">
-          <div>
-            <MenuItem>
-              <button
-                onClick={() => setSelected('run')}
-                className="block w-full px-4 pt-3 pb-2 text-sm text-left dark:text-darkMode-text text-gray-900 hover:bg-gray-100 dark:hover:bg-darkMode-secondary hover:rounded-t rounded-none"
-              >
-                Run and Debug
-              </button>
-            </MenuItem>
-            <MenuItem>
-              <button
-                onClick={() => setSelected('run-prove-verify')}
-                className="block w-full px-4 pt-2 pb-3 text-sm text-left dark:text-darkMode-text text-gray-900 hover:bg-gray-100 dark:hover:bg-darkMode-secondary hover:rounded-b rounded-none"
-              >
-                Run, Prove and Debug
-              </button>
-            </MenuItem>
-          </div>
-        </MenuItems>
-      </Menu>
     </div>
   )
 }
diff --git a/context/cairoVMApiContext.tsx b/context/cairoVMApiContext.tsx
index b363db9..83e0a2f 100644
--- a/context/cairoVMApiContext.tsx
+++ b/context/cairoVMApiContext.tsx
@@ -95,6 +95,8 @@ type ContextProps = {
   onContinueExecution: () => void
   addBreakPoint: (addr: string) => void
   removeBreakPoint: (addr: string) => void
+  isProveMode: boolean
+  setProveMode: (proveMode: boolean) => void
 }
 
 export const CairoVMApiContext = createContext<ContextProps>({
@@ -121,6 +123,7 @@ export const CairoVMApiContext = createContext<ContextProps>({
   readyState: 0,
   provingIsNotSupported: false,
   proofRequired: false,
+  isProveMode: false,
 
   proof: undefined,
   proofTime: undefined,
@@ -132,6 +135,7 @@ export const CairoVMApiContext = createContext<ContextProps>({
   addBreakPoint: noOp,
   removeBreakPoint: noOp,
   setDebugMode: noOp,
+  setProveMode: noOp,
 })
 
 export const CairoVMApiProvider: React.FC<PropsWithChildren> = ({
@@ -140,6 +144,7 @@ export const CairoVMApiProvider: React.FC<PropsWithChildren> = ({
   const [debugMode, setDebugMode] = useState<ProgramDebugMode>(
     ProgramDebugMode.Execution,
   )
+  const [isProveMode, setProveMode] = useState(false)
   const [sierraCode, setSierraCode] = useState<string>('')
   const [casmCode, setCasmCode] = useState<string>('')
   const [casmInstructions, setCasmInstructions] = useState<IInstruction[]>([])
@@ -499,6 +504,8 @@ export const CairoVMApiProvider: React.FC<PropsWithChildren> = ({
         onContinueExecution,
         addBreakPoint,
         removeBreakPoint,
+        isProveMode,
+        setProveMode,
       }}
     >
       {children}