WEBVTT
Kind: captions
Language: en

00:00:00.000 --> 00:00:04.350 align:start position:0%
 
foreign

00:00:04.350 --> 00:00:04.360 align:start position:0%
 
 

00:00:04.360 --> 00:00:16.029 align:start position:0%
 
[Music]

00:00:16.029 --> 00:00:16.039 align:start position:0%
 
 

00:00:16.039 --> 00:00:19.790 align:start position:0%
 
team<00:00:17.039><c> at</c><00:00:17.460><c> ethereum</c><00:00:17.880><c> foundation</c><00:00:18.300><c> and</c><00:00:19.260><c> um</c>

00:00:19.790 --> 00:00:19.800 align:start position:0%
team at ethereum foundation and um
 

00:00:19.800 --> 00:00:22.310 align:start position:0%
team at ethereum foundation and um
this<00:00:20.279><c> talk</c><00:00:20.580><c> was</c><00:00:21.180><c> originally</c><00:00:21.600><c> about</c><00:00:21.779><c> what's</c>

00:00:22.310 --> 00:00:22.320 align:start position:0%
this talk was originally about what's
 

00:00:22.320 --> 00:00:25.670 align:start position:0%
this talk was originally about what's
next<00:00:22.680><c> in</c><00:00:22.980><c> the</c><00:00:23.220><c> evm</c><00:00:24.000><c> but</c><00:00:24.300><c> uh</c><00:00:24.539><c> we</c><00:00:25.019><c> shorted</c><00:00:25.380><c> it</c><00:00:25.560><c> a</c>

00:00:25.670 --> 00:00:25.680 align:start position:0%
next in the evm but uh we shorted it a
 

00:00:25.680 --> 00:00:28.370 align:start position:0%
next in the evm but uh we shorted it a
bit<00:00:25.800><c> because</c><00:00:26.220><c> lightning</c><00:00:26.760><c> talks</c><00:00:27.599><c> um</c>

00:00:28.370 --> 00:00:28.380 align:start position:0%
bit because lightning talks um
 

00:00:28.380 --> 00:00:31.310 align:start position:0%
bit because lightning talks um
but<00:00:29.099><c> what</c><00:00:29.340><c> I</c><00:00:29.519><c> want</c><00:00:29.699><c> to</c><00:00:29.939><c> tell</c><00:00:30.720><c> you</c><00:00:30.840><c> about</c><00:00:31.019><c> today</c>

00:00:31.310 --> 00:00:31.320 align:start position:0%
but what I want to tell you about today
 

00:00:31.320 --> 00:00:33.709 align:start position:0%
but what I want to tell you about today
is<00:00:31.859><c> uh</c><00:00:32.160><c> quick</c><00:00:32.640><c> to</c><00:00:33.180><c> give</c><00:00:33.360><c> you</c><00:00:33.480><c> a</c><00:00:33.540><c> quick</c>

00:00:33.709 --> 00:00:33.719 align:start position:0%
is uh quick to give you a quick
 

00:00:33.719 --> 00:00:37.670 align:start position:0%
is uh quick to give you a quick
introduction<00:00:34.140><c> to</c><00:00:34.440><c> eof</c><00:00:34.920><c> evm</c><00:00:35.640><c> object</c><00:00:35.940><c> format</c>

00:00:37.670 --> 00:00:37.680 align:start position:0%
introduction to eof evm object format
 

00:00:37.680 --> 00:00:40.670 align:start position:0%
introduction to eof evm object format
um<00:00:37.700><c> but</c><00:00:38.700><c> we</c><00:00:38.940><c> have</c><00:00:39.059><c> to</c><00:00:39.239><c> start</c><00:00:39.540><c> with</c><00:00:39.840><c> the</c><00:00:40.140><c> the</c>

00:00:40.670 --> 00:00:40.680 align:start position:0%
um but we have to start with the the
 

00:00:40.680 --> 00:00:43.010 align:start position:0%
um but we have to start with the the
current<00:00:40.920><c> VM</c><00:00:41.399><c> we</c><00:00:41.579><c> have</c><00:00:41.760><c> so</c>

00:00:43.010 --> 00:00:43.020 align:start position:0%
current VM we have so
 

00:00:43.020 --> 00:00:45.110 align:start position:0%
current VM we have so
one<00:00:43.500><c> of</c><00:00:43.620><c> the</c><00:00:43.680><c> design</c><00:00:43.800><c> goals</c><00:00:44.280><c> of</c><00:00:44.399><c> currently</c><00:00:44.820><c> VM</c>

00:00:45.110 --> 00:00:45.120 align:start position:0%
one of the design goals of currently VM
 

00:00:45.120 --> 00:00:47.569 align:start position:0%
one of the design goals of currently VM
was<00:00:45.300><c> Simplicity</c><00:00:45.840><c> and</c><00:00:46.379><c> uh</c><00:00:46.620><c> the</c><00:00:47.040><c> thing</c><00:00:47.219><c> is</c><00:00:47.340><c> that</c>

00:00:47.569 --> 00:00:47.579 align:start position:0%
was Simplicity and uh the thing is that
 

00:00:47.579 --> 00:00:49.970 align:start position:0%
was Simplicity and uh the thing is that
we<00:00:47.820><c> kind</c><00:00:48.059><c> of</c><00:00:48.180><c> overdone</c><00:00:48.660><c> it</c>

00:00:49.970 --> 00:00:49.980 align:start position:0%
we kind of overdone it
 

00:00:49.980 --> 00:00:51.290 align:start position:0%
we kind of overdone it
um<00:00:50.039><c> and</c><00:00:50.399><c> uh</c>

00:00:51.290 --> 00:00:51.300 align:start position:0%
um and uh
 

00:00:51.300 --> 00:00:53.930 align:start position:0%
um and uh
the<00:00:51.960><c> the</c><00:00:51.960><c> current</c><00:00:52.320><c> VM</c><00:00:52.920><c> can</c>

00:00:53.930 --> 00:00:53.940 align:start position:0%
the the current VM can
 

00:00:53.940 --> 00:00:56.389 align:start position:0%
the the current VM can
can<00:00:54.420><c> just</c><00:00:54.780><c> execute</c><00:00:55.260><c> whatever</c><00:00:55.500><c> buys</c><00:00:56.100><c> the</c><00:00:56.219><c> it's</c>

00:00:56.389 --> 00:00:56.399 align:start position:0%
can just execute whatever buys the it's
 

00:00:56.399 --> 00:01:00.049 align:start position:0%
can just execute whatever buys the it's
provide<00:00:56.879><c> you</c><00:00:57.660><c> will</c><00:00:57.780><c> provide</c><00:00:58.140><c> to</c><00:00:58.379><c> to</c><00:00:58.739><c> it</c><00:00:58.980><c> and</c><00:01:00.059><c> um</c>

00:01:00.049 --> 00:01:00.059 align:start position:0%
provide you will provide to to it and um
 

00:01:00.059 --> 00:01:02.569 align:start position:0%
provide you will provide to to it and um
that's<00:01:00.600><c> why</c><00:01:00.780><c> I</c><00:01:01.020><c> kind</c><00:01:01.320><c> of</c><00:01:01.440><c> sometimes</c><00:01:02.280><c> thinking</c>

00:01:02.569 --> 00:01:02.579 align:start position:0%
that's why I kind of sometimes thinking
 

00:01:02.579 --> 00:01:06.170 align:start position:0%
that's why I kind of sometimes thinking
about<00:01:02.760><c> it</c><00:01:03.000><c> as</c><00:01:03.300><c> a</c><00:01:03.600><c> garbage</c><00:01:04.440><c> heating</c><00:01:04.739><c> machine</c><00:01:05.180><c> uh</c>

00:01:06.170 --> 00:01:06.180 align:start position:0%
about it as a garbage heating machine uh
 

00:01:06.180 --> 00:01:10.490 align:start position:0%
about it as a garbage heating machine uh
so<00:01:06.960><c> it's</c><00:01:07.619><c> it</c><00:01:07.979><c> it</c><00:01:08.340><c> brings</c><00:01:09.240><c> some</c><00:01:09.420><c> success</c><00:01:09.720><c> to</c><00:01:10.020><c> evm</c>

00:01:10.490 --> 00:01:10.500 align:start position:0%
so it's it it brings some success to evm
 

00:01:10.500 --> 00:01:13.070 align:start position:0%
so it's it it brings some success to evm
but<00:01:10.860><c> uh</c><00:01:11.520><c> must</c><00:01:12.119><c> also</c><00:01:12.540><c> bring</c><00:01:12.780><c> some</c>

00:01:13.070 --> 00:01:13.080 align:start position:0%
but uh must also bring some
 

00:01:13.080 --> 00:01:17.030 align:start position:0%
but uh must also bring some
inefficiencies<00:01:14.180><c> uh</c><00:01:15.180><c> to</c><00:01:15.840><c> it</c>

00:01:17.030 --> 00:01:17.040 align:start position:0%
inefficiencies uh to it
 

00:01:17.040 --> 00:01:20.749 align:start position:0%
inefficiencies uh to it
so<00:01:18.060><c> um</c><00:01:18.119><c> one</c><00:01:18.600><c> of</c><00:01:18.720><c> these</c><00:01:19.100><c> inefficient</c><00:01:20.100><c> aspects</c>

00:01:20.749 --> 00:01:20.759 align:start position:0%
so um one of these inefficient aspects
 

00:01:20.759 --> 00:01:23.210 align:start position:0%
so um one of these inefficient aspects
of<00:01:20.880><c> evm</c><00:01:21.360><c> is</c><00:01:21.479><c> that</c><00:01:21.720><c> uh</c><00:01:22.020><c> you</c><00:01:22.500><c> need</c><00:01:22.619><c> to</c><00:01:22.740><c> do</c><00:01:22.920><c> a</c><00:01:23.159><c> lot</c>

00:01:23.210 --> 00:01:23.220 align:start position:0%
of evm is that uh you need to do a lot
 

00:01:23.220 --> 00:01:25.570 align:start position:0%
of evm is that uh you need to do a lot
of<00:01:23.340><c> work</c><00:01:23.720><c> except</c>

00:01:25.570 --> 00:01:25.580 align:start position:0%
of work except
 

00:01:25.580 --> 00:01:27.950 align:start position:0%
of work except
above<00:01:26.580><c> the</c><00:01:26.820><c> the</c><00:01:27.119><c> actual</c><00:01:27.479><c> work</c><00:01:27.720><c> the</c>

00:01:27.950 --> 00:01:27.960 align:start position:0%
above the the actual work the
 

00:01:27.960 --> 00:01:30.289 align:start position:0%
above the the actual work the
instructions<00:01:28.380><c> are</c><00:01:28.619><c> doing</c><00:01:28.740><c> internally</c>

00:01:30.289 --> 00:01:30.299 align:start position:0%
instructions are doing internally
 

00:01:30.299 --> 00:01:34.789 align:start position:0%
instructions are doing internally
so<00:01:31.080><c> this</c><00:01:31.259><c> is</c><00:01:31.380><c> like</c><00:01:31.500><c> the</c><00:01:31.680><c> checks</c><00:01:32.100><c> that</c><00:01:32.340><c> uh</c><00:01:33.119><c> every</c>

00:01:34.789 --> 00:01:34.799 align:start position:0%
so this is like the checks that uh every
 

00:01:34.799 --> 00:01:37.730 align:start position:0%
so this is like the checks that uh every
every<00:01:35.280><c> step</c><00:01:35.700><c> in</c><00:01:36.180><c> The</c><00:01:36.360><c> Interpreter</c><00:01:37.140><c> you</c><00:01:37.680><c> will</c>

00:01:37.730 --> 00:01:37.740 align:start position:0%
every step in The Interpreter you will
 

00:01:37.740 --> 00:01:40.370 align:start position:0%
every step in The Interpreter you will
need<00:01:37.920><c> to</c><00:01:38.100><c> perform</c><00:01:38.340><c> to</c><00:01:39.060><c> make</c><00:01:39.299><c> sure</c><00:01:39.540><c> that</c><00:01:40.020><c> the</c>

00:01:40.370 --> 00:01:40.380 align:start position:0%
need to perform to make sure that the
 

00:01:40.380 --> 00:01:42.969 align:start position:0%
need to perform to make sure that the
AVM<00:01:40.799><c> works</c><00:01:41.100><c> as</c><00:01:41.340><c> a</c><00:01:41.640><c> specification</c>

00:01:42.969 --> 00:01:42.979 align:start position:0%
AVM works as a specification
 

00:01:42.979 --> 00:01:45.710 align:start position:0%
AVM works as a specification
wants<00:01:43.979><c> it</c><00:01:44.040><c> to</c><00:01:44.159><c> go</c>

00:01:45.710 --> 00:01:45.720 align:start position:0%
wants it to go
 

00:01:45.720 --> 00:01:46.249 align:start position:0%
wants it to go
um

00:01:46.249 --> 00:01:46.259 align:start position:0%
um
 

00:01:46.259 --> 00:01:48.530 align:start position:0%
um
and<00:01:46.920><c> uh</c><00:01:47.100><c> this</c><00:01:47.400><c> is</c><00:01:47.520><c> kind</c><00:01:47.700><c> of</c><00:01:47.820><c> the</c><00:01:47.939><c> motivation</c><00:01:48.299><c> we</c>

00:01:48.530 --> 00:01:48.540 align:start position:0%
and uh this is kind of the motivation we
 

00:01:48.540 --> 00:01:50.569 align:start position:0%
and uh this is kind of the motivation we
want<00:01:48.720><c> to</c><00:01:48.840><c> do</c><00:01:48.960><c> to</c><00:01:49.380><c> clean</c><00:01:49.560><c> it</c><00:01:49.740><c> up</c><00:01:49.920><c> and</c><00:01:50.460><c> the</c>

00:01:50.569 --> 00:01:50.579 align:start position:0%
want to do to clean it up and the
 

00:01:50.579 --> 00:01:53.870 align:start position:0%
want to do to clean it up and the
cleanup<00:01:51.240><c> of</c><00:01:51.540><c> that</c><00:01:51.780><c> is</c><00:01:52.020><c> to</c><00:01:52.439><c> introduce</c><00:01:53.040><c> a</c>

00:01:53.870 --> 00:01:53.880 align:start position:0%
cleanup of that is to introduce a
 

00:01:53.880 --> 00:01:56.149 align:start position:0%
cleanup of that is to introduce a
container<00:01:54.360><c> binary</c><00:01:54.899><c> container</c><00:01:55.380><c> for</c><00:01:55.680><c> the</c><00:01:55.860><c> for</c>

00:01:56.149 --> 00:01:56.159 align:start position:0%
container binary container for the for
 

00:01:56.159 --> 00:01:59.990 align:start position:0%
container binary container for the for
the<00:01:56.340><c> programs</c><00:01:56.820><c> in</c><00:01:57.180><c> evm</c><00:01:57.659><c> and</c><00:01:58.619><c> so</c><00:01:58.860><c> that</c><00:01:59.159><c> it</c><00:01:59.759><c> will</c>

00:01:59.990 --> 00:02:00.000 align:start position:0%
the programs in evm and so that it will
 

00:02:00.000 --> 00:02:03.050 align:start position:0%
the programs in evm and so that it will
kind<00:02:00.299><c> of</c><00:02:00.420><c> translate</c><00:02:00.920><c> the</c><00:02:01.920><c> the</c><00:02:02.399><c> mixture</c><00:02:02.820><c> of</c>

00:02:03.050 --> 00:02:03.060 align:start position:0%
kind of translate the the mixture of
 

00:02:03.060 --> 00:02:05.870 align:start position:0%
kind of translate the the mixture of
different<00:02:03.799><c> features</c><00:02:04.799><c> and</c><00:02:05.460><c> some</c><00:02:05.700><c> Miss</c>

00:02:05.870 --> 00:02:05.880 align:start position:0%
different features and some Miss
 

00:02:05.880 --> 00:02:09.410 align:start position:0%
different features and some Miss
features<00:02:06.420><c> in</c><00:02:07.320><c> the</c><00:02:07.439><c> in</c><00:02:07.680><c> the</c><00:02:07.920><c> in</c><00:02:08.459><c> the</c><00:02:08.640><c> Legacy</c><00:02:09.000><c> VM</c>

00:02:09.410 --> 00:02:09.420 align:start position:0%
features in the in the in the Legacy VM
 

00:02:09.420 --> 00:02:11.630 align:start position:0%
features in the in the in the Legacy VM
to<00:02:09.720><c> something</c><00:02:09.959><c> that</c><00:02:10.259><c> is</c><00:02:10.380><c> a</c><00:02:10.560><c> bit</c><00:02:10.679><c> more</c>

00:02:11.630 --> 00:02:11.640 align:start position:0%
to something that is a bit more
 

00:02:11.640 --> 00:02:12.229 align:start position:0%
to something that is a bit more
um

00:02:12.229 --> 00:02:12.239 align:start position:0%
um
 

00:02:12.239 --> 00:02:16.309 align:start position:0%
um
structured<00:02:13.200><c> and</c><00:02:13.680><c> uh</c><00:02:14.160><c> and</c><00:02:14.580><c> and</c><00:02:14.580><c> Polished</c>

00:02:16.309 --> 00:02:16.319 align:start position:0%
structured and uh and and Polished
 

00:02:16.319 --> 00:02:21.490 align:start position:0%
structured and uh and and Polished
so<00:02:17.160><c> the</c><00:02:17.400><c> the</c><00:02:17.640><c> main</c><00:02:17.819><c> aspect</c><00:02:18.239><c> of</c><00:02:18.480><c> eof</c><00:02:19.140><c> is</c><00:02:19.620><c> to</c>

00:02:21.490 --> 00:02:21.500 align:start position:0%
so the the main aspect of eof is to
 

00:02:21.500 --> 00:02:24.250 align:start position:0%
so the the main aspect of eof is to
provide<00:02:22.500><c> some</c><00:02:22.680><c> metadata</c><00:02:23.160><c> about</c><00:02:23.340><c> the</c><00:02:23.700><c> program</c>

00:02:24.250 --> 00:02:24.260 align:start position:0%
provide some metadata about the program
 

00:02:24.260 --> 00:02:27.530 align:start position:0%
provide some metadata about the program
uh<00:02:25.260><c> including</c><00:02:25.980><c> the</c><00:02:26.220><c> version</c><00:02:26.340><c> number</c>

00:02:27.530 --> 00:02:27.540 align:start position:0%
uh including the version number
 

00:02:27.540 --> 00:02:31.190 align:start position:0%
uh including the version number
and<00:02:28.319><c> splits</c><00:02:29.040><c> the</c><00:02:29.400><c> the</c><00:02:29.700><c> bytes</c><00:02:30.180><c> into</c><00:02:30.420><c> code</c><00:02:30.780><c> and</c>

00:02:31.190 --> 00:02:31.200 align:start position:0%
and splits the the bytes into code and
 

00:02:31.200 --> 00:02:33.490 align:start position:0%
and splits the the bytes into code and
data<00:02:31.800><c> sections</c>

00:02:33.490 --> 00:02:33.500 align:start position:0%
data sections
 

00:02:33.500 --> 00:02:35.809 align:start position:0%
data sections
we<00:02:34.500><c> can</c><00:02:34.620><c> also</c><00:02:34.860><c> do</c><00:02:34.980><c> a</c><00:02:35.099><c> bit</c><00:02:35.220><c> more</c><00:02:35.400><c> about</c><00:02:35.580><c> that</c>

00:02:35.809 --> 00:02:35.819 align:start position:0%
we can also do a bit more about that
 

00:02:35.819 --> 00:02:37.570 align:start position:0%
we can also do a bit more about that
this<00:02:36.120><c> is</c><00:02:36.300><c> the</c><00:02:36.540><c> kind</c><00:02:36.780><c> of</c><00:02:36.900><c> the</c><00:02:37.020><c> the</c><00:02:37.260><c> continue</c>

00:02:37.570 --> 00:02:37.580 align:start position:0%
this is the kind of the the continue
 

00:02:37.580 --> 00:02:40.910 align:start position:0%
this is the kind of the the continue
like<00:02:38.580><c> the</c><00:02:38.879><c> next</c><00:02:39.239><c> proposal</c><00:02:39.900><c> that</c><00:02:40.560><c> can</c><00:02:40.739><c> be</c>

00:02:40.910 --> 00:02:40.920 align:start position:0%
like the next proposal that can be
 

00:02:40.920 --> 00:02:45.470 align:start position:0%
like the next proposal that can be
applied<00:02:41.220><c> to</c><00:02:41.400><c> the</c><00:02:42.019><c> Mev</c><00:02:43.019><c> of</c><00:02:43.319><c> eof</c><00:02:43.940><c> which</c><00:02:44.940><c> is</c><00:02:45.120><c> to</c>

00:02:45.470 --> 00:02:45.480 align:start position:0%
applied to the Mev of eof which is to
 

00:02:45.480 --> 00:02:48.229 align:start position:0%
applied to the Mev of eof which is to
introduce<00:02:45.900><c> functions</c><00:02:46.560><c> so</c><00:02:46.920><c> we</c><00:02:47.160><c> can</c><00:02:47.340><c> partition</c>

00:02:48.229 --> 00:02:48.239 align:start position:0%
introduce functions so we can partition
 

00:02:48.239 --> 00:02:51.890 align:start position:0%
introduce functions so we can partition
the<00:02:48.599><c> code</c><00:02:48.780><c> section</c><00:02:49.260><c> into</c><00:02:49.620><c> more</c><00:02:50.220><c> pieces</c><00:02:50.900><c> with</c>

00:02:51.890 --> 00:02:51.900 align:start position:0%
the code section into more pieces with
 

00:02:51.900 --> 00:02:55.430 align:start position:0%
the code section into more pieces with
additional<00:02:52.440><c> faction</c><00:02:53.220><c> type</c><00:02:53.459><c> information</c>

00:02:55.430 --> 00:02:55.440 align:start position:0%
additional faction type information
 

00:02:55.440 --> 00:02:58.850 align:start position:0%
additional faction type information
and<00:02:56.340><c> to</c><00:02:56.819><c> to</c><00:02:57.120><c> work</c><00:02:57.300><c> with</c><00:02:57.540><c> the</c><00:02:57.720><c> functions</c><00:02:58.140><c> in</c><00:02:58.319><c> evm</c>

00:02:58.850 --> 00:02:58.860 align:start position:0%
and to to work with the functions in evm
 

00:02:58.860 --> 00:03:02.449 align:start position:0%
and to to work with the functions in evm
we<00:02:59.400><c> will</c><00:02:59.580><c> introduce</c><00:03:00.060><c> two</c><00:03:00.959><c> new</c><00:03:01.860><c> instructions</c>

00:03:02.449 --> 00:03:02.459 align:start position:0%
we will introduce two new instructions
 

00:03:02.459 --> 00:03:05.890 align:start position:0%
we will introduce two new instructions
one<00:03:02.700><c> is</c><00:03:02.879><c> to</c><00:03:03.060><c> call</c><00:03:03.239><c> the</c><00:03:03.540><c> other</c><00:03:03.920><c> uh</c><00:03:04.920><c> code</c><00:03:05.340><c> blob</c>

00:03:05.890 --> 00:03:05.900 align:start position:0%
one is to call the other uh code blob
 

00:03:05.900 --> 00:03:09.170 align:start position:0%
one is to call the other uh code blob
and<00:03:06.900><c> uh</c><00:03:07.379><c> and</c><00:03:07.800><c> one</c><00:03:07.980><c> is</c><00:03:08.160><c> to</c><00:03:08.400><c> return</c><00:03:08.580><c> from</c><00:03:09.060><c> the</c>

00:03:09.170 --> 00:03:09.180 align:start position:0%
and uh and one is to return from the
 

00:03:09.180 --> 00:03:13.490 align:start position:0%
and uh and one is to return from the
from<00:03:09.540><c> the</c><00:03:09.660><c> call</c><00:03:09.840><c> to</c><00:03:10.080><c> the</c><00:03:10.200><c> to</c><00:03:10.440><c> the</c><00:03:10.680><c> caller</c>

00:03:13.490 --> 00:03:13.500 align:start position:0%
 
 

00:03:13.500 --> 00:03:16.550 align:start position:0%
 
and<00:03:14.159><c> uh</c><00:03:14.459><c> this</c><00:03:14.879><c> like</c><00:03:15.420><c> um</c><00:03:15.420><c> the</c><00:03:15.780><c> calling</c><00:03:16.140><c> the</c>

00:03:16.550 --> 00:03:16.560 align:start position:0%
and uh this like um the calling the
 

00:03:16.560 --> 00:03:19.070 align:start position:0%
and uh this like um the calling the
functions<00:03:17.099><c> internally</c><00:03:17.519><c> works</c><00:03:18.180><c> like</c><00:03:18.300><c> allows</c>

00:03:19.070 --> 00:03:19.080 align:start position:0%
functions internally works like allows
 

00:03:19.080 --> 00:03:20.570 align:start position:0%
functions internally works like allows
you<00:03:19.140><c> to</c><00:03:19.319><c> move</c><00:03:19.440><c> you</c><00:03:19.620><c> between</c><00:03:19.980><c> the</c><00:03:20.340><c> different</c>

00:03:20.570 --> 00:03:20.580 align:start position:0%
you to move you between the different
 

00:03:20.580 --> 00:03:23.809 align:start position:0%
you to move you between the different
code<00:03:21.300><c> sections</c><00:03:21.840><c> in</c><00:03:22.739><c> the</c><00:03:22.860><c> code</c><00:03:23.040><c> sections</c><00:03:23.580><c> you</c>

00:03:23.809 --> 00:03:23.819 align:start position:0%
code sections in the code sections you
 

00:03:23.819 --> 00:03:27.710 align:start position:0%
code sections in the code sections you
can<00:03:23.879><c> use</c><00:03:24.120><c> uh</c><00:03:24.840><c> relative</c><00:03:25.319><c> relative</c><00:03:25.980><c> jumps</c><00:03:27.060><c> which</c>

00:03:27.710 --> 00:03:27.720 align:start position:0%
can use uh relative relative jumps which
 

00:03:27.720 --> 00:03:31.430 align:start position:0%
can use uh relative relative jumps which
would<00:03:27.900><c> replace</c><00:03:28.200><c> the</c><00:03:28.760><c> existing</c><00:03:29.760><c> Dynamic</c><00:03:30.360><c> jumps</c>

00:03:31.430 --> 00:03:31.440 align:start position:0%
would replace the existing Dynamic jumps
 

00:03:31.440 --> 00:03:34.190 align:start position:0%
would replace the existing Dynamic jumps
and<00:03:32.280><c> uh</c><00:03:32.640><c> yeah</c><00:03:32.940><c> so</c><00:03:33.180><c> this</c><00:03:33.480><c> is</c><00:03:33.540><c> the</c><00:03:33.780><c> the</c><00:03:34.019><c> control</c>

00:03:34.190 --> 00:03:34.200 align:start position:0%
and uh yeah so this is the the control
 

00:03:34.200 --> 00:03:36.530 align:start position:0%
and uh yeah so this is the the control
flow<00:03:34.739><c> instructions</c><00:03:35.340><c> that</c><00:03:35.700><c> will</c><00:03:36.060><c> allow</c><00:03:36.480><c> you</c>

00:03:36.530 --> 00:03:36.540 align:start position:0%
flow instructions that will allow you
 

00:03:36.540 --> 00:03:39.290 align:start position:0%
flow instructions that will allow you
move<00:03:36.780><c> it</c><00:03:37.019><c> around</c><00:03:37.319><c> in</c><00:03:37.739><c> the</c><00:03:37.980><c> code</c><00:03:38.099><c> sections</c>

00:03:39.290 --> 00:03:39.300 align:start position:0%
move it around in the code sections
 

00:03:39.300 --> 00:03:42.009 align:start position:0%
move it around in the code sections
and<00:03:40.019><c> it</c><00:03:40.620><c> won't</c><00:03:40.799><c> be</c><00:03:41.220><c> allowed</c><00:03:41.519><c> to</c><00:03:41.640><c> actually</c>

00:03:42.009 --> 00:03:42.019 align:start position:0%
and it won't be allowed to actually
 

00:03:42.019 --> 00:03:44.809 align:start position:0%
and it won't be allowed to actually
close<00:03:43.019><c> the</c><00:03:43.379><c> boundaries</c><00:03:43.799><c> of</c><00:03:44.099><c> the</c><00:03:44.280><c> of</c><00:03:44.580><c> the</c>

00:03:44.809 --> 00:03:44.819 align:start position:0%
close the boundaries of the of the
 

00:03:44.819 --> 00:03:46.850 align:start position:0%
close the boundaries of the of the
partitions

00:03:46.850 --> 00:03:46.860 align:start position:0%
partitions
 

00:03:46.860 --> 00:03:48.589 align:start position:0%
partitions
and<00:03:47.280><c> as</c><00:03:47.459><c> I</c><00:03:47.640><c> mentioned</c>

00:03:48.589 --> 00:03:48.599 align:start position:0%
and as I mentioned
 

00:03:48.599 --> 00:03:52.149 align:start position:0%
and as I mentioned
having<00:03:49.500><c> to</c><00:03:49.680><c> do</c><00:03:49.860><c> this</c><00:03:50.159><c> uh</c><00:03:50.700><c> control</c><00:03:51.000><c> flow</c>

00:03:52.149 --> 00:03:52.159 align:start position:0%
having to do this uh control flow
 

00:03:52.159 --> 00:03:55.130 align:start position:0%
having to do this uh control flow
features<00:03:53.159><c> we</c><00:03:53.700><c> can</c><00:03:53.819><c> deprecate</c><00:03:54.420><c> the</c><00:03:54.659><c> existing</c>

00:03:55.130 --> 00:03:55.140 align:start position:0%
features we can deprecate the existing
 

00:03:55.140 --> 00:03:57.670 align:start position:0%
features we can deprecate the existing
the<00:03:56.040><c> existing</c>

00:03:57.670 --> 00:03:57.680 align:start position:0%
the existing
 

00:03:57.680 --> 00:04:01.369 align:start position:0%
the existing
jumps<00:03:58.680><c> semantics</c><00:03:59.480><c> in</c><00:04:00.480><c> particular</c><00:04:00.840><c> this</c><00:04:01.200><c> is</c>

00:04:01.369 --> 00:04:01.379 align:start position:0%
jumps semantics in particular this is
 

00:04:01.379 --> 00:04:03.229 align:start position:0%
jumps semantics in particular this is
really<00:04:01.560><c> useful</c><00:04:01.980><c> because</c><00:04:02.280><c> we</c><00:04:02.640><c> can</c><00:04:02.760><c> drop</c><00:04:03.000><c> the</c>

00:04:03.229 --> 00:04:03.239 align:start position:0%
really useful because we can drop the
 

00:04:03.239 --> 00:04:05.270 align:start position:0%
really useful because we can drop the
jump<00:04:03.540><c> this</c><00:04:03.840><c> analysis</c><00:04:04.379><c> which</c><00:04:04.739><c> has</c><00:04:04.980><c> to</c><00:04:05.099><c> be</c>

00:04:05.270 --> 00:04:05.280 align:start position:0%
jump this analysis which has to be
 

00:04:05.280 --> 00:04:08.149 align:start position:0%
jump this analysis which has to be
performed<00:04:05.819><c> about</c><00:04:06.420><c> evm</c><00:04:07.080><c> programs</c><00:04:07.620><c> before</c>

00:04:08.149 --> 00:04:08.159 align:start position:0%
performed about evm programs before
 

00:04:08.159 --> 00:04:10.570 align:start position:0%
performed about evm programs before
every<00:04:08.459><c> execution</c>

00:04:10.570 --> 00:04:10.580 align:start position:0%
every execution
 

00:04:10.580 --> 00:04:14.809 align:start position:0%
every execution
and<00:04:11.580><c> if</c><00:04:12.180><c> we</c><00:04:12.360><c> kind</c><00:04:12.659><c> of</c><00:04:12.780><c> add</c><00:04:12.959><c> up</c><00:04:13.140><c> all</c><00:04:13.319><c> of</c><00:04:13.560><c> that</c><00:04:13.819><c> we</c>

00:04:14.809 --> 00:04:14.819 align:start position:0%
and if we kind of add up all of that we
 

00:04:14.819 --> 00:04:18.409 align:start position:0%
and if we kind of add up all of that we
can<00:04:15.380><c> with</c><00:04:16.380><c> additional</c><00:04:16.919><c> code</c><00:04:17.419><c> verification</c>

00:04:18.409 --> 00:04:18.419 align:start position:0%
can with additional code verification
 

00:04:18.419 --> 00:04:22.250 align:start position:0%
can with additional code verification
that<00:04:18.900><c> will</c><00:04:19.079><c> happen</c><00:04:19.400><c> we</c><00:04:20.400><c> can</c><00:04:20.519><c> eliminate</c><00:04:21.060><c> the</c>

00:04:22.250 --> 00:04:22.260 align:start position:0%
that will happen we can eliminate the
 

00:04:22.260 --> 00:04:29.570 align:start position:0%
that will happen we can eliminate the
this<00:04:22.680><c> like</c><00:04:22.979><c> first</c><00:04:23.820><c> three</c><00:04:24.380><c> checks</c><00:04:25.380><c> in</c><00:04:25.860><c> the</c><00:04:26.040><c> evm</c>

00:04:29.570 --> 00:04:29.580 align:start position:0%
 
 

00:04:29.580 --> 00:04:31.930 align:start position:0%
 
so<00:04:30.240><c> uh</c>

00:04:31.930 --> 00:04:31.940 align:start position:0%
so uh
 

00:04:31.940 --> 00:04:34.969 align:start position:0%
so uh
this<00:04:32.940><c> is</c><00:04:33.120><c> the</c><00:04:33.360><c> additional</c><00:04:33.960><c> aspect</c><00:04:34.560><c> that</c><00:04:34.800><c> can</c>

00:04:34.969 --> 00:04:34.979 align:start position:0%
this is the additional aspect that can
 

00:04:34.979 --> 00:04:36.770 align:start position:0%
this is the additional aspect that can
be<00:04:35.160><c> added</c><00:04:35.460><c> to</c><00:04:35.580><c> that</c><00:04:35.759><c> which</c><00:04:36.180><c> we</c><00:04:36.419><c> can</c><00:04:36.540><c> like</c>

00:04:36.770 --> 00:04:36.780 align:start position:0%
be added to that which we can like
 

00:04:36.780 --> 00:04:38.090 align:start position:0%
be added to that which we can like
verify

00:04:38.090 --> 00:04:38.100 align:start position:0%
verify
 

00:04:38.100 --> 00:04:40.490 align:start position:0%
verify
the<00:04:38.759><c> how</c><00:04:39.060><c> the</c><00:04:39.240><c> functions</c><00:04:39.600><c> behave</c><00:04:40.020><c> internally</c>

00:04:40.490 --> 00:04:40.500 align:start position:0%
the how the functions behave internally
 

00:04:40.500 --> 00:04:43.730 align:start position:0%
the how the functions behave internally
with<00:04:41.040><c> like</c><00:04:41.340><c> simple</c><00:04:41.580><c> algorithms</c><00:04:42.360><c> but</c>

00:04:43.730 --> 00:04:43.740 align:start position:0%
with like simple algorithms but
 

00:04:43.740 --> 00:04:45.890 align:start position:0%
with like simple algorithms but
um<00:04:43.800><c> to</c><00:04:44.340><c> sum</c><00:04:44.460><c> up</c><00:04:44.639><c> all</c><00:04:44.880><c> of</c><00:04:45.060><c> that</c>

00:04:45.890 --> 00:04:45.900 align:start position:0%
um to sum up all of that
 

00:04:45.900 --> 00:04:47.030 align:start position:0%
um to sum up all of that
um

00:04:47.030 --> 00:04:47.040 align:start position:0%
um
 

00:04:47.040 --> 00:04:50.030 align:start position:0%
um
uh<00:04:47.759><c> yeah</c><00:04:48.060><c> that's</c><00:04:48.300><c> kind</c><00:04:48.660><c> of</c><00:04:48.840><c> improved</c><00:04:49.800><c> version</c>

00:04:50.030 --> 00:04:50.040 align:start position:0%
uh yeah that's kind of improved version
 

00:04:50.040 --> 00:04:53.210 align:start position:0%
uh yeah that's kind of improved version
of<00:04:50.280><c> evm</c><00:04:50.820><c> that</c><00:04:51.180><c> has</c><00:04:51.720><c> some</c><00:04:52.139><c> nice</c><00:04:52.440><c> control</c><00:04:52.740><c> flow</c>

00:04:53.210 --> 00:04:53.220 align:start position:0%
of evm that has some nice control flow
 

00:04:53.220 --> 00:04:56.270 align:start position:0%
of evm that has some nice control flow
have<00:04:54.000><c> the</c><00:04:54.300><c> code</c><00:04:54.479><c> and</c><00:04:54.720><c> data</c><00:04:55.080><c> separation</c><00:04:55.440><c> and</c>

00:04:56.270 --> 00:04:56.280 align:start position:0%
have the code and data separation and
 

00:04:56.280 --> 00:04:59.090 align:start position:0%
have the code and data separation and
support<00:04:56.460><c> native</c><00:04:56.940><c> functions</c>

00:04:59.090 --> 00:04:59.100 align:start position:0%
support native functions
 

00:04:59.100 --> 00:05:01.310 align:start position:0%
support native functions
um

00:05:01.310 --> 00:05:01.320 align:start position:0%
 
 

00:05:01.320 --> 00:05:03.469 align:start position:0%
 
yeah<00:05:01.860><c> so</c><00:05:02.100><c> that's</c><00:05:02.340><c> that's</c><00:05:02.580><c> mostly</c><00:05:03.000><c> what</c><00:05:03.180><c> I</c><00:05:03.360><c> had</c>

00:05:03.469 --> 00:05:03.479 align:start position:0%
yeah so that's that's mostly what I had
 

00:05:03.479 --> 00:05:05.170 align:start position:0%
yeah so that's that's mostly what I had
to<00:05:03.660><c> to</c><00:05:03.960><c> show</c><00:05:04.199><c> you</c><00:05:04.320><c> today</c>

00:05:05.170 --> 00:05:05.180 align:start position:0%
to to show you today
 

00:05:05.180 --> 00:05:07.370 align:start position:0%
to to show you today
these<00:05:06.180><c> are</c><00:05:06.240><c> Pointers</c><00:05:06.720><c> when</c><00:05:06.900><c> you</c><00:05:07.080><c> can</c><00:05:07.199><c> find</c>

00:05:07.370 --> 00:05:07.380 align:start position:0%
these are Pointers when you can find
 

00:05:07.380 --> 00:05:10.129 align:start position:0%
these are Pointers when you can find
more<00:05:07.620><c> information</c><00:05:08.060><c> I</c><00:05:09.060><c> think</c><00:05:09.300><c> in</c><00:05:09.720><c> particular</c>

00:05:10.129 --> 00:05:10.139 align:start position:0%
more information I think in particular
 

00:05:10.139 --> 00:05:13.249 align:start position:0%
more information I think in particular
the<00:05:10.620><c> the</c><00:05:10.860><c> FCC</c><00:05:11.400><c> talk</c><00:05:11.880><c> from</c><00:05:12.300><c> this</c><00:05:12.540><c> year</c><00:05:12.780><c> it's</c>

00:05:13.249 --> 00:05:13.259 align:start position:0%
the the FCC talk from this year it's
 

00:05:13.259 --> 00:05:14.990 align:start position:0%
the the FCC talk from this year it's
kind<00:05:13.500><c> of</c><00:05:13.620><c> the</c><00:05:13.800><c> extended</c><00:05:14.220><c> version</c><00:05:14.460><c> of</c><00:05:14.759><c> this</c>

00:05:14.990 --> 00:05:15.000 align:start position:0%
kind of the extended version of this
 

00:05:15.000 --> 00:05:19.310 align:start position:0%
kind of the extended version of this
talk<00:05:15.180><c> so</c><00:05:15.919><c> uh</c><00:05:16.919><c> yeah</c><00:05:17.220><c> you're</c><00:05:17.720><c> invited</c><00:05:18.720><c> to</c><00:05:18.900><c> to</c><00:05:19.080><c> see</c>

00:05:19.310 --> 00:05:19.320 align:start position:0%
talk so uh yeah you're invited to to see
 

00:05:19.320 --> 00:05:22.909 align:start position:0%
talk so uh yeah you're invited to to see
it<00:05:19.500><c> after</c><00:05:20.220><c> it</c><00:05:21.000><c> um</c>

00:05:22.909 --> 00:05:22.919 align:start position:0%
it after it um
 

00:05:22.919 --> 00:05:25.850 align:start position:0%
it after it um
and<00:05:23.639><c> yeah</c><00:05:23.940><c> the</c><00:05:24.240><c> the</c><00:05:24.240><c> five</c><00:05:24.780><c> bullet</c><00:05:25.440><c> points</c><00:05:25.740><c> in</c>

00:05:25.850 --> 00:05:25.860 align:start position:0%
and yeah the the five bullet points in
 

00:05:25.860 --> 00:05:27.590 align:start position:0%
and yeah the the five bullet points in
the<00:05:25.979><c> end</c><00:05:26.100><c> are</c><00:05:26.340><c> that</c><00:05:26.520><c> all</c><00:05:26.699><c> the</c><00:05:26.820><c> aps</c><00:05:27.240><c> that</c><00:05:27.479><c> kind</c>

00:05:27.590 --> 00:05:27.600 align:start position:0%
the end are that all the aps that kind
 

00:05:27.600 --> 00:05:30.350 align:start position:0%
the end are that all the aps that kind
of<00:05:27.720><c> specify</c><00:05:28.259><c> the</c><00:05:28.740><c> the</c><00:05:29.100><c> the</c><00:05:29.220><c> broad</c><00:05:29.699><c> aspect</c><00:05:30.120><c> of</c>

00:05:30.350 --> 00:05:30.360 align:start position:0%
of specify the the the broad aspect of
 

00:05:30.360 --> 00:05:33.950 align:start position:0%
of specify the the the broad aspect of
of<00:05:30.900><c> eof</c>

00:05:33.950 --> 00:05:33.960 align:start position:0%
 
 

00:05:33.960 --> 00:05:36.650 align:start position:0%
 
yeah<00:05:34.500><c> I</c><00:05:34.620><c> still</c><00:05:34.800><c> have</c><00:05:34.919><c> one</c><00:05:35.160><c> minute</c><00:05:35.340><c> so</c><00:05:35.880><c> if</c><00:05:36.600><c> you</c>

00:05:36.650 --> 00:05:36.660 align:start position:0%
yeah I still have one minute so if you
 

00:05:36.660 --> 00:05:38.210 align:start position:0%
yeah I still have one minute so if you
want<00:05:36.840><c> you</c><00:05:37.020><c> can</c><00:05:37.199><c> shout</c><00:05:37.320><c> some</c><00:05:37.680><c> questions</c><00:05:37.860><c> from</c>

00:05:38.210 --> 00:05:38.220 align:start position:0%
want you can shout some questions from
 

00:05:38.220 --> 00:05:45.350 align:start position:0%
want you can shout some questions from
the<00:05:38.400><c> audience</c>

00:05:45.350 --> 00:05:45.360 align:start position:0%
 
 

00:05:45.360 --> 00:05:47.450 align:start position:0%
 
that's<00:05:45.660><c> hard</c><00:05:45.960><c> question</c><00:05:46.320><c> I</c><00:05:46.680><c> mean</c><00:05:46.860><c> we're</c><00:05:47.220><c> kind</c>

00:05:47.450 --> 00:05:47.460 align:start position:0%
that's hard question I mean we're kind
 

00:05:47.460 --> 00:05:50.029 align:start position:0%
that's hard question I mean we're kind
of<00:05:47.580><c> competing</c><00:05:48.000><c> with</c><00:05:48.300><c> the</c><00:05:48.720><c> like</c><00:05:49.259><c> proto-dunk</c>

00:05:50.029 --> 00:05:50.039 align:start position:0%
of competing with the like proto-dunk
 

00:05:50.039 --> 00:05:52.670 align:start position:0%
of competing with the like proto-dunk
Shard<00:05:50.280><c> link</c><00:05:50.400><c> and</c><00:05:50.759><c> withdrawals</c><00:05:51.419><c> right</c><00:05:51.660><c> now</c>

00:05:52.670 --> 00:05:52.680 align:start position:0%
Shard link and withdrawals right now
 

00:05:52.680 --> 00:05:55.430 align:start position:0%
Shard link and withdrawals right now
um<00:05:52.800><c> so</c><00:05:53.520><c> yeah</c><00:05:54.000><c> it's</c><00:05:54.600><c> it's</c><00:05:54.840><c> hard</c><00:05:55.080><c> to</c><00:05:55.199><c> tell</c>

00:05:55.430 --> 00:05:55.440 align:start position:0%
um so yeah it's it's hard to tell
 

00:05:55.440 --> 00:05:58.510 align:start position:0%
um so yeah it's it's hard to tell
actually<00:05:55.880><c> uh</c><00:05:56.880><c> some</c><00:05:57.120><c> of</c><00:05:57.300><c> these</c><00:05:57.479><c> aspects</c><00:05:57.840><c> were</c>

00:05:58.510 --> 00:05:58.520 align:start position:0%
actually uh some of these aspects were
 

00:05:58.520 --> 00:06:01.730 align:start position:0%
actually uh some of these aspects were
prepared<00:05:59.520><c> for</c><00:05:59.820><c> uh</c><00:06:00.240><c> for</c><00:06:00.539><c> Shanghai</c><00:06:01.080><c> but</c><00:06:01.440><c> not</c>

00:06:01.730 --> 00:06:01.740 align:start position:0%
prepared for uh for Shanghai but not
 

00:06:01.740 --> 00:06:04.430 align:start position:0%
prepared for uh for Shanghai but not
like<00:06:01.979><c> not</c><00:06:02.580><c> all</c><00:06:02.820><c> of</c><00:06:02.940><c> the</c><00:06:03.120><c> features</c><00:06:03.479><c> I</c><00:06:03.840><c> I</c><00:06:04.080><c> talked</c>

00:06:04.430 --> 00:06:04.440 align:start position:0%
like not all of the features I I talked
 

00:06:04.440 --> 00:06:06.469 align:start position:0%
like not all of the features I I talked
about<00:06:04.560><c> today</c>

00:06:06.469 --> 00:06:06.479 align:start position:0%
about today
 

00:06:06.479 --> 00:06:11.650 align:start position:0%
about today
foreign

00:06:11.650 --> 00:06:11.660 align:start position:0%
 
 

00:06:11.660 --> 00:06:15.110 align:start position:0%
 
so<00:06:12.660><c> in</c><00:06:12.840><c> one</c><00:06:13.020><c> of</c><00:06:13.139><c> the</c><00:06:13.259><c> slides</c><00:06:13.560><c> you</c><00:06:13.680><c> said</c><00:06:13.979><c> you</c><00:06:14.520><c> you</c>

00:06:15.110 --> 00:06:15.120 align:start position:0%
so in one of the slides you said you you
 

00:06:15.120 --> 00:06:17.570 align:start position:0%
so in one of the slides you said you you
you<00:06:15.300><c> strike</c><00:06:16.139><c> through</c><00:06:16.740><c> um</c><00:06:16.740><c> stack</c><00:06:17.100><c> on</c><00:06:17.340><c> the</c><00:06:17.400><c> floor</c>

00:06:17.570 --> 00:06:17.580 align:start position:0%
you strike through um stack on the floor
 

00:06:17.580 --> 00:06:20.090 align:start position:0%
you strike through um stack on the floor
and<00:06:17.759><c> stack</c><00:06:17.940><c> overflow</c><00:06:18.780><c> uh</c><00:06:19.380><c> and</c><00:06:19.500><c> we</c><00:06:19.680><c> get</c><00:06:19.860><c> busy</c>

00:06:20.090 --> 00:06:20.100 align:start position:0%
and stack overflow uh and we get busy
 

00:06:20.100 --> 00:06:22.189 align:start position:0%
and stack overflow uh and we get busy
yeah<00:06:20.280><c> this</c><00:06:20.580><c> one</c><00:06:20.759><c> and</c><00:06:21.060><c> only</c>

00:06:22.189 --> 00:06:22.199 align:start position:0%
yeah this one and only
 

00:06:22.199 --> 00:06:23.990 align:start position:0%
yeah this one and only
okay<00:06:22.620><c> can</c><00:06:22.860><c> you</c><00:06:22.979><c> give</c><00:06:23.039><c> me</c><00:06:23.220><c> uh</c><00:06:23.460><c> can</c><00:06:23.699><c> you</c><00:06:23.759><c> give</c><00:06:23.880><c> a</c>

00:06:23.990 --> 00:06:24.000 align:start position:0%
okay can you give me uh can you give a
 

00:06:24.000 --> 00:06:26.090 align:start position:0%
okay can you give me uh can you give a
bit<00:06:24.060><c> more</c><00:06:24.180><c> details</c><00:06:24.600><c> around</c><00:06:24.720><c> that</c><00:06:25.020><c> yeah</c><00:06:25.800><c> this</c>

00:06:26.090 --> 00:06:26.100 align:start position:0%
bit more details around that yeah this
 

00:06:26.100 --> 00:06:28.909 align:start position:0%
bit more details around that yeah this
is<00:06:26.220><c> done</c><00:06:26.520><c> by</c><00:06:27.000><c> code</c><00:06:27.360><c> validation</c><00:06:28.020><c> so</c><00:06:28.620><c> when</c><00:06:28.800><c> you</c>

00:06:28.909 --> 00:06:28.919 align:start position:0%
is done by code validation so when you
 

00:06:28.919 --> 00:06:31.430 align:start position:0%
is done by code validation so when you
want<00:06:29.039><c> to</c><00:06:29.160><c> deploy</c><00:06:29.460><c> a</c><00:06:29.639><c> code</c><00:06:29.900><c> it</c><00:06:30.900><c> will</c><00:06:31.020><c> go</c><00:06:31.199><c> through</c>

00:06:31.430 --> 00:06:31.440 align:start position:0%
want to deploy a code it will go through
 

00:06:31.440 --> 00:06:33.529 align:start position:0%
want to deploy a code it will go through
additional<00:06:31.919><c> validation</c><00:06:32.460><c> process</c>

00:06:33.529 --> 00:06:33.539 align:start position:0%
additional validation process
 

00:06:33.539 --> 00:06:35.629 align:start position:0%
additional validation process
and<00:06:34.139><c> in</c><00:06:34.319><c> particular</c><00:06:34.740><c> when</c><00:06:35.039><c> you</c><00:06:35.220><c> don't</c><00:06:35.340><c> have</c>

00:06:35.629 --> 00:06:35.639 align:start position:0%
and in particular when you don't have
 

00:06:35.639 --> 00:06:38.450 align:start position:0%
and in particular when you don't have
Dynamic<00:06:36.180><c> jumps</c><00:06:36.539><c> you</c><00:06:36.840><c> can</c><00:06:36.960><c> you</c><00:06:37.680><c> can</c><00:06:37.860><c> statically</c>

00:06:38.450 --> 00:06:38.460 align:start position:0%
Dynamic jumps you can you can statically
 

00:06:38.460 --> 00:06:41.450 align:start position:0%
Dynamic jumps you can you can statically
check<00:06:38.759><c> if</c><00:06:39.419><c> the</c><00:06:39.780><c> if</c><00:06:40.259><c> the</c><00:06:40.500><c> function</c><00:06:40.860><c> will</c><00:06:41.220><c> never</c>

00:06:41.450 --> 00:06:41.460 align:start position:0%
check if the if the function will never
 

00:06:41.460 --> 00:06:45.170 align:start position:0%
check if the if the function will never
stack<00:06:42.380><c> underflow</c><00:06:43.380><c> and</c><00:06:44.100><c> stack</c><00:06:44.400><c> Overflow</c><00:06:44.819><c> is</c><00:06:45.000><c> a</c>

00:06:45.170 --> 00:06:45.180 align:start position:0%
stack underflow and stack Overflow is a
 

00:06:45.180 --> 00:06:47.510 align:start position:0%
stack underflow and stack Overflow is a
bit<00:06:45.240><c> more</c><00:06:45.419><c> complicated</c><00:06:45.900><c> but</c><00:06:46.740><c> you</c><00:06:46.860><c> can</c><00:06:47.039><c> compute</c>

00:06:47.510 --> 00:06:47.520 align:start position:0%
bit more complicated but you can compute
 

00:06:47.520 --> 00:06:49.670 align:start position:0%
bit more complicated but you can compute
like<00:06:47.699><c> the</c><00:06:48.000><c> maximum</c><00:06:48.479><c> stack</c><00:06:48.780><c> height</c><00:06:48.960><c> the</c>

00:06:49.670 --> 00:06:49.680 align:start position:0%
like the maximum stack height the
 

00:06:49.680 --> 00:06:52.129 align:start position:0%
like the maximum stack height the
function<00:06:49.979><c> reaches</c><00:06:50.520><c> and</c><00:06:51.360><c> then</c><00:06:51.479><c> whenever</c><00:06:51.840><c> you</c>

00:06:52.129 --> 00:06:52.139 align:start position:0%
function reaches and then whenever you
 

00:06:52.139 --> 00:06:54.110 align:start position:0%
function reaches and then whenever you
call<00:06:52.259><c> the</c><00:06:52.500><c> function</c><00:06:52.800><c> you</c><00:06:53.400><c> can</c><00:06:53.520><c> check</c><00:06:53.699><c> if</c><00:06:53.940><c> you</c>

00:06:54.110 --> 00:06:54.120 align:start position:0%
call the function you can check if you
 

00:06:54.120 --> 00:06:56.409 align:start position:0%
call the function you can check if you
still<00:06:54.300><c> have</c><00:06:54.539><c> enough</c><00:06:54.960><c> stack</c><00:06:55.680><c> space</c><00:06:55.860><c> available</c>

00:06:56.409 --> 00:06:56.419 align:start position:0%
still have enough stack space available
 

00:06:56.419 --> 00:06:59.150 align:start position:0%
still have enough stack space available
so<00:06:57.419><c> that's</c><00:06:57.720><c> the</c><00:06:57.960><c> the</c><00:06:58.139><c> second</c><00:06:58.380><c> one</c><00:06:58.680><c> is</c><00:06:58.919><c> a</c><00:06:59.039><c> bit</c>

00:06:59.150 --> 00:06:59.160 align:start position:0%
so that's the the second one is a bit
 

00:06:59.160 --> 00:07:02.689 align:start position:0%
so that's the the second one is a bit
more<00:06:59.400><c> complex</c><00:06:59.759><c> and</c><00:07:00.479><c> it</c><00:07:01.080><c> has</c><00:07:01.319><c> some</c><00:07:01.800><c> uh</c>

00:07:02.689 --> 00:07:02.699 align:start position:0%
more complex and it has some uh
 

00:07:02.699 --> 00:07:04.790 align:start position:0%
more complex and it has some uh
trade-offs

00:07:04.790 --> 00:07:04.800 align:start position:0%
trade-offs
 

00:07:04.800 --> 00:07:07.309 align:start position:0%
trade-offs
um I<00:07:05.039><c> think</c><00:07:05.220><c> it's</c><00:07:05.400><c> it's</c><00:07:05.880><c> my</c><00:07:06.419><c> time</c><00:07:06.660><c> so</c><00:07:06.960><c> thank</c>

00:07:07.309 --> 00:07:07.319 align:start position:0%
um I think it's it's my time so thank
 

00:07:07.319 --> 00:07:10.280 align:start position:0%
um I think it's it's my time so thank
you<00:07:07.440><c> very</c><00:07:07.560><c> much</c><00:07:07.740><c> thank</c><00:07:08.160><c> you</c>