WEBVTT
Kind: captions
Language: en

00:00:01.160 --> 00:00:06.690 align:start position:0%
 
[Music]

00:00:06.690 --> 00:00:06.700 align:start position:0%
 
 

00:00:06.700 --> 00:00:10.150 align:start position:0%
 
[Music]

00:00:10.150 --> 00:00:10.160 align:start position:0%
[Music]
 

00:00:10.160 --> 00:00:11.870 align:start position:0%
[Music]
hi<00:00:10.440><c> thank</c><00:00:10.599><c> you</c><00:00:10.719><c> MOS</c><00:00:11.080><c> for</c><00:00:11.240><c> the</c><00:00:11.400><c> presentation</c>

00:00:11.870 --> 00:00:11.880 align:start position:0%
hi thank you MOS for the presentation
 

00:00:11.880 --> 00:00:14.190 align:start position:0%
hi thank you MOS for the presentation
and<00:00:12.080><c> thank</c><00:00:12.240><c> you</c><00:00:12.639><c> everybody</c><00:00:13.040><c> for</c><00:00:13.320><c> coming</c><00:00:14.040><c> my</c>

00:00:14.190 --> 00:00:14.200 align:start position:0%
and thank you everybody for coming my
 

00:00:14.200 --> 00:00:17.029 align:start position:0%
and thank you everybody for coming my
name<00:00:14.360><c> is</c><00:00:14.480><c> ignazi</c><00:00:14.920><c> Ramos</c><00:00:15.480><c> I</c><00:00:15.679><c> work</c><00:00:16.039><c> at</c><00:00:16.480><c> polygon</c>

00:00:17.029 --> 00:00:17.039 align:start position:0%
name is ignazi Ramos I work at polygon
 

00:00:17.039 --> 00:00:19.510 align:start position:0%
name is ignazi Ramos I work at polygon
at<00:00:17.199><c> the</c><00:00:17.400><c> protocol</c><00:00:17.840><c> team</c><00:00:18.640><c> and</c><00:00:18.760><c> today</c><00:00:19.080><c> I</c><00:00:19.160><c> will</c><00:00:19.320><c> be</c>

00:00:19.510 --> 00:00:19.520 align:start position:0%
at the protocol team and today I will be
 

00:00:19.520 --> 00:00:21.310 align:start position:0%
at the protocol team and today I will be
presenting<00:00:20.039><c> what</c><00:00:20.199><c> the</c><00:00:20.320><c> frog</c><00:00:20.840><c> is</c><00:00:21.080><c> the</c>

00:00:21.310 --> 00:00:21.320 align:start position:0%
presenting what the frog is the
 

00:00:21.320 --> 00:00:23.870 align:start position:0%
presenting what the frog is the
pessimistic<00:00:21.960><c> proof</c><00:00:22.960><c> but</c><00:00:23.320><c> before</c><00:00:23.560><c> going</c>

00:00:23.870 --> 00:00:23.880 align:start position:0%
pessimistic proof but before going
 

00:00:23.880 --> 00:00:25.790 align:start position:0%
pessimistic proof but before going
straight<00:00:24.160><c> to</c><00:00:24.320><c> the</c><00:00:24.519><c> pessimistic</c><00:00:25.039><c> proof</c><00:00:25.480><c> let</c><00:00:25.599><c> me</c>

00:00:25.790 --> 00:00:25.800 align:start position:0%
straight to the pessimistic proof let me
 

00:00:25.800 --> 00:00:28.150 align:start position:0%
straight to the pessimistic proof let me
give<00:00:25.960><c> you</c><00:00:26.320><c> a</c><00:00:26.480><c> bit</c><00:00:26.640><c> of</c>

00:00:28.150 --> 00:00:28.160 align:start position:0%
give you a bit of
 

00:00:28.160 --> 00:00:30.669 align:start position:0%
give you a bit of
context<00:00:29.160><c> and</c><00:00:29.320><c> nowaday</c><00:00:29.800><c> one</c><00:00:30.039><c> of</c><00:00:30.160><c> the</c><00:00:30.320><c> problems</c>

00:00:30.669 --> 00:00:30.679 align:start position:0%
context and nowaday one of the problems
 

00:00:30.679 --> 00:00:32.749 align:start position:0%
context and nowaday one of the problems
of<00:00:31.000><c> of</c><00:00:31.160><c> blockchain</c><00:00:31.679><c> not</c><00:00:31.840><c> being</c><00:00:32.079><c> mainstream</c><00:00:32.640><c> in</c>

00:00:32.749 --> 00:00:32.759 align:start position:0%
of of blockchain not being mainstream in
 

00:00:32.759 --> 00:00:35.110 align:start position:0%
of of blockchain not being mainstream in
my<00:00:32.960><c> opinion</c><00:00:33.360><c> is</c><00:00:33.680><c> the</c><00:00:33.920><c> the</c><00:00:34.120><c> fragmentation</c>

00:00:35.110 --> 00:00:35.120 align:start position:0%
my opinion is the the fragmentation
 

00:00:35.120 --> 00:00:36.670 align:start position:0%
my opinion is the the fragmentation
there<00:00:35.239><c> are</c><00:00:35.320><c> a</c><00:00:35.440><c> lot</c><00:00:35.600><c> of</c><00:00:35.760><c> good</c><00:00:36.040><c> projects</c><00:00:36.520><c> and</c>

00:00:36.670 --> 00:00:36.680 align:start position:0%
there are a lot of good projects and
 

00:00:36.680 --> 00:00:39.110 align:start position:0%
there are a lot of good projects and
they<00:00:36.840><c> have</c><00:00:36.960><c> to</c><00:00:37.120><c> deploy</c><00:00:37.960><c> in</c><00:00:38.200><c> all</c><00:00:38.399><c> the</c><00:00:38.559><c> chains</c>

00:00:39.110 --> 00:00:39.120 align:start position:0%
they have to deploy in all the chains
 

00:00:39.120 --> 00:00:41.389 align:start position:0%
they have to deploy in all the chains
but<00:00:39.280><c> the</c><00:00:39.440><c> worst</c><00:00:39.719><c> thing</c><00:00:39.960><c> is</c><00:00:40.200><c> that</c><00:00:40.760><c> for</c><00:00:40.960><c> the</c><00:00:41.079><c> user</c>

00:00:41.389 --> 00:00:41.399 align:start position:0%
but the worst thing is that for the user
 

00:00:41.399 --> 00:00:43.590 align:start position:0%
but the worst thing is that for the user
experience<00:00:41.879><c> this</c><00:00:42.000><c> is</c><00:00:42.280><c> like</c><00:00:42.520><c> very</c><00:00:42.800><c> very</c><00:00:43.000><c> bad</c>

00:00:43.590 --> 00:00:43.600 align:start position:0%
experience this is like very very bad
 

00:00:43.600 --> 00:00:45.549 align:start position:0%
experience this is like very very bad
because<00:00:43.879><c> they</c><00:00:44.039><c> may</c><00:00:44.200><c> want</c><00:00:44.440><c> to</c><00:00:44.600><c> use</c><00:00:44.879><c> for</c><00:00:45.360><c> one</c>

00:00:45.549 --> 00:00:45.559 align:start position:0%
because they may want to use for one
 

00:00:45.559 --> 00:00:48.830 align:start position:0%
because they may want to use for one
reason<00:00:46.199><c> or</c><00:00:46.399><c> another</c><00:00:46.800><c> or</c><00:00:47.160><c> or</c><00:00:47.680><c> or</c><00:00:47.879><c> another</c><00:00:48.640><c> more</c>

00:00:48.830 --> 00:00:48.840 align:start position:0%
reason or another or or or another more
 

00:00:48.840 --> 00:00:50.869 align:start position:0%
reason or another or or or another more
than<00:00:49.039><c> one</c><00:00:49.239><c> chain</c><00:00:49.680><c> Two</c><00:00:49.920><c> Chains</c><00:00:50.520><c> whatever</c>

00:00:50.869 --> 00:00:50.879 align:start position:0%
than one chain Two Chains whatever
 

00:00:50.879 --> 00:00:51.910 align:start position:0%
than one chain Two Chains whatever
number<00:00:51.160><c> of</c>

00:00:51.910 --> 00:00:51.920 align:start position:0%
number of
 

00:00:51.920 --> 00:00:54.349 align:start position:0%
number of
chains<00:00:52.920><c> so</c><00:00:53.239><c> if</c><00:00:53.359><c> they</c><00:00:53.480><c> want</c><00:00:53.640><c> to</c><00:00:53.719><c> move</c><00:00:54.039><c> assets</c>

00:00:54.349 --> 00:00:54.359 align:start position:0%
chains so if they want to move assets
 

00:00:54.359 --> 00:00:56.189 align:start position:0%
chains so if they want to move assets
from<00:00:54.520><c> one</c><00:00:54.640><c> chain</c><00:00:54.920><c> to</c><00:00:55.079><c> another</c><00:00:55.399><c> one</c><00:00:56.000><c> sometimes</c>

00:00:56.189 --> 00:00:56.199 align:start position:0%
from one chain to another one sometimes
 

00:00:56.199 --> 00:00:58.069 align:start position:0%
from one chain to another one sometimes
there<00:00:56.320><c> are</c><00:00:56.480><c> delays</c><00:00:57.399><c> some</c><00:00:57.559><c> sometimes</c><00:00:57.719><c> it's</c>

00:00:58.069 --> 00:00:58.079 align:start position:0%
there are delays some sometimes it's
 

00:00:58.079 --> 00:01:00.590 align:start position:0%
there are delays some sometimes it's
difficult<00:00:58.239><c> to</c><00:00:58.440><c> track</c><00:00:59.120><c> hike</c><00:00:59.440><c> fees</c><00:01:00.239><c> they</c><00:01:00.440><c> have</c>

00:01:00.590 --> 00:01:00.600 align:start position:0%
difficult to track hike fees they have
 

00:01:00.600 --> 00:01:03.349 align:start position:0%
difficult to track hike fees they have
to<00:01:00.840><c> wait</c><00:01:01.079><c> a</c><00:01:01.239><c> lot</c><00:01:02.120><c> this</c><00:01:02.239><c> is</c><00:01:02.519><c> why</c><00:01:03.000><c> um</c><00:01:03.160><c> from</c>

00:01:03.349 --> 00:01:03.359 align:start position:0%
to wait a lot this is why um from
 

00:01:03.359 --> 00:01:05.149 align:start position:0%
to wait a lot this is why um from
polygon<00:01:03.840><c> we</c>

00:01:05.149 --> 00:01:05.159 align:start position:0%
polygon we
 

00:01:05.159 --> 00:01:09.230 align:start position:0%
polygon we
propose<00:01:06.159><c> the</c><00:01:06.400><c> aggregation</c>

00:01:09.230 --> 00:01:09.240 align:start position:0%
 
 

00:01:09.240 --> 00:01:11.789 align:start position:0%
 
layer<00:01:10.240><c> the</c><00:01:10.360><c> agregation</c><00:01:10.920><c> layer</c><00:01:11.320><c> connects</c>

00:01:11.789 --> 00:01:11.799 align:start position:0%
layer the agregation layer connects
 

00:01:11.799 --> 00:01:13.710 align:start position:0%
layer the agregation layer connects
Sovereign<00:01:12.200><c> chains</c><00:01:12.640><c> together</c><00:01:13.119><c> unifying</c>

00:01:13.710 --> 00:01:13.720 align:start position:0%
Sovereign chains together unifying
 

00:01:13.720 --> 00:01:16.550 align:start position:0%
Sovereign chains together unifying
liquidity<00:01:14.560><c> users</c><00:01:15.080><c> and</c><00:01:15.320><c> state</c><00:01:16.080><c> but</c><00:01:16.280><c> with</c><00:01:16.400><c> the</c>

00:01:16.550 --> 00:01:16.560 align:start position:0%
liquidity users and state but with the
 

00:01:16.560 --> 00:01:19.870 align:start position:0%
liquidity users and state but with the
feel<00:01:17.000><c> of</c><00:01:17.159><c> a</c><00:01:17.320><c> single</c><00:01:17.640><c> chain</c><00:01:18.240><c> a</c><00:01:18.400><c> multi-chain</c><00:01:19.320><c> web</c>

00:01:19.870 --> 00:01:19.880 align:start position:0%
feel of a single chain a multi-chain web
 

00:01:19.880 --> 00:01:21.990 align:start position:0%
feel of a single chain a multi-chain web
that<00:01:20.040><c> is</c><00:01:20.200><c> better</c><00:01:20.479><c> for</c><00:01:20.640><c> the</c><00:01:20.799><c> user</c><00:01:21.119><c> experience</c>

00:01:21.990 --> 00:01:22.000 align:start position:0%
that is better for the user experience
 

00:01:22.000 --> 00:01:23.990 align:start position:0%
that is better for the user experience
better<00:01:22.280><c> for</c><00:01:22.479><c> Network</c><00:01:23.079><c> effects</c><00:01:23.520><c> and</c><00:01:23.680><c> better</c>

00:01:23.990 --> 00:01:24.000 align:start position:0%
better for Network effects and better
 

00:01:24.000 --> 00:01:26.789 align:start position:0%
better for Network effects and better
for<00:01:24.400><c> security</c><00:01:25.400><c> we</c><00:01:25.560><c> think</c><00:01:25.799><c> for</c><00:01:26.000><c> example</c><00:01:26.479><c> like</c>

00:01:26.789 --> 00:01:26.799 align:start position:0%
for security we think for example like
 

00:01:26.799 --> 00:01:29.510 align:start position:0%
for security we think for example like
internet<00:01:27.680><c> well</c><00:01:28.159><c> where</c><00:01:28.479><c> everything</c><00:01:28.880><c> is</c><00:01:29.079><c> built</c>

00:01:29.510 --> 00:01:29.520 align:start position:0%
internet well where everything is built
 

00:01:29.520 --> 00:01:31.469 align:start position:0%
internet well where everything is built
at<00:01:29.640><c> the</c><00:01:29.759><c> top</c><00:01:29.960><c> top</c><00:01:30.079><c> of</c><00:01:30.200><c> the</c><00:01:30.280><c> same</c><00:01:30.520><c> protocol</c><00:01:31.280><c> the</c>

00:01:31.469 --> 00:01:31.479 align:start position:0%
at the top top of the same protocol the
 

00:01:31.479 --> 00:01:34.310 align:start position:0%
at the top top of the same protocol the
TCP<00:01:32.399><c> IP</c><00:01:33.079><c> in</c><00:01:33.200><c> the</c><00:01:33.320><c> aggregation</c><00:01:33.759><c> layer</c><00:01:34.079><c> we</c><00:01:34.200><c> will</c>

00:01:34.310 --> 00:01:34.320 align:start position:0%
TCP IP in the aggregation layer we will
 

00:01:34.320 --> 00:01:36.670 align:start position:0%
TCP IP in the aggregation layer we will
be<00:01:34.479><c> aggregating</c><00:01:35.000><c> chain</c><00:01:35.320><c> in</c><00:01:35.439><c> a</c><00:01:35.600><c> unified</c><00:01:36.119><c> bridge</c>

00:01:36.670 --> 00:01:36.680 align:start position:0%
be aggregating chain in a unified bridge
 

00:01:36.680 --> 00:01:39.310 align:start position:0%
be aggregating chain in a unified bridge
and<00:01:36.840><c> they</c><00:01:37.320><c> not</c><00:01:37.600><c> have</c><00:01:37.880><c> to</c><00:01:37.960><c> be</c><00:01:38.159><c> only</c><00:01:38.600><c> evbm</c><00:01:39.000><c> chain</c>

00:01:39.310 --> 00:01:39.320 align:start position:0%
and they not have to be only evbm chain
 

00:01:39.320 --> 00:01:41.389 align:start position:0%
and they not have to be only evbm chain
compatibles<00:01:40.240><c> they</c><00:01:40.399><c> can</c><00:01:40.560><c> only</c><00:01:40.799><c> be</c><00:01:41.040><c> like</c><00:01:41.280><c> what</c>

00:01:41.389 --> 00:01:41.399 align:start position:0%
compatibles they can only be like what
 

00:01:41.399 --> 00:01:43.789 align:start position:0%
compatibles they can only be like what
we<00:01:41.560><c> call</c><00:01:41.720><c> Sovereign</c><00:01:42.079><c> chains</c><00:01:42.399><c> for</c><00:01:42.560><c> example</c><00:01:43.240><c> a</c>

00:01:43.789 --> 00:01:43.799 align:start position:0%
we call Sovereign chains for example a
 

00:01:43.799 --> 00:01:46.469 align:start position:0%
we call Sovereign chains for example a
Solana<00:01:44.799><c> whatever</c><00:01:45.119><c> chain</c><00:01:45.439><c> that</c><00:01:45.719><c> they</c><00:01:45.960><c> maintain</c>

00:01:46.469 --> 00:01:46.479 align:start position:0%
Solana whatever chain that they maintain
 

00:01:46.479 --> 00:01:48.830 align:start position:0%
Solana whatever chain that they maintain
like<00:01:46.680><c> an</c><00:01:46.920><c> state</c><00:01:47.399><c> of</c><00:01:47.600><c> their</c>

00:01:48.830 --> 00:01:48.840 align:start position:0%
like an state of their
 

00:01:48.840 --> 00:01:51.469 align:start position:0%
like an state of their
balances<00:01:49.840><c> but</c><00:01:50.240><c> with</c><00:01:50.439><c> this</c><00:01:50.640><c> system</c><00:01:51.000><c> there</c><00:01:51.119><c> is</c><00:01:51.280><c> a</c>

00:01:51.469 --> 00:01:51.479 align:start position:0%
balances but with this system there is a
 

00:01:51.479 --> 00:01:53.670 align:start position:0%
balances but with this system there is a
problem<00:01:52.159><c> what</c><00:01:52.360><c> happen</c><00:01:53.040><c> if</c><00:01:53.240><c> one</c><00:01:53.399><c> of</c><00:01:53.520><c> these</c>

00:01:53.670 --> 00:01:53.680 align:start position:0%
problem what happen if one of these
 

00:01:53.680 --> 00:01:56.190 align:start position:0%
problem what happen if one of these
change<00:01:54.040><c> is</c><00:01:54.240><c> compromised</c><00:01:55.000><c> what</c><00:01:55.159><c> happen</c><00:01:55.520><c> if</c><00:01:56.079><c> one</c>

00:01:56.190 --> 00:01:56.200 align:start position:0%
change is compromised what happen if one
 

00:01:56.200 --> 00:01:58.590 align:start position:0%
change is compromised what happen if one
of<00:01:56.320><c> these</c><00:01:56.479><c> chains</c><00:01:56.799><c> has</c><00:01:56.920><c> a</c><00:01:57.119><c> back</c><00:01:57.799><c> that</c><00:01:58.200><c> the</c>

00:01:58.590 --> 00:01:58.600 align:start position:0%
of these chains has a back that the
 

00:01:58.600 --> 00:02:01.630 align:start position:0%
of these chains has a back that the
bridge<00:01:59.280><c> gets</c><00:01:59.920><c> brain</c><00:02:00.920><c> what</c><00:02:01.039><c> will</c><00:02:01.240><c> happen</c><00:02:01.479><c> is</c>

00:02:01.630 --> 00:02:01.640 align:start position:0%
bridge gets brain what will happen is
 

00:02:01.640 --> 00:02:03.469 align:start position:0%
bridge gets brain what will happen is
that<00:02:01.799><c> the</c><00:02:01.920><c> other</c><00:02:02.159><c> chains</c><00:02:02.520><c> will</c><00:02:02.719><c> be</c><00:02:02.920><c> affected</c>

00:02:03.469 --> 00:02:03.479 align:start position:0%
that the other chains will be affected
 

00:02:03.479 --> 00:02:05.550 align:start position:0%
that the other chains will be affected
because<00:02:03.719><c> of</c><00:02:03.880><c> the</c><00:02:04.000><c> insecurity</c><00:02:05.000><c> of</c><00:02:05.159><c> one</c><00:02:05.320><c> of</c><00:02:05.439><c> the</c>

00:02:05.550 --> 00:02:05.560 align:start position:0%
because of the insecurity of one of the
 

00:02:05.560 --> 00:02:09.949 align:start position:0%
because of the insecurity of one of the
other<00:02:05.799><c> chains</c><00:02:06.600><c> this</c><00:02:06.719><c> is</c><00:02:06.960><c> where</c><00:02:07.280><c> we</c>

00:02:09.949 --> 00:02:09.959 align:start position:0%
 
 

00:02:09.959 --> 00:02:12.470 align:start position:0%
 
introduce<00:02:10.959><c> the</c><00:02:11.200><c> pessimistic</c><00:02:11.720><c> proof</c><00:02:12.319><c> the</c>

00:02:12.470 --> 00:02:12.480 align:start position:0%
introduce the pessimistic proof the
 

00:02:12.480 --> 00:02:14.350 align:start position:0%
introduce the pessimistic proof the
pessimistic<00:02:12.959><c> proof</c><00:02:13.200><c> has</c><00:02:13.400><c> this</c><00:02:13.599><c> name</c><00:02:14.000><c> because</c>

00:02:14.350 --> 00:02:14.360 align:start position:0%
pessimistic proof has this name because
 

00:02:14.360 --> 00:02:17.070 align:start position:0%
pessimistic proof has this name because
it<00:02:14.599><c> pessimistically</c><00:02:15.400><c> thinks</c><00:02:16.239><c> that</c><00:02:16.560><c> any</c><00:02:16.920><c> of</c>

00:02:17.070 --> 00:02:17.080 align:start position:0%
it pessimistically thinks that any of
 

00:02:17.080 --> 00:02:18.630 align:start position:0%
it pessimistically thinks that any of
the<00:02:17.200><c> chains</c><00:02:17.680><c> that</c><00:02:17.879><c> are</c><00:02:18.120><c> added</c><00:02:18.400><c> in</c><00:02:18.519><c> the</c>

00:02:18.630 --> 00:02:18.640 align:start position:0%
the chains that are added in the
 

00:02:18.640 --> 00:02:20.750 align:start position:0%
the chains that are added in the
aggregation<00:02:19.120><c> layer</c><00:02:19.720><c> can</c><00:02:19.920><c> be</c>

00:02:20.750 --> 00:02:20.760 align:start position:0%
aggregation layer can be
 

00:02:20.760 --> 00:02:24.190 align:start position:0%
aggregation layer can be
vulnerable<00:02:21.760><c> so</c><00:02:22.160><c> it</c><00:02:22.319><c> tries</c><00:02:22.640><c> to</c><00:02:22.879><c> secure</c><00:02:23.640><c> this</c>

00:02:24.190 --> 00:02:24.200 align:start position:0%
vulnerable so it tries to secure this
 

00:02:24.200 --> 00:02:26.990 align:start position:0%
vulnerable so it tries to secure this
how<00:02:24.400><c> does</c><00:02:24.560><c> it</c><00:02:24.720><c> do</c><00:02:25.120><c> it</c><00:02:26.120><c> the</c><00:02:26.280><c> solution</c><00:02:26.680><c> is</c><00:02:26.840><c> to</c>

00:02:26.990 --> 00:02:27.000 align:start position:0%
how does it do it the solution is to
 

00:02:27.000 --> 00:02:29.229 align:start position:0%
how does it do it the solution is to
architect<00:02:27.480><c> the</c><00:02:27.560><c> aggregation</c><00:02:28.080><c> layer</c><00:02:28.680><c> in</c><00:02:28.840><c> a</c><00:02:29.000><c> way</c>

00:02:29.229 --> 00:02:29.239 align:start position:0%
architect the aggregation layer in a way
 

00:02:29.239 --> 00:02:31.589 align:start position:0%
architect the aggregation layer in a way
that<00:02:29.400><c> assumes</c><00:02:30.160><c> that</c><00:02:30.360><c> every</c><00:02:30.640><c> prer</c><00:02:31.040><c> can</c><00:02:31.200><c> be</c><00:02:31.360><c> un</c>

00:02:31.589 --> 00:02:31.599 align:start position:0%
that assumes that every prer can be un
 

00:02:31.599 --> 00:02:34.190 align:start position:0%
that assumes that every prer can be un
sound<00:02:32.599><c> the</c><00:02:32.760><c> pessimistic</c><00:02:33.239><c> proof</c><00:02:33.519><c> guarantees</c>

00:02:34.190 --> 00:02:34.200 align:start position:0%
sound the pessimistic proof guarantees
 

00:02:34.200 --> 00:02:36.509 align:start position:0%
sound the pessimistic proof guarantees
that<00:02:34.360><c> even</c><00:02:34.560><c> if</c><00:02:34.720><c> a</c><00:02:34.840><c> PR</c><00:02:35.200><c> for</c><00:02:35.360><c> a</c><00:02:35.519><c> particular</c><00:02:36.040><c> chain</c>

00:02:36.509 --> 00:02:36.519 align:start position:0%
that even if a PR for a particular chain
 

00:02:36.519 --> 00:02:38.949 align:start position:0%
that even if a PR for a particular chain
is<00:02:36.720><c> UN</c><00:02:36.959><c> sound</c><00:02:37.640><c> that</c><00:02:37.879><c> Pro</c><00:02:38.200><c> cannot</c><00:02:38.480><c> drain</c><00:02:38.760><c> more</c>

00:02:38.949 --> 00:02:38.959 align:start position:0%
is UN sound that Pro cannot drain more
 

00:02:38.959 --> 00:02:41.589 align:start position:0%
is UN sound that Pro cannot drain more
funds<00:02:39.440><c> than</c><00:02:39.800><c> are</c><00:02:40.080><c> currently</c><00:02:40.519><c> deposited</c><00:02:41.360><c> on</c>

00:02:41.589 --> 00:02:41.599 align:start position:0%
funds than are currently deposited on
 

00:02:41.599 --> 00:02:44.550 align:start position:0%
funds than are currently deposited on
that<00:02:41.800><c> chain</c><00:02:42.800><c> in</c><00:02:43.000><c> this</c><00:02:43.159><c> way</c><00:02:43.400><c> a</c><00:02:43.560><c> sound</c><00:02:44.120><c> issue</c>

00:02:44.550 --> 00:02:44.560 align:start position:0%
that chain in this way a sound issue
 

00:02:44.560 --> 00:02:47.110 align:start position:0%
that chain in this way a sound issue
cannot<00:02:45.000><c> infect</c><00:02:45.519><c> the</c><00:02:45.680><c> rest</c><00:02:46.040><c> of</c><00:02:46.239><c> the</c>

00:02:47.110 --> 00:02:47.120 align:start position:0%
cannot infect the rest of the
 

00:02:47.120 --> 00:02:49.270 align:start position:0%
cannot infect the rest of the
ecosystem<00:02:48.120><c> so</c><00:02:48.319><c> this</c><00:02:48.440><c> means</c><00:02:48.680><c> that</c><00:02:48.840><c> every</c><00:02:49.040><c> time</c>

00:02:49.270 --> 00:02:49.280 align:start position:0%
ecosystem so this means that every time
 

00:02:49.280 --> 00:02:52.309 align:start position:0%
ecosystem so this means that every time
a<00:02:49.440><c> chain</c><00:02:50.080><c> wants</c><00:02:50.360><c> to</c><00:02:50.760><c> submit</c><00:02:51.560><c> their</c><00:02:51.800><c> Bridges</c><00:02:52.200><c> to</c>

00:02:52.309 --> 00:02:52.319 align:start position:0%
a chain wants to submit their Bridges to
 

00:02:52.319 --> 00:02:55.229 align:start position:0%
a chain wants to submit their Bridges to
be<00:02:52.560><c> Consolidated</c><00:02:53.560><c> he</c><00:02:53.720><c> will</c><00:02:54.000><c> has</c><00:02:54.239><c> to</c><00:02:54.599><c> attach</c><00:02:55.000><c> a</c>

00:02:55.229 --> 00:02:55.239 align:start position:0%
be Consolidated he will has to attach a
 

00:02:55.239 --> 00:02:58.430 align:start position:0%
be Consolidated he will has to attach a
proof<00:02:55.959><c> proving</c><00:02:56.599><c> that</c><00:02:57.120><c> he</c><00:02:57.360><c> has</c><00:02:57.599><c> enough</c><00:02:57.920><c> balance</c>

00:02:58.430 --> 00:02:58.440 align:start position:0%
proof proving that he has enough balance
 

00:02:58.440 --> 00:03:01.030 align:start position:0%
proof proving that he has enough balance
to<00:02:58.920><c> execute</c><00:03:00.040><c> those</c>

00:03:01.030 --> 00:03:01.040 align:start position:0%
to execute those
 

00:03:01.040 --> 00:03:04.110 align:start position:0%
to execute those
bridges<00:03:02.040><c> the</c><00:03:02.200><c> proving</c><00:03:02.599><c> system</c><00:03:03.000><c> that</c><00:03:03.200><c> will</c><00:03:03.920><c> um</c>

00:03:04.110 --> 00:03:04.120 align:start position:0%
bridges the proving system that will um
 

00:03:04.120 --> 00:03:05.949 align:start position:0%
bridges the proving system that will um
handle<00:03:04.599><c> all</c><00:03:04.720><c> of</c><00:03:04.920><c> these</c><00:03:05.120><c> the</c><00:03:05.280><c> proof</c><00:03:05.519><c> generation</c>

00:03:05.949 --> 00:03:05.959 align:start position:0%
handle all of these the proof generation
 

00:03:05.959 --> 00:03:08.710 align:start position:0%
handle all of these the proof generation
and<00:03:06.120><c> the</c><00:03:06.319><c> verification</c><00:03:07.319><c> can</c><00:03:07.480><c> be</c><00:03:07.799><c> any</c><00:03:08.000><c> of</c><00:03:08.200><c> the</c>

00:03:08.710 --> 00:03:08.720 align:start position:0%
and the verification can be any of the
 

00:03:08.720 --> 00:03:11.350 align:start position:0%
and the verification can be any of the
advaned<00:03:09.720><c> like</c><00:03:10.080><c> General</c><00:03:10.519><c> BMS</c><00:03:11.040><c> like</c><00:03:11.159><c> for</c>

00:03:11.350 --> 00:03:11.360 align:start position:0%
advaned like General BMS like for
 

00:03:11.360 --> 00:03:15.910 align:start position:0%
advaned like General BMS like for
example<00:03:11.720><c> dis</c><00:03:12.560><c> for</c><00:03:12.720><c> example</c><00:03:13.040><c> R</c><00:03:13.360><c> zero</c><00:03:13.799><c> or</c>

00:03:15.910 --> 00:03:15.920 align:start position:0%
example dis for example R zero or
 

00:03:15.920 --> 00:03:19.670 align:start position:0%
example dis for example R zero or
sp1<00:03:16.920><c> so</c><00:03:17.480><c> let's</c><00:03:17.720><c> go</c><00:03:18.040><c> a</c><00:03:18.200><c> bit</c><00:03:18.400><c> deeper</c><00:03:18.879><c> on</c><00:03:19.200><c> the</c>

00:03:19.670 --> 00:03:19.680 align:start position:0%
sp1 so let's go a bit deeper on the
 

00:03:19.680 --> 00:03:21.789 align:start position:0%
sp1 so let's go a bit deeper on the
pessimistic<00:03:20.200><c> proof</c><00:03:20.920><c> now</c><00:03:21.120><c> we</c><00:03:21.200><c> will</c><00:03:21.400><c> get</c><00:03:21.560><c> a</c><00:03:21.640><c> bit</c>

00:03:21.789 --> 00:03:21.799 align:start position:0%
pessimistic proof now we will get a bit
 

00:03:21.799 --> 00:03:24.550 align:start position:0%
pessimistic proof now we will get a bit
more<00:03:22.040><c> Tech</c><00:03:22.599><c> but</c><00:03:22.879><c> it</c><00:03:23.000><c> will</c><00:03:23.159><c> be</c><00:03:23.400><c> anyway</c><00:03:24.000><c> very</c>

00:03:24.550 --> 00:03:24.560 align:start position:0%
more Tech but it will be anyway very
 

00:03:24.560 --> 00:03:26.589 align:start position:0%
more Tech but it will be anyway very
high<00:03:25.480><c> yes</c><00:03:25.680><c> very</c><00:03:25.840><c> high</c><00:03:26.000><c> level</c><00:03:26.200><c> at</c><00:03:26.319><c> least</c><00:03:26.480><c> this</c>

00:03:26.589 --> 00:03:26.599 align:start position:0%
high yes very high level at least this
 

00:03:26.599 --> 00:03:29.589 align:start position:0%
high yes very high level at least this
is<00:03:26.720><c> a</c><00:03:27.280><c> aligning</c><00:03:27.720><c> talk</c><00:03:28.080><c> so</c><00:03:28.959><c> it</c><00:03:29.080><c> will</c><00:03:29.239><c> be</c><00:03:29.400><c> it</c><00:03:29.480><c> will</c>

00:03:29.589 --> 00:03:29.599 align:start position:0%
is a aligning talk so it will be it will
 

00:03:29.599 --> 00:03:32.949 align:start position:0%
is a aligning talk so it will be it will
be

00:03:32.949 --> 00:03:32.959 align:start position:0%
 
 

00:03:32.959 --> 00:03:35.509 align:start position:0%
 
painless<00:03:33.959><c> so</c><00:03:34.120><c> we</c><00:03:34.280><c> handle</c><00:03:34.760><c> this</c><00:03:35.040><c> the</c><00:03:35.239><c> proof</c>

00:03:35.509 --> 00:03:35.519 align:start position:0%
painless so we handle this the proof
 

00:03:35.519 --> 00:03:37.390 align:start position:0%
painless so we handle this the proof
generation<00:03:36.000><c> with</c><00:03:36.159><c> the3</c><00:03:36.760><c> we</c><00:03:36.879><c> have</c><00:03:37.000><c> the</c><00:03:37.120><c> local</c>

00:03:37.390 --> 00:03:37.400 align:start position:0%
generation with the3 we have the local
 

00:03:37.400 --> 00:03:39.309 align:start position:0%
generation with the3 we have the local
balance<00:03:37.760><c> Tre</c><00:03:37.959><c> the</c><00:03:38.080><c> local</c><00:03:38.360><c> Exit</c><00:03:38.640><c> 3</c><00:03:39.040><c> and</c><00:03:39.200><c> the</c>

00:03:39.309 --> 00:03:39.319 align:start position:0%
balance Tre the local Exit 3 and the
 

00:03:39.319 --> 00:03:41.470 align:start position:0%
balance Tre the local Exit 3 and the
nullifier<00:03:39.959><c> threee</c><00:03:40.640><c> the</c><00:03:40.760><c> local</c><00:03:41.000><c> balance</c><00:03:41.280><c> Tre</c>

00:03:41.470 --> 00:03:41.480 align:start position:0%
nullifier threee the local balance Tre
 

00:03:41.480 --> 00:03:43.589 align:start position:0%
nullifier threee the local balance Tre
is<00:03:41.599><c> the</c><00:03:41.680><c> one</c><00:03:41.840><c> that</c><00:03:42.000><c> handles</c><00:03:42.560><c> the</c><00:03:42.720><c> balance</c><00:03:43.439><c> of</c>

00:03:43.589 --> 00:03:43.599 align:start position:0%
is the one that handles the balance of
 

00:03:43.599 --> 00:03:46.030 align:start position:0%
is the one that handles the balance of
each<00:03:43.799><c> one</c><00:03:43.920><c> of</c><00:03:44.080><c> the</c><00:03:44.200><c> tokens</c><00:03:44.760><c> in</c><00:03:44.879><c> the</c><00:03:45.040><c> network</c>

00:03:46.030 --> 00:03:46.040 align:start position:0%
each one of the tokens in the network
 

00:03:46.040 --> 00:03:48.390 align:start position:0%
each one of the tokens in the network
each<00:03:46.200><c> one</c><00:03:46.360><c> of</c><00:03:46.480><c> the</c><00:03:46.599><c> Le</c><00:03:47.080><c> has</c><00:03:47.799><c> the</c><00:03:47.959><c> following</c>

00:03:48.390 --> 00:03:48.400 align:start position:0%
each one of the Le has the following
 

00:03:48.400 --> 00:03:50.789 align:start position:0%
each one of the Le has the following
information<00:03:49.200><c> the</c><00:03:49.360><c> origin</c><00:03:49.720><c> network</c><00:03:50.439><c> of</c><00:03:50.599><c> the</c>

00:03:50.789 --> 00:03:50.799 align:start position:0%
information the origin network of the
 

00:03:50.799 --> 00:03:53.509 align:start position:0%
information the origin network of the
token<00:03:51.599><c> the</c><00:03:51.760><c> token</c><00:03:52.079><c> address</c><00:03:52.519><c> and</c><00:03:52.680><c> the</c><00:03:52.840><c> balance</c>

00:03:53.509 --> 00:03:53.519 align:start position:0%
token the token address and the balance
 

00:03:53.519 --> 00:03:55.550 align:start position:0%
token the token address and the balance
the<00:03:53.640><c> origin</c><00:03:53.959><c> Network</c><00:03:54.319><c> and</c><00:03:54.439><c> the</c><00:03:54.560><c> token</c><00:03:54.840><c> address</c>

00:03:55.550 --> 00:03:55.560 align:start position:0%
the origin Network and the token address
 

00:03:55.560 --> 00:03:58.190 align:start position:0%
the origin Network and the token address
completely<00:03:56.120><c> define</c><00:03:56.720><c> a</c><00:03:56.920><c> token</c><00:03:57.720><c> so</c><00:03:58.000><c> this</c>

00:03:58.190 --> 00:03:58.200 align:start position:0%
completely define a token so this
 

00:03:58.200 --> 00:04:00.149 align:start position:0%
completely define a token so this
balance<00:03:58.560><c> is</c><00:03:58.720><c> the</c><00:03:58.799><c> one</c><00:03:58.959><c> that</c><00:03:59.120><c> handles</c><00:03:59.799><c> all</c><00:03:59.920><c> the</c>

00:04:00.149 --> 00:04:00.159 align:start position:0%
balance is the one that handles all the
 

00:04:00.159 --> 00:04:03.110 align:start position:0%
balance is the one that handles all the
balances<00:04:01.159><c> of</c><00:04:01.319><c> the</c><00:04:01.439><c> tokens</c><00:04:02.040><c> in</c><00:04:02.200><c> the</c><00:04:02.360><c> CH</c><00:04:02.720><c> in</c><00:04:02.959><c> in</c>

00:04:03.110 --> 00:04:03.120 align:start position:0%
balances of the tokens in the CH in in
 

00:04:03.120 --> 00:04:04.910 align:start position:0%
balances of the tokens in the CH in in
one<00:04:03.360><c> in</c><00:04:03.480><c> each</c><00:04:03.640><c> one</c><00:04:03.760><c> of</c><00:04:03.879><c> the</c><00:04:04.000><c> chains</c><00:04:04.720><c> another</c>

00:04:04.910 --> 00:04:04.920 align:start position:0%
one in each one of the chains another
 

00:04:04.920 --> 00:04:07.270 align:start position:0%
one in each one of the chains another
one<00:04:05.079><c> is</c><00:04:05.159><c> the</c><00:04:05.280><c> local</c><00:04:05.519><c> Exit</c><00:04:05.799><c> 3</c><00:04:06.480><c> the</c><00:04:06.599><c> local</c><00:04:06.840><c> Exit</c><00:04:07.120><c> 3</c>

00:04:07.270 --> 00:04:07.280 align:start position:0%
one is the local Exit 3 the local Exit 3
 

00:04:07.280 --> 00:04:09.390 align:start position:0%
one is the local Exit 3 the local Exit 3
grow<00:04:07.519><c> sequentially</c><00:04:08.159><c> every</c><00:04:08.400><c> time</c><00:04:08.560><c> a</c><00:04:08.720><c> bridge</c><00:04:09.159><c> is</c>

00:04:09.390 --> 00:04:09.400 align:start position:0%
grow sequentially every time a bridge is
 

00:04:09.400 --> 00:04:12.149 align:start position:0%
grow sequentially every time a bridge is
created<00:04:10.400><c> so</c><00:04:10.680><c> in</c><00:04:10.920><c> each</c><00:04:11.079><c> one</c><00:04:11.280><c> of</c><00:04:11.439><c> the</c><00:04:11.840><c> in</c><00:04:12.000><c> each</c>

00:04:12.149 --> 00:04:12.159 align:start position:0%
created so in each one of the in each
 

00:04:12.159 --> 00:04:13.869 align:start position:0%
created so in each one of the in each
one<00:04:12.319><c> of</c><00:04:12.400><c> the</c><00:04:12.519><c> leaves</c><00:04:12.879><c> he</c><00:04:13.079><c> has</c><00:04:13.239><c> the</c><00:04:13.360><c> information</c>

00:04:13.869 --> 00:04:13.879 align:start position:0%
one of the leaves he has the information
 

00:04:13.879 --> 00:04:17.349 align:start position:0%
one of the leaves he has the information
of<00:04:14.079><c> a</c><00:04:14.280><c> bridge</c><00:04:14.760><c> a</c><00:04:15.200><c> even</c><00:04:15.759><c> yes</c><00:04:16.759><c> and</c><00:04:16.919><c> the</c><00:04:17.040><c> third</c><00:04:17.239><c> one</c>

00:04:17.349 --> 00:04:17.359 align:start position:0%
of a bridge a even yes and the third one
 

00:04:17.359 --> 00:04:19.629 align:start position:0%
of a bridge a even yes and the third one
is<00:04:17.479><c> the</c><00:04:17.600><c> nullifier</c><00:04:18.160><c> tree</c><00:04:18.720><c> the</c><00:04:18.840><c> nullifier</c><00:04:19.359><c> tree</c>

00:04:19.629 --> 00:04:19.639 align:start position:0%
is the nullifier tree the nullifier tree
 

00:04:19.639 --> 00:04:22.310 align:start position:0%
is the nullifier tree the nullifier tree
basically<00:04:20.199><c> it's</c><00:04:20.519><c> used</c><00:04:21.320><c> for</c><00:04:21.639><c> the</c><00:04:22.120><c> um</c>

00:04:22.310 --> 00:04:22.320 align:start position:0%
basically it's used for the um
 

00:04:22.320 --> 00:04:25.590 align:start position:0%
basically it's used for the um
aggregation<00:04:22.800><c> layer</c><00:04:23.520><c> um</c><00:04:24.400><c> to</c><00:04:24.759><c> avoid</c><00:04:25.080><c> the</c><00:04:25.280><c> double</c>

00:04:25.590 --> 00:04:25.600 align:start position:0%
aggregation layer um to avoid the double
 

00:04:25.600 --> 00:04:27.749 align:start position:0%
aggregation layer um to avoid the double
spending<00:04:26.199><c> I</c><00:04:26.280><c> will</c><00:04:26.479><c> explain</c><00:04:26.800><c> it</c>

00:04:27.749 --> 00:04:27.759 align:start position:0%
spending I will explain it
 

00:04:27.759 --> 00:04:30.270 align:start position:0%
spending I will explain it
later<00:04:28.759><c> and</c><00:04:28.960><c> finally</c><00:04:29.360><c> the</c><00:04:29.479><c> step</c><00:04:29.720><c> steps</c><00:04:29.960><c> for</c>

00:04:30.270 --> 00:04:30.280 align:start position:0%
later and finally the step steps for
 

00:04:30.280 --> 00:04:32.870 align:start position:0%
later and finally the step steps for
computing<00:04:30.800><c> this</c><00:04:31.000><c> proof</c><00:04:31.639><c> are</c><00:04:31.880><c> this</c><00:04:32.080><c> four</c><00:04:32.600><c> well</c>

00:04:32.870 --> 00:04:32.880 align:start position:0%
computing this proof are this four well
 

00:04:32.880 --> 00:04:36.189 align:start position:0%
computing this proof are this four well
here<00:04:33.080><c> it's</c><00:04:33.320><c> a</c><00:04:33.600><c> a</c><00:04:33.800><c> very</c><00:04:34.800><c> summarize</c><00:04:35.400><c> oface</c><00:04:36.039><c> first</c>

00:04:36.189 --> 00:04:36.199 align:start position:0%
here it's a a very summarize oface first
 

00:04:36.199 --> 00:04:37.990 align:start position:0%
here it's a a very summarize oface first
of<00:04:36.320><c> all</c><00:04:36.440><c> you</c><00:04:36.600><c> apply</c><00:04:36.840><c> the</c><00:04:36.919><c> Bridge</c><00:04:37.240><c> exit</c><00:04:37.560><c> to</c><00:04:37.800><c> all</c>

00:04:37.990 --> 00:04:38.000 align:start position:0%
of all you apply the Bridge exit to all
 

00:04:38.000 --> 00:04:40.749 align:start position:0%
of all you apply the Bridge exit to all
local<00:04:38.240><c> exit</c><00:04:39.000><c> three</c><00:04:39.560><c> generating</c><00:04:40.280><c> the</c><00:04:40.440><c> new</c>

00:04:40.749 --> 00:04:40.759 align:start position:0%
local exit three generating the new
 

00:04:40.759 --> 00:04:43.270 align:start position:0%
local exit three generating the new
local<00:04:41.080><c> exit</c><00:04:41.360><c> three</c><00:04:42.120><c> after</c><00:04:42.479><c> that</c><00:04:42.680><c> we</c><00:04:42.840><c> apply</c><00:04:43.160><c> the</c>

00:04:43.270 --> 00:04:43.280 align:start position:0%
local exit three after that we apply the
 

00:04:43.280 --> 00:04:45.390 align:start position:0%
local exit three after that we apply the
bridge<00:04:43.639><c> exits</c><00:04:44.120><c> and</c><00:04:44.360><c> imported</c><00:04:44.720><c> Bridges</c><00:04:45.280><c> The</c>

00:04:45.390 --> 00:04:45.400 align:start position:0%
bridge exits and imported Bridges The
 

00:04:45.400 --> 00:04:46.629 align:start position:0%
bridge exits and imported Bridges The
Bridge<00:04:45.680><c> exit</c><00:04:45.960><c> are</c><00:04:46.120><c> the</c><00:04:46.199><c> one</c><00:04:46.360><c> that</c><00:04:46.479><c> are</c>

00:04:46.629 --> 00:04:46.639 align:start position:0%
Bridge exit are the one that are
 

00:04:46.639 --> 00:04:48.510 align:start position:0%
Bridge exit are the one that are
generated<00:04:47.199><c> from</c><00:04:47.360><c> my</c><00:04:47.600><c> chain</c><00:04:48.080><c> that</c><00:04:48.240><c> want</c><00:04:48.400><c> to</c>

00:04:48.510 --> 00:04:48.520 align:start position:0%
generated from my chain that want to
 

00:04:48.520 --> 00:04:50.430 align:start position:0%
generated from my chain that want to
transfer<00:04:48.960><c> assets</c><00:04:49.280><c> to</c><00:04:49.560><c> other</c><00:04:49.800><c> chains</c><00:04:50.240><c> and</c><00:04:50.320><c> the</c>

00:04:50.430 --> 00:04:50.440 align:start position:0%
transfer assets to other chains and the
 

00:04:50.440 --> 00:04:51.950 align:start position:0%
transfer assets to other chains and the
imported<00:04:50.759><c> bridges</c><00:04:51.120><c> are</c><00:04:51.280><c> the</c><00:04:51.400><c> ones</c><00:04:51.639><c> that</c><00:04:51.759><c> are</c>

00:04:51.950 --> 00:04:51.960 align:start position:0%
imported bridges are the ones that are
 

00:04:51.960 --> 00:04:53.790 align:start position:0%
imported bridges are the ones that are
generated<00:04:52.400><c> in</c><00:04:52.560><c> other</c><00:04:52.800><c> chains</c><00:04:53.360><c> I</c><00:04:53.479><c> want</c><00:04:53.680><c> to</c>

00:04:53.790 --> 00:04:53.800 align:start position:0%
generated in other chains I want to
 

00:04:53.800 --> 00:04:57.550 align:start position:0%
generated in other chains I want to
transfer<00:04:54.160><c> assets</c><00:04:54.639><c> to</c><00:04:55.360><c> my</c><00:04:55.960><c> chain</c><00:04:56.960><c> so</c><00:04:57.360><c> we</c>

00:04:57.550 --> 00:04:57.560 align:start position:0%
transfer assets to my chain so we
 

00:04:57.560 --> 00:04:59.070 align:start position:0%
transfer assets to my chain so we
compute<00:04:58.000><c> them</c><00:04:58.199><c> and</c><00:04:58.320><c> we</c><00:04:58.479><c> add</c><00:04:58.639><c> them</c><00:04:58.759><c> to</c><00:04:58.960><c> the</c>

00:04:59.070 --> 00:04:59.080 align:start position:0%
compute them and we add them to the
 

00:04:59.080 --> 00:05:02.150 align:start position:0%
compute them and we add them to the
local<00:04:59.360><c> balance</c><00:04:59.840><c> Tre</c><00:05:00.759><c> generating</c><00:05:01.400><c> a</c><00:05:01.600><c> new</c><00:05:01.840><c> local</c>

00:05:02.150 --> 00:05:02.160 align:start position:0%
local balance Tre generating a new local
 

00:05:02.160 --> 00:05:03.710 align:start position:0%
local balance Tre generating a new local
balance<00:05:02.479><c> tree</c><00:05:03.000><c> finally</c><00:05:03.320><c> we</c><00:05:03.440><c> check</c><00:05:03.639><c> the</c>

00:05:03.710 --> 00:05:03.720 align:start position:0%
balance tree finally we check the
 

00:05:03.720 --> 00:05:05.469 align:start position:0%
balance tree finally we check the
nullifiers<00:05:04.440><c> we</c><00:05:04.560><c> check</c><00:05:04.800><c> that</c><00:05:04.960><c> none</c><00:05:05.160><c> of</c><00:05:05.320><c> this</c>

00:05:05.469 --> 00:05:05.479 align:start position:0%
nullifiers we check that none of this
 

00:05:05.479 --> 00:05:07.590 align:start position:0%
nullifiers we check that none of this
bridge<00:05:05.800><c> that</c><00:05:05.960><c> we</c><00:05:06.199><c> importing</c><00:05:07.000><c> has</c><00:05:07.280><c> already</c>

00:05:07.590 --> 00:05:07.600 align:start position:0%
bridge that we importing has already
 

00:05:07.600 --> 00:05:09.870 align:start position:0%
bridge that we importing has already
been<00:05:08.000><c> computed</c><00:05:08.919><c> or</c><00:05:09.160><c> has</c><00:05:09.320><c> already</c><00:05:09.639><c> been</c>

00:05:09.870 --> 00:05:09.880 align:start position:0%
been computed or has already been
 

00:05:09.880 --> 00:05:13.350 align:start position:0%
been computed or has already been
Consolidated<00:05:10.520><c> or</c><00:05:11.120><c> spent</c><00:05:12.120><c> and</c><00:05:12.320><c> finally</c><00:05:13.160><c> we</c>

00:05:13.350 --> 00:05:13.360 align:start position:0%
Consolidated or spent and finally we
 

00:05:13.360 --> 00:05:15.230 align:start position:0%
Consolidated or spent and finally we
check<00:05:13.680><c> that</c><00:05:13.880><c> none</c><00:05:14.160><c> of</c><00:05:14.320><c> the</c><00:05:14.440><c> balances</c><00:05:15.000><c> in</c><00:05:15.120><c> the</c>

00:05:15.230 --> 00:05:15.240 align:start position:0%
check that none of the balances in the
 

00:05:15.240 --> 00:05:17.469 align:start position:0%
check that none of the balances in the
local<00:05:15.479><c> balance</c><00:05:15.880><c> three</c><00:05:16.199><c> is</c><00:05:16.360><c> lower</c><00:05:16.680><c> than</c><00:05:16.919><c> zero</c>

00:05:17.469 --> 00:05:17.479 align:start position:0%
local balance three is lower than zero
 

00:05:17.479 --> 00:05:19.270 align:start position:0%
local balance three is lower than zero
meaning<00:05:17.880><c> that</c><00:05:18.240><c> we</c><00:05:18.360><c> can</c><00:05:18.600><c> compute</c><00:05:18.960><c> all</c><00:05:19.120><c> these</c>

00:05:19.270 --> 00:05:19.280 align:start position:0%
meaning that we can compute all these
 

00:05:19.280 --> 00:05:20.990 align:start position:0%
meaning that we can compute all these
Bridges<00:05:19.840><c> with</c><00:05:20.000><c> the</c><00:05:20.120><c> balances</c><00:05:20.560><c> that</c><00:05:20.720><c> we</c><00:05:20.840><c> have</c>

00:05:20.990 --> 00:05:21.000 align:start position:0%
Bridges with the balances that we have
 

00:05:21.000 --> 00:05:24.390 align:start position:0%
Bridges with the balances that we have
in<00:05:21.120><c> our</c><00:05:21.720><c> chain</c><00:05:22.720><c> so</c><00:05:23.199><c> that</c><00:05:23.319><c> will</c><00:05:23.479><c> be</c><00:05:24.039><c> anything</c>

00:05:24.390 --> 00:05:24.400 align:start position:0%
in our chain so that will be anything
 

00:05:24.400 --> 00:05:26.550 align:start position:0%
in our chain so that will be anything
from<00:05:24.800><c> from</c><00:05:25.000><c> my</c><00:05:25.240><c> side</c><00:05:25.800><c> thank</c><00:05:25.960><c> you</c><00:05:26.120><c> very</c><00:05:26.280><c> much</c>

00:05:26.550 --> 00:05:26.560 align:start position:0%
from from my side thank you very much
 

00:05:26.560 --> 00:05:28.309 align:start position:0%
from from my side thank you very much
and<00:05:26.759><c> if</c><00:05:26.880><c> you</c><00:05:27.000><c> have</c><00:05:27.199><c> any</c>

00:05:28.309 --> 00:05:28.319 align:start position:0%
and if you have any
 

00:05:28.319 --> 00:05:30.590 align:start position:0%
and if you have any
question<00:05:29.319><c> okay</c><00:05:29.720><c> let's</c><00:05:29.880><c> give</c><00:05:30.000><c> a</c><00:05:30.120><c> big</c><00:05:30.280><c> round</c><00:05:30.440><c> of</c>

00:05:30.590 --> 00:05:30.600 align:start position:0%
question okay let's give a big round of
 

00:05:30.600 --> 00:05:33.350 align:start position:0%
question okay let's give a big round of
applause<00:05:30.919><c> for</c><00:05:31.080><c> ignasi</c><00:05:32.039><c> thank</c><00:05:32.199><c> you</c><00:05:32.319><c> ignasi</c><00:05:32.840><c> for</c>

00:05:33.350 --> 00:05:33.360 align:start position:0%
applause for ignasi thank you ignasi for
 

00:05:33.360 --> 00:05:35.590 align:start position:0%
applause for ignasi thank you ignasi for
um<00:05:33.840><c> for</c><00:05:34.080><c> this</c><00:05:34.319><c> presentation</c><00:05:34.800><c> so</c><00:05:35.080><c> these</c><00:05:35.240><c> proofs</c>

00:05:35.590 --> 00:05:35.600 align:start position:0%
um for this presentation so these proofs
 

00:05:35.600 --> 00:05:36.909 align:start position:0%
um for this presentation so these proofs
apart<00:05:35.840><c> from</c><00:05:36.000><c> their</c><00:05:36.160><c> name</c><00:05:36.400><c> they're</c><00:05:36.680><c> actually</c>

00:05:36.909 --> 00:05:36.919 align:start position:0%
apart from their name they're actually
 

00:05:36.919 --> 00:05:39.150 align:start position:0%
apart from their name they're actually
very<00:05:37.120><c> fun</c><00:05:37.680><c> apart</c><00:05:37.919><c> from</c><00:05:38.080><c> being</c><00:05:38.520><c> pessimistic</c>

00:05:39.150 --> 00:05:39.160 align:start position:0%
very fun apart from being pessimistic
 

00:05:39.160 --> 00:05:41.110 align:start position:0%
very fun apart from being pessimistic
right<00:05:39.600><c> we</c><00:05:39.759><c> have</c><00:05:39.960><c> time</c><00:05:40.120><c> for</c><00:05:40.479><c> for</c><00:05:40.720><c> a</c><00:05:40.800><c> few</c>

00:05:41.110 --> 00:05:41.120 align:start position:0%
right we have time for for a few
 

00:05:41.120 --> 00:05:42.830 align:start position:0%
right we have time for for a few
questions<00:05:41.720><c> I</c><00:05:41.800><c> will</c><00:05:42.000><c> hit</c><00:05:42.199><c> you</c><00:05:42.319><c> with</c><00:05:42.479><c> the</c><00:05:42.600><c> red</c>

00:05:42.830 --> 00:05:42.840 align:start position:0%
questions I will hit you with the red
 

00:05:42.840 --> 00:05:44.670 align:start position:0%
questions I will hit you with the red
box<00:05:43.280><c> which</c><00:05:43.479><c> you</c><00:05:43.720><c> talk</c><00:05:44.039><c> at</c><00:05:44.319><c> this</c><00:05:44.440><c> is</c><00:05:44.560><c> a</c>

00:05:44.670 --> 00:05:44.680 align:start position:0%
box which you talk at this is a
 

00:05:44.680 --> 00:05:46.870 align:start position:0%
box which you talk at this is a
microphone<00:05:45.280><c> so</c><00:05:45.479><c> please</c><00:05:45.720><c> raise</c><00:05:45.960><c> your</c><00:05:46.120><c> hand</c><00:05:46.800><c> if</c>

00:05:46.870 --> 00:05:46.880 align:start position:0%
microphone so please raise your hand if
 

00:05:46.880 --> 00:05:51.950 align:start position:0%
microphone so please raise your hand if
you<00:05:47.039><c> have</c><00:05:47.199><c> a</c><00:05:47.360><c> question</c><00:05:48.160><c> for</c>

00:05:51.950 --> 00:05:51.960 align:start position:0%
 
 

00:05:51.960 --> 00:05:58.390 align:start position:0%
 
ignasi<00:05:52.960><c> it's</c><00:05:53.080><c> not</c><00:05:53.280><c> easy</c><00:05:53.600><c> right</c><00:05:54.039><c> yes</c>

00:05:58.390 --> 00:05:58.400 align:start position:0%
 
 

00:05:58.400 --> 00:06:01.790 align:start position:0%
 
please<00:05:59.400><c> okay</c><00:05:59.919><c> great</c><00:06:00.240><c> presentation</c><00:06:01.240><c> so</c><00:06:01.600><c> my</c>

00:06:01.790 --> 00:06:01.800 align:start position:0%
please okay great presentation so my
 

00:06:01.800 --> 00:06:04.309 align:start position:0%
please okay great presentation so my
question<00:06:02.199><c> is</c><00:06:03.000><c> is</c><00:06:03.160><c> this</c><00:06:03.319><c> only</c><00:06:03.560><c> for</c><00:06:03.880><c> polygon</c>

00:06:04.309 --> 00:06:04.319 align:start position:0%
question is is this only for polygon
 

00:06:04.319 --> 00:06:06.589 align:start position:0%
question is is this only for polygon
networks<00:06:05.080><c> or</c><00:06:05.280><c> is</c><00:06:05.479><c> supposed</c><00:06:05.759><c> to</c><00:06:05.919><c> work</c><00:06:06.120><c> no</c><00:06:06.240><c> no</c><00:06:06.479><c> it</c>

00:06:06.589 --> 00:06:06.599 align:start position:0%
networks or is supposed to work no no it
 

00:06:06.599 --> 00:06:09.710 align:start position:0%
networks or is supposed to work no no it
will<00:06:07.039><c> support</c><00:06:07.440><c> any</c><00:06:07.680><c> chain</c><00:06:08.319><c> like</c><00:06:09.280><c> um</c><00:06:09.440><c> in</c><00:06:09.560><c> the</c>

00:06:09.710 --> 00:06:09.720 align:start position:0%
will support any chain like um in the
 

00:06:09.720 --> 00:06:11.589 align:start position:0%
will support any chain like um in the
example<00:06:10.080><c> there</c><00:06:10.199><c> were</c><00:06:10.560><c> like</c><00:06:10.800><c> the</c><00:06:10.880><c> cdks</c><00:06:11.400><c> and</c><00:06:11.520><c> the</c>

00:06:11.589 --> 00:06:11.599 align:start position:0%
example there were like the cdks and the
 

00:06:11.599 --> 00:06:13.390 align:start position:0%
example there were like the cdks and the
C<00:06:12.039><c> which</c><00:06:12.160><c> are</c><00:06:12.280><c> polygon</c><00:06:12.639><c> network</c><00:06:13.000><c> but</c><00:06:13.160><c> it</c><00:06:13.240><c> can</c>

00:06:13.390 --> 00:06:13.400 align:start position:0%
C which are polygon network but it can
 

00:06:13.400 --> 00:06:15.029 align:start position:0%
C which are polygon network but it can
support<00:06:13.759><c> like</c><00:06:14.000><c> any</c><00:06:14.160><c> chain</c><00:06:14.400><c> that</c><00:06:14.560><c> handles</c><00:06:14.880><c> a</c>

00:06:15.029 --> 00:06:15.039 align:start position:0%
support like any chain that handles a
 

00:06:15.039 --> 00:06:16.990 align:start position:0%
support like any chain that handles a
balance<00:06:15.319><c> of</c><00:06:15.440><c> the</c><00:06:15.639><c> state</c><00:06:16.319><c> as</c><00:06:16.479><c> I</c><00:06:16.599><c> said</c><00:06:16.759><c> it</c><00:06:16.840><c> can</c>

00:06:16.990 --> 00:06:17.000 align:start position:0%
balance of the state as I said it can
 

00:06:17.000 --> 00:06:19.390 align:start position:0%
balance of the state as I said it can
even<00:06:17.199><c> handle</c><00:06:17.560><c> Solana</c><00:06:18.560><c> fantastic</c><00:06:19.039><c> it</c><00:06:19.120><c> doesn't</c>

00:06:19.390 --> 00:06:19.400 align:start position:0%
even handle Solana fantastic it doesn't
 

00:06:19.400 --> 00:06:21.870 align:start position:0%
even handle Solana fantastic it doesn't
even<00:06:19.560><c> have</c><00:06:19.680><c> to</c><00:06:19.800><c> be</c><00:06:19.919><c> evm</c><00:06:20.639><c> compatible</c><00:06:21.639><c> great</c>

00:06:21.870 --> 00:06:21.880 align:start position:0%
even have to be evm compatible great
 

00:06:21.880 --> 00:06:23.749 align:start position:0%
even have to be evm compatible great
because<00:06:22.680><c> it's</c><00:06:22.880><c> one</c><00:06:23.039><c> of</c><00:06:23.160><c> the</c><00:06:23.240><c> Chang</c><00:06:23.520><c> is</c>

00:06:23.749 --> 00:06:23.759 align:start position:0%
because it's one of the Chang is
 

00:06:23.759 --> 00:06:30.309 align:start position:0%
because it's one of the Chang is
responsible<00:06:24.759><c> of</c><00:06:25.280><c> the</c><00:06:25.960><c> state</c><00:06:26.280><c> transition</c>

00:06:30.309 --> 00:06:30.319 align:start position:0%
 
 

00:06:30.319 --> 00:06:34.430 align:start position:0%
 
more<00:06:30.960><c> yeah</c><00:06:31.280><c> there</c>

00:06:34.430 --> 00:06:34.440 align:start position:0%
 
 

00:06:34.440 --> 00:06:40.270 align:start position:0%
 
please<00:06:35.440><c> so</c><00:06:36.199><c> um</c><00:06:37.000><c> this</c><00:06:37.199><c> sounds</c><00:06:37.680><c> like</c><00:06:37.919><c> a</c><00:06:38.720><c> um</c>

00:06:40.270 --> 00:06:40.280 align:start position:0%
please so um this sounds like a um
 

00:06:40.280 --> 00:06:43.749 align:start position:0%
please so um this sounds like a um
security<00:06:41.280><c> uh</c><00:06:41.919><c> measure</c><00:06:42.919><c> how</c><00:06:43.080><c> does</c><00:06:43.240><c> this</c><00:06:43.440><c> help</c>

00:06:43.749 --> 00:06:43.759 align:start position:0%
security uh measure how does this help
 

00:06:43.759 --> 00:06:45.870 align:start position:0%
security uh measure how does this help
with<00:06:44.360><c> like</c>

00:06:45.870 --> 00:06:45.880 align:start position:0%
with like
 

00:06:45.880 --> 00:06:47.909 align:start position:0%
with like
interoperability<00:06:46.880><c> sorry</c><00:06:47.360><c> what</c><00:06:47.599><c> can</c><00:06:47.720><c> you</c>

00:06:47.909 --> 00:06:47.919 align:start position:0%
interoperability sorry what can you
 

00:06:47.919 --> 00:06:49.870 align:start position:0%
interoperability sorry what can you
repat<00:06:48.160><c> the</c><00:06:48.280><c> last</c><00:06:48.680><c> pessimistic</c><00:06:49.199><c> proof</c><00:06:49.440><c> sounds</c>

00:06:49.870 --> 00:06:49.880 align:start position:0%
repat the last pessimistic proof sounds
 

00:06:49.880 --> 00:06:52.870 align:start position:0%
repat the last pessimistic proof sounds
from<00:06:50.199><c> yes</c><00:06:50.520><c> it's</c><00:06:50.720><c> 100%</c><00:06:51.560><c> security</c><00:06:52.280><c> security</c>

00:06:52.870 --> 00:06:52.880 align:start position:0%
from yes it's 100% security security
 

00:06:52.880 --> 00:06:54.869 align:start position:0%
from yes it's 100% security security
does<00:06:53.000><c> it</c><00:06:53.319><c> help</c><00:06:53.680><c> does</c><00:06:53.880><c> it</c><00:06:54.080><c> simplify</c>

00:06:54.869 --> 00:06:54.879 align:start position:0%
does it help does it simplify
 

00:06:54.879 --> 00:06:58.830 align:start position:0%
does it help does it simplify
interoperability<00:06:55.879><c> in</c><00:06:56.080><c> any</c><00:06:56.319><c> way</c><00:06:57.199><c> like</c><00:06:57.440><c> you</c><00:06:57.840><c> say</c>

00:06:58.830 --> 00:06:58.840 align:start position:0%
interoperability in any way like you say
 

00:06:58.840 --> 00:07:01.430 align:start position:0%
interoperability in any way like you say
Solana<00:06:59.280><c> could</c><00:06:59.599><c> use</c><00:06:59.800><c> pessimistic</c><00:07:00.280><c> proofs</c><00:07:01.199><c> like</c>

00:07:01.430 --> 00:07:01.440 align:start position:0%
Solana could use pessimistic proofs like
 

00:07:01.440 --> 00:07:05.270 align:start position:0%
Solana could use pessimistic proofs like
does<00:07:01.919><c> does</c><00:07:02.840><c> will</c><00:07:03.039><c> does</c><00:07:03.199><c> this</c><00:07:03.440><c> help</c><00:07:04.319><c> sending</c>

00:07:05.270 --> 00:07:05.280 align:start position:0%
does does will does this help sending
 

00:07:05.280 --> 00:07:07.749 align:start position:0%
does does will does this help sending
assets<00:07:05.599><c> from</c><00:07:05.800><c> one</c><00:07:05.960><c> chain</c><00:07:06.240><c> to</c><00:07:06.400><c> the</c><00:07:06.560><c> other</c><00:07:07.440><c> that</c>

00:07:07.749 --> 00:07:07.759 align:start position:0%
assets from one chain to the other that
 

00:07:07.759 --> 00:07:09.189 align:start position:0%
assets from one chain to the other that
yes<00:07:07.919><c> it</c><00:07:08.080><c> helps</c><00:07:08.319><c> in</c><00:07:08.479><c> the</c><00:07:08.639><c> way</c><00:07:08.800><c> that</c><00:07:08.919><c> you</c><00:07:09.039><c> are</c>

00:07:09.189 --> 00:07:09.199 align:start position:0%
yes it helps in the way that you are
 

00:07:09.199 --> 00:07:12.029 align:start position:0%
yes it helps in the way that you are
sure<00:07:09.560><c> that</c><00:07:09.960><c> this</c><00:07:10.160><c> chain</c><00:07:10.680><c> has</c><00:07:11.319><c> enough</c><00:07:11.599><c> funds</c><00:07:11.879><c> to</c>

00:07:12.029 --> 00:07:12.039 align:start position:0%
sure that this chain has enough funds to
 

00:07:12.039 --> 00:07:13.790 align:start position:0%
sure that this chain has enough funds to
be<00:07:12.280><c> transferred</c><00:07:12.800><c> so</c><00:07:13.080><c> you</c><00:07:13.240><c> the</c><00:07:13.319><c> only</c><00:07:13.520><c> thing</c><00:07:13.639><c> you</c>

00:07:13.790 --> 00:07:13.800 align:start position:0%
be transferred so you the only thing you
 

00:07:13.800 --> 00:07:16.670 align:start position:0%
be transferred so you the only thing you
have<00:07:13.919><c> to</c><00:07:14.039><c> do</c><00:07:14.280><c> is</c><00:07:15.160><c> um</c><00:07:15.680><c> verify</c><00:07:16.080><c> that</c><00:07:16.240><c> proof</c><00:07:16.599><c> you</c>

00:07:16.670 --> 00:07:16.680 align:start position:0%
have to do is um verify that proof you
 

00:07:16.680 --> 00:07:20.390 align:start position:0%
have to do is um verify that proof you
don't<00:07:16.919><c> have</c><00:07:17.319><c> like</c><00:07:18.319><c> to</c><00:07:19.319><c> if</c><00:07:19.479><c> in</c><00:07:19.680><c> case</c><00:07:19.879><c> now</c><00:07:20.120><c> on</c><00:07:20.280><c> the</c>

00:07:20.390 --> 00:07:20.400 align:start position:0%
don't have like to if in case now on the
 

00:07:20.400 --> 00:07:21.950 align:start position:0%
don't have like to if in case now on the
bridges<00:07:20.840><c> wait</c><00:07:21.080><c> that</c><00:07:21.240><c> the</c><00:07:21.400><c> transaction</c><00:07:21.800><c> is</c>

00:07:21.950 --> 00:07:21.960 align:start position:0%
bridges wait that the transaction is
 

00:07:21.960 --> 00:07:24.350 align:start position:0%
bridges wait that the transaction is
finalized<00:07:22.680><c> or</c><00:07:23.160><c> in</c><00:07:23.360><c> case</c><00:07:23.560><c> of</c><00:07:23.759><c> an</c><00:07:23.919><c> optimistic</c>

00:07:24.350 --> 00:07:24.360 align:start position:0%
finalized or in case of an optimistic
 

00:07:24.360 --> 00:07:26.990 align:start position:0%
finalized or in case of an optimistic
roll<00:07:24.639><c> up</c><00:07:25.039><c> wait</c><00:07:25.400><c> this</c><00:07:25.840><c> days</c><00:07:26.120><c> for</c><00:07:26.319><c> the</c><00:07:26.479><c> withdraw</c>

00:07:26.990 --> 00:07:27.000 align:start position:0%
roll up wait this days for the withdraw
 

00:07:27.000 --> 00:07:29.629 align:start position:0%
roll up wait this days for the withdraw
this<00:07:27.160><c> will</c><00:07:27.400><c> not</c><00:07:27.599><c> be</c><00:07:27.800><c> happening</c><00:07:28.319><c> that</c><00:07:28.560><c> make</c><00:07:29.319><c> um</c>

00:07:29.629 --> 00:07:29.639 align:start position:0%
this will not be happening that make um
 

00:07:29.639 --> 00:07:30.469 align:start position:0%
this will not be happening that make um
the

00:07:30.469 --> 00:07:30.479 align:start position:0%
the
 

00:07:30.479 --> 00:07:32.830 align:start position:0%
the
interoperability<00:07:31.479><c> very</c>

00:07:32.830 --> 00:07:32.840 align:start position:0%
interoperability very
 

00:07:32.840 --> 00:07:37.710 align:start position:0%
interoperability very
fast<00:07:33.840><c> okay</c><00:07:34.680><c> thank</c><00:07:34.879><c> you</c><00:07:35.039><c> all</c><00:07:35.599><c> that</c><00:07:35.840><c> was</c><00:07:36.319><c> it</c><00:07:37.319><c> uh</c>

00:07:37.710 --> 00:07:37.720 align:start position:0%
fast okay thank you all that was it uh
 

00:07:37.720 --> 00:07:40.150 align:start position:0%
fast okay thank you all that was it uh
yes<00:07:38.000><c> we</c><00:07:38.160><c> have</c><00:07:38.720><c> let's</c><00:07:38.960><c> go</c><00:07:39.280><c> like</c><00:07:39.479><c> very</c><00:07:39.919><c> I'll</c><00:07:40.000><c> be</c>

00:07:40.150 --> 00:07:40.160 align:start position:0%
yes we have let's go like very I'll be
 

00:07:40.160 --> 00:07:42.029 align:start position:0%
yes we have let's go like very I'll be
here<00:07:40.319><c> around</c>

00:07:42.029 --> 00:07:42.039 align:start position:0%
here around
 

00:07:42.039 --> 00:07:45.350 align:start position:0%
here around
anyway<00:07:43.039><c> thank</c><00:07:43.240><c> you</c><00:07:44.039><c> okay</c>

00:07:45.350 --> 00:07:45.360 align:start position:0%
anyway thank you okay
 

00:07:45.360 --> 00:07:48.149 align:start position:0%
anyway thank you okay
well<00:07:46.360><c> no</c><00:07:46.639><c> that's</c><00:07:46.840><c> it</c><00:07:47.080><c> thank</c><00:07:47.240><c> you</c>

00:07:48.149 --> 00:07:48.159 align:start position:0%
well no that's it thank you
 

00:07:48.159 --> 00:07:52.479 align:start position:0%
well no that's it thank you
ignasi<00:07:49.159><c> thanks</c><00:07:49.479><c> again</c>