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:09.430 align:start position:0%
 
[Music]

00:00:09.430 --> 00:00:09.440 align:start position:0%
[Music]
 

00:00:09.440 --> 00:00:12.190 align:start position:0%
[Music]
hi<00:00:09.760><c> everyone</c><00:00:10.759><c> so</c><00:00:11.360><c> we</c><00:00:11.480><c> are</c><00:00:11.599><c> going</c><00:00:11.799><c> to</c><00:00:11.960><c> talk</c>

00:00:12.190 --> 00:00:12.200 align:start position:0%
hi everyone so we are going to talk
 

00:00:12.200 --> 00:00:14.230 align:start position:0%
hi everyone so we are going to talk
about<00:00:12.480><c> a</c><00:00:12.719><c> project</c><00:00:13.080><c> that</c><00:00:13.200><c> we</c><00:00:13.320><c> were</c><00:00:13.559><c> working</c><00:00:13.880><c> on</c>

00:00:14.230 --> 00:00:14.240 align:start position:0%
about a project that we were working on
 

00:00:14.240 --> 00:00:17.390 align:start position:0%
about a project that we were working on
and<00:00:14.599><c> and</c><00:00:14.920><c> at</c><00:00:15.160><c> at</c><00:00:15.359><c> PSC</c><00:00:16.359><c> that</c><00:00:16.800><c> I</c><00:00:16.880><c> mean</c><00:00:17.039><c> when</c><00:00:17.199><c> we</c>

00:00:17.390 --> 00:00:17.400 align:start position:0%
and and at at PSC that I mean when we
 

00:00:17.400 --> 00:00:20.189 align:start position:0%
and and at at PSC that I mean when we
apply<00:00:17.960><c> the</c><00:00:18.560><c> when</c><00:00:18.680><c> we</c><00:00:18.880><c> apply</c><00:00:19.199><c> for</c><00:00:19.480><c> this</c><00:00:20.039><c> uh</c>

00:00:20.189 --> 00:00:20.199 align:start position:0%
apply the when we apply for this uh
 

00:00:20.199 --> 00:00:22.189 align:start position:0%
apply the when we apply for this uh
speaking<00:00:20.640><c> about</c><00:00:20.920><c> this</c><00:00:21.279><c> the</c><00:00:21.600><c> we</c><00:00:21.680><c> were</c><00:00:21.920><c> working</c>

00:00:22.189 --> 00:00:22.199 align:start position:0%
speaking about this the we were working
 

00:00:22.199 --> 00:00:24.189 align:start position:0%
speaking about this the we were working
on<00:00:22.400><c> this</c><00:00:22.600><c> but</c><00:00:22.800><c> now</c><00:00:23.320><c> we</c><00:00:23.480><c> have</c><00:00:23.640><c> stopped</c><00:00:24.000><c> working</c>

00:00:24.189 --> 00:00:24.199 align:start position:0%
on this but now we have stopped working
 

00:00:24.199 --> 00:00:26.710 align:start position:0%
on this but now we have stopped working
on<00:00:24.400><c> this</c><00:00:24.560><c> so</c><00:00:24.720><c> we</c><00:00:24.800><c> are</c><00:00:24.920><c> going</c><00:00:25.119><c> to</c><00:00:25.320><c> go</c><00:00:26.039><c> through</c>

00:00:26.710 --> 00:00:26.720 align:start position:0%
on this so we are going to go through
 

00:00:26.720 --> 00:00:29.310 align:start position:0%
on this so we are going to go through
what<00:00:26.880><c> we</c><00:00:27.039><c> were</c><00:00:27.279><c> doing</c><00:00:28.000><c> and</c><00:00:28.199><c> the</c><00:00:28.400><c> reasons</c><00:00:29.039><c> why</c>

00:00:29.310 --> 00:00:29.320 align:start position:0%
what we were doing and the reasons why
 

00:00:29.320 --> 00:00:32.350 align:start position:0%
what we were doing and the reasons why
we<00:00:29.560><c> sto</c><00:00:30.000><c> working</c><00:00:30.240><c> on</c><00:00:30.439><c> this</c><00:00:30.679><c> so</c><00:00:31.679><c> a</c><00:00:31.840><c> little</c><00:00:32.079><c> bit</c>

00:00:32.350 --> 00:00:32.360 align:start position:0%
we sto working on this so a little bit
 

00:00:32.360 --> 00:00:35.630 align:start position:0%
we sto working on this so a little bit
of<00:00:32.719><c> of</c><00:00:32.960><c> the</c><00:00:33.920><c> retrospective</c><00:00:34.920><c> of</c><00:00:35.120><c> a</c><00:00:35.320><c> of</c><00:00:35.440><c> a</c>

00:00:35.630 --> 00:00:35.640 align:start position:0%
of of the retrospective of a of a
 

00:00:35.640 --> 00:00:40.990 align:start position:0%
of of the retrospective of a of a
project<00:00:36.160><c> let's</c><00:00:36.800><c> say</c><00:00:37.800><c> uh</c><00:00:38.480><c> so</c><00:00:39.480><c> uh</c><00:00:39.800><c> in</c><00:00:40.559><c> I</c><00:00:40.680><c> started</c>

00:00:40.990 --> 00:00:41.000 align:start position:0%
project let's say uh so uh in I started
 

00:00:41.000 --> 00:00:43.630 align:start position:0%
project let's say uh so uh in I started
working<00:00:41.280><c> in</c><00:00:41.440><c> 2022</c><00:00:42.120><c> on</c><00:00:42.239><c> the</c><00:00:42.399><c> ckvm</c><00:00:43.160><c> that</c><00:00:43.320><c> at</c><00:00:43.440><c> that</c>

00:00:43.630 --> 00:00:43.640 align:start position:0%
working in 2022 on the ckvm that at that
 

00:00:43.640 --> 00:00:48.110 align:start position:0%
working in 2022 on the ckvm that at that
moment<00:00:44.440><c> um</c><00:00:45.200><c> PSC</c><00:00:45.719><c> was</c><00:00:45.960><c> working</c><00:00:46.399><c> on</c><00:00:47.399><c> uh</c><00:00:47.680><c> that</c><00:00:47.879><c> was</c>

00:00:48.110 --> 00:00:48.120 align:start position:0%
moment um PSC was working on uh that was
 

00:00:48.120 --> 00:00:50.990 align:start position:0%
moment um PSC was working on uh that was
based<00:00:48.440><c> on</c><00:00:48.680><c> Hall</c><00:00:49.039><c> to</c><00:00:49.399><c> kind</c><00:00:49.559><c> of</c><00:00:49.719><c> a</c><00:00:50.000><c> plish</c>

00:00:50.990 --> 00:00:51.000 align:start position:0%
based on Hall to kind of a plish
 

00:00:51.000 --> 00:00:52.549 align:start position:0%
based on Hall to kind of a plish
arithmetization

00:00:52.549 --> 00:00:52.559 align:start position:0%
arithmetization
 

00:00:52.559 --> 00:00:55.750 align:start position:0%
arithmetization
and<00:00:53.559><c> because</c><00:00:53.879><c> it's</c><00:00:54.719><c> it</c><00:00:54.800><c> was</c><00:00:55.000><c> very</c><00:00:55.199><c> complicated</c>

00:00:55.750 --> 00:00:55.760 align:start position:0%
and because it's it was very complicated
 

00:00:55.760 --> 00:00:57.790 align:start position:0%
and because it's it was very complicated
to<00:00:56.160><c> to</c><00:00:56.320><c> build</c><00:00:56.640><c> something</c><00:00:57.039><c> like</c><00:00:57.239><c> that</c><00:00:57.440><c> on</c><00:00:57.600><c> top</c>

00:00:57.790 --> 00:00:57.800 align:start position:0%
to to build something like that on top
 

00:00:57.800 --> 00:01:00.270 align:start position:0%
to to build something like that on top
of<00:00:57.960><c> Hell</c><00:00:58.280><c> 2</c><00:00:59.120><c> it's</c><00:00:59.320><c> inevitable</c><00:01:00.000><c> that</c><00:01:00.079><c> you</c><00:01:00.160><c> need</c>

00:01:00.270 --> 00:01:00.280 align:start position:0%
of Hell 2 it's inevitable that you need
 

00:01:00.280 --> 00:01:02.950 align:start position:0%
of Hell 2 it's inevitable that you need
to<00:01:00.399><c> abstract</c><00:01:00.800><c> things</c><00:01:01.000><c> so</c><00:01:01.280><c> as</c><00:01:01.399><c> a</c><00:01:01.800><c> engineer</c><00:01:02.800><c> I</c>

00:01:02.950 --> 00:01:02.960 align:start position:0%
to abstract things so as a engineer I
 

00:01:02.960 --> 00:01:06.870 align:start position:0%
to abstract things so as a engineer I
found<00:01:03.399><c> there</c><00:01:03.719><c> like</c><00:01:03.920><c> a</c><00:01:04.920><c> a</c><00:01:05.119><c> treasure</c><00:01:05.600><c> drob</c><00:01:06.360><c> of</c><00:01:06.600><c> of</c>

00:01:06.870 --> 00:01:06.880 align:start position:0%
found there like a a treasure drob of of
 

00:01:06.880 --> 00:01:08.590 align:start position:0%
found there like a a treasure drob of of
of<00:01:07.159><c> really</c><00:01:07.520><c> of</c><00:01:07.759><c> really</c><00:01:08.119><c> interesting</c>

00:01:08.590 --> 00:01:08.600 align:start position:0%
of really of really interesting
 

00:01:08.600 --> 00:01:10.910 align:start position:0%
of really of really interesting
abstractions<00:01:09.439><c> to</c><00:01:09.560><c> be</c><00:01:09.759><c> able</c><00:01:10.040><c> to</c><00:01:10.240><c> build</c><00:01:10.600><c> the</c>

00:01:10.910 --> 00:01:10.920 align:start position:0%
abstractions to be able to build the
 

00:01:10.920 --> 00:01:14.469 align:start position:0%
abstractions to be able to build the
ckvm<00:01:11.920><c> on</c><00:01:12.119><c> top</c><00:01:12.240><c> of</c><00:01:12.400><c> Hal</c><00:01:12.720><c> 2</c><00:01:13.280><c> a</c><00:01:13.439><c> lot</c><00:01:13.600><c> of</c><00:01:13.759><c> layers</c><00:01:14.280><c> on</c>

00:01:14.469 --> 00:01:14.479 align:start position:0%
ckvm on top of Hal 2 a lot of layers on
 

00:01:14.479 --> 00:01:17.070 align:start position:0%
ckvm on top of Hal 2 a lot of layers on
top<00:01:14.600><c> of</c><00:01:14.720><c> the</c><00:01:14.799><c> Hal</c><00:01:15.080><c> 2</c><00:01:15.280><c> to</c><00:01:15.360><c> be</c><00:01:15.520><c> able</c><00:01:15.759><c> to</c><00:01:16.360><c> to</c><00:01:16.560><c> reason</c>

00:01:17.070 --> 00:01:17.080 align:start position:0%
top of the Hal 2 to be able to to reason
 

00:01:17.080 --> 00:01:20.830 align:start position:0%
top of the Hal 2 to be able to to reason
about<00:01:17.320><c> it</c><00:01:17.520><c> and</c><00:01:17.680><c> to</c><00:01:17.920><c> kind</c><00:01:18.040><c> of</c><00:01:18.560><c> like</c><00:01:19.840><c> yeah</c>

00:01:20.830 --> 00:01:20.840 align:start position:0%
about it and to kind of like yeah
 

00:01:20.840 --> 00:01:23.710 align:start position:0%
about it and to kind of like yeah
abstract<00:01:21.320><c> on</c><00:01:21.520><c> it</c><00:01:21.799><c> and</c><00:01:22.000><c> and</c><00:01:22.159><c> and</c><00:01:22.400><c> build</c><00:01:23.119><c> uh</c><00:01:23.520><c> the</c>

00:01:23.710 --> 00:01:23.720 align:start position:0%
abstract on it and and and build uh the
 

00:01:23.720 --> 00:01:25.789 align:start position:0%
abstract on it and and and build uh the
what<00:01:23.880><c> we</c><00:01:24.159><c> required</c><00:01:24.520><c> and</c><00:01:24.680><c> there</c><00:01:24.920><c> like</c><00:01:25.520><c> the</c>

00:01:25.789 --> 00:01:25.799 align:start position:0%
what we required and there like the
 

00:01:25.799 --> 00:01:28.789 align:start position:0%
what we required and there like the
things<00:01:26.040><c> like</c><00:01:26.200><c> the</c><00:01:26.320><c> stay</c><00:01:26.720><c> machines</c><00:01:27.720><c> no</c><00:01:28.400><c> it</c><00:01:28.720><c> it</c>

00:01:28.789 --> 00:01:28.799 align:start position:0%
things like the stay machines no it it
 

00:01:28.799 --> 00:01:31.390 align:start position:0%
things like the stay machines no it it
seems<00:01:29.119><c> like</c><00:01:29.360><c> was</c><00:01:29.520><c> like</c><00:01:29.640><c> the</c><00:01:30.040><c> right</c><00:01:30.439><c> level</c><00:01:31.200><c> of</c>

00:01:31.390 --> 00:01:31.400 align:start position:0%
seems like was like the right level of
 

00:01:31.400 --> 00:01:34.830 align:start position:0%
seems like was like the right level of
abstraction<00:01:32.040><c> to</c><00:01:32.360><c> think</c><00:01:33.320><c> about</c><00:01:34.320><c> proving</c>

00:01:34.830 --> 00:01:34.840 align:start position:0%
abstraction to think about proving
 

00:01:34.840 --> 00:01:37.030 align:start position:0%
abstraction to think about proving
computation<00:01:35.799><c> on</c><00:01:36.000><c> top</c><00:01:36.200><c> of</c><00:01:36.439><c> a</c><00:01:36.560><c> plony</c>

00:01:37.030 --> 00:01:37.040 align:start position:0%
computation on top of a plony
 

00:01:37.040 --> 00:01:38.109 align:start position:0%
computation on top of a plony
arithmetization

00:01:38.109 --> 00:01:38.119 align:start position:0%
arithmetization
 

00:01:38.119 --> 00:01:42.149 align:start position:0%
arithmetization
and<00:01:39.119><c> the</c><00:01:39.280><c> the</c><00:01:39.399><c> cell</c><00:01:40.040><c> manager</c><00:01:41.040><c> that</c><00:01:41.320><c> was</c><00:01:41.720><c> used</c>

00:01:42.149 --> 00:01:42.159 align:start position:0%
and the the cell manager that was used
 

00:01:42.159 --> 00:01:44.789 align:start position:0%
and the the cell manager that was used
to<00:01:42.479><c> kind</c><00:01:42.680><c> of</c><00:01:43.439><c> place</c><00:01:43.960><c> things</c><00:01:44.320><c> in</c><00:01:44.479><c> a</c><00:01:44.600><c> more</c>

00:01:44.789 --> 00:01:44.799 align:start position:0%
to kind of place things in a more
 

00:01:44.799 --> 00:01:47.230 align:start position:0%
to kind of place things in a more
efficient<00:01:45.200><c> way</c><00:01:45.399><c> on</c><00:01:45.520><c> the</c><00:01:45.640><c> blish</c><00:01:46.079><c> table</c><00:01:47.079><c> and</c>

00:01:47.230 --> 00:01:47.240 align:start position:0%
efficient way on the blish table and
 

00:01:47.240 --> 00:01:49.230 align:start position:0%
efficient way on the blish table and
also<00:01:47.600><c> how</c><00:01:47.759><c> to</c><00:01:48.119><c> combine</c><00:01:48.560><c> like</c><00:01:48.759><c> composability</c>

00:01:49.230 --> 00:01:49.240 align:start position:0%
also how to combine like composability
 

00:01:49.240 --> 00:01:51.670 align:start position:0%
also how to combine like composability
with<00:01:50.240><c> something</c><00:01:50.640><c> that</c><00:01:50.799><c> was</c><00:01:50.960><c> called</c><00:01:51.240><c> the</c><00:01:51.360><c> super</c>

00:01:51.670 --> 00:01:51.680 align:start position:0%
with something that was called the super
 

00:01:51.680 --> 00:01:53.950 align:start position:0%
with something that was called the super
Circuit<00:01:52.000><c> and</c><00:01:52.360><c> Circ</c><00:01:52.640><c> and</c><00:01:52.759><c> this</c><00:01:53.040><c> all</c><00:01:53.240><c> this</c><00:01:53.719><c> was</c>

00:01:53.950 --> 00:01:53.960 align:start position:0%
Circuit and Circ and this all this was
 

00:01:53.960 --> 00:01:55.749 align:start position:0%
Circuit and Circ and this all this was
built<00:01:54.240><c> when</c><00:01:54.360><c> I</c><00:01:54.479><c> started</c><00:01:54.880><c> working</c><00:01:55.360><c> here</c><00:01:55.560><c> but</c><00:01:55.680><c> I</c>

00:01:55.749 --> 00:01:55.759 align:start position:0%
built when I started working here but I
 

00:01:55.759 --> 00:01:58.590 align:start position:0%
built when I started working here but I
started<00:01:56.039><c> kind</c><00:01:56.159><c> of</c><00:01:56.240><c> learning</c><00:01:57.039><c> uh</c><00:01:57.600><c> learning</c>

00:01:58.590 --> 00:01:58.600 align:start position:0%
started kind of learning uh learning
 

00:01:58.600 --> 00:02:01.870 align:start position:0%
started kind of learning uh learning
about<00:01:58.880><c> it</c><00:01:59.600><c> uh</c><00:01:59.960><c> and</c><00:02:00.240><c> I</c><00:02:00.399><c> found</c><00:02:00.799><c> like</c><00:02:01.280><c> this</c><00:02:01.479><c> idea</c>

00:02:01.870 --> 00:02:01.880 align:start position:0%
about it uh and I found like this idea
 

00:02:01.880 --> 00:02:04.510 align:start position:0%
about it uh and I found like this idea
that<00:02:02.159><c> these</c><00:02:02.560><c> abstractions</c><00:02:03.560><c> actually</c><00:02:04.200><c> if</c><00:02:04.399><c> they</c>

00:02:04.510 --> 00:02:04.520 align:start position:0%
that these abstractions actually if they
 

00:02:04.520 --> 00:02:07.910 align:start position:0%
that these abstractions actually if they
are<00:02:04.759><c> make</c><00:02:05.039><c> in</c><00:02:05.200><c> an</c><00:02:05.640><c> accessible</c><00:02:06.360><c> way</c><00:02:07.360><c> uh</c><00:02:07.520><c> could</c>

00:02:07.910 --> 00:02:07.920 align:start position:0%
are make in an accessible way uh could
 

00:02:07.920 --> 00:02:10.070 align:start position:0%
are make in an accessible way uh could
make<00:02:08.599><c> much</c><00:02:08.800><c> more</c><00:02:09.000><c> easy</c><00:02:09.280><c> for</c><00:02:09.520><c> the</c><00:02:09.679><c> average</c>

00:02:10.070 --> 00:02:10.080 align:start position:0%
make much more easy for the average
 

00:02:10.080 --> 00:02:14.470 align:start position:0%
make much more easy for the average
developer<00:02:10.640><c> to</c><00:02:11.680><c> to</c><00:02:12.680><c> develop</c><00:02:13.120><c> CK</c><00:02:13.560><c> apps</c><00:02:13.840><c> and</c><00:02:14.239><c> that</c>

00:02:14.470 --> 00:02:14.480 align:start position:0%
developer to to develop CK apps and that
 

00:02:14.480 --> 00:02:16.470 align:start position:0%
developer to to develop CK apps and that
something<00:02:14.879><c> like</c><00:02:15.080><c> this</c><00:02:15.239><c> could</c><00:02:15.480><c> help</c><00:02:15.760><c> multiply</c>

00:02:16.470 --> 00:02:16.480 align:start position:0%
something like this could help multiply
 

00:02:16.480 --> 00:02:19.869 align:start position:0%
something like this could help multiply
CK<00:02:16.959><c> apps</c><00:02:18.080><c> development</c><00:02:19.080><c> and</c><00:02:19.239><c> with</c><00:02:19.440><c> that</c><00:02:19.640><c> we</c>

00:02:19.869 --> 00:02:19.879 align:start position:0%
CK apps development and with that we
 

00:02:19.879 --> 00:02:21.390 align:start position:0%
CK apps development and with that we
started

00:02:21.390 --> 00:02:21.400 align:start position:0%
started
 

00:02:21.400 --> 00:02:25.390 align:start position:0%
started
chikito<00:02:22.400><c> first</c><00:02:23.200><c> as</c><00:02:23.360><c> a</c><00:02:23.800><c> DSL</c><00:02:24.200><c> in</c><00:02:24.360><c> Rust</c><00:02:24.959><c> then</c><00:02:25.200><c> we</c>

00:02:25.390 --> 00:02:25.400 align:start position:0%
chikito first as a DSL in Rust then we
 

00:02:25.400 --> 00:02:27.710 align:start position:0%
chikito first as a DSL in Rust then we
added<00:02:25.720><c> a</c><00:02:26.080><c> python</c><00:02:26.400><c> frontend</c><00:02:26.840><c> to</c><00:02:27.000><c> make</c><00:02:27.200><c> it</c><00:02:27.400><c> even</c>

00:02:27.710 --> 00:02:27.720 align:start position:0%
added a python frontend to make it even
 

00:02:27.720 --> 00:02:30.190 align:start position:0%
added a python frontend to make it even
simpler<00:02:28.200><c> with</c><00:02:28.360><c> the</c><00:02:28.440><c> idea</c><00:02:28.800><c> that</c><00:02:29.440><c> theel</c><00:02:29.879><c> ERS</c>

00:02:30.190 --> 00:02:30.200 align:start position:0%
simpler with the idea that theel ERS
 

00:02:30.200 --> 00:02:32.150 align:start position:0%
simpler with the idea that theel ERS
didn't<00:02:30.400><c> need</c><00:02:30.560><c> to</c><00:02:30.800><c> even</c><00:02:31.000><c> learn</c><00:02:31.480><c> Ras</c><00:02:31.879><c> they</c><00:02:32.000><c> could</c>

00:02:32.150 --> 00:02:32.160 align:start position:0%
didn't need to even learn Ras they could
 

00:02:32.160 --> 00:02:35.470 align:start position:0%
didn't need to even learn Ras they could
do<00:02:32.280><c> it</c><00:02:32.400><c> on</c><00:02:32.640><c> Python</c><00:02:33.480><c> and</c><00:02:33.680><c> then</c><00:02:34.440><c> after</c><00:02:35.040><c> bringing</c>

00:02:35.470 --> 00:02:35.480 align:start position:0%
do it on Python and then after bringing
 

00:02:35.480 --> 00:02:38.190 align:start position:0%
do it on Python and then after bringing
it<00:02:35.760><c> to</c><00:02:36.160><c> several</c><00:02:36.519><c> hacker</c><00:02:36.959><c> houses</c><00:02:37.440><c> and</c><00:02:37.640><c> working</c>

00:02:38.190 --> 00:02:38.200 align:start position:0%
it to several hacker houses and working
 

00:02:38.200 --> 00:02:40.750 align:start position:0%
it to several hacker houses and working
with<00:02:38.800><c> with</c><00:02:39.000><c> Builders</c><00:02:39.519><c> at</c><00:02:39.680><c> a</c><00:02:40.159><c> experimental</c>

00:02:40.750 --> 00:02:40.760 align:start position:0%
with with Builders at a experimental
 

00:02:40.760 --> 00:02:43.790 align:start position:0%
with with Builders at a experimental
level<00:02:41.760><c> with</c><00:02:41.959><c> with</c><00:02:42.120><c> more</c><00:02:42.360><c> information</c><00:02:43.040><c> about</c>

00:02:43.790 --> 00:02:43.800 align:start position:0%
level with with more information about
 

00:02:43.800 --> 00:02:46.470 align:start position:0%
level with with more information about
how<00:02:44.640><c> it</c><00:02:44.720><c> should</c><00:02:44.959><c> be</c><00:02:45.120><c> built</c><00:02:45.760><c> we</c><00:02:46.000><c> started</c><00:02:46.319><c> kind</c>

00:02:46.470 --> 00:02:46.480 align:start position:0%
how it should be built we started kind
 

00:02:46.480 --> 00:02:48.830 align:start position:0%
how it should be built we started kind
of<00:02:46.640><c> creating</c><00:02:47.000><c> our</c><00:02:47.239><c> own</c><00:02:47.519><c> front</c><00:02:48.000><c> our</c><00:02:48.159><c> own</c><00:02:48.360><c> parel</c>

00:02:48.830 --> 00:02:48.840 align:start position:0%
of creating our own front our own parel
 

00:02:48.840 --> 00:02:50.430 align:start position:0%
of creating our own front our own parel
for<00:02:49.000><c> a</c><00:02:49.120><c> language</c><00:02:49.519><c> that</c><00:02:49.640><c> kind</c><00:02:49.760><c> of</c><00:02:50.159><c> has</c><00:02:50.280><c> a</c>

00:02:50.430 --> 00:02:50.440 align:start position:0%
for a language that kind of has a
 

00:02:50.440 --> 00:02:53.670 align:start position:0%
for a language that kind of has a
similar<00:02:51.319><c> syntax</c><00:02:51.760><c> to</c><00:02:51.920><c> circum</c><00:02:52.480><c> but</c><00:02:52.760><c> has</c><00:02:53.280><c> a</c><00:02:53.440><c> state</c>

00:02:53.670 --> 00:02:53.680 align:start position:0%
similar syntax to circum but has a state
 

00:02:53.680 --> 00:02:55.670 align:start position:0%
similar syntax to circum but has a state
machines<00:02:54.280><c> and</c><00:02:54.519><c> and</c><00:02:54.680><c> more</c>

00:02:55.670 --> 00:02:55.680 align:start position:0%
machines and and more
 

00:02:55.680 --> 00:02:58.390 align:start position:0%
machines and and more
things<00:02:56.680><c> so</c><00:02:57.159><c> in</c><00:02:57.319><c> the</c><00:02:57.440><c> end</c><00:02:57.640><c> what</c><00:02:57.800><c> we</c><00:02:57.920><c> implemented</c>

00:02:58.390 --> 00:02:58.400 align:start position:0%
things so in the end what we implemented
 

00:02:58.400 --> 00:03:01.350 align:start position:0%
things so in the end what we implemented
the<00:02:58.519><c> steam</c><00:02:58.840><c> machines</c><00:02:59.840><c> there</c><00:02:59.959><c> are</c><00:03:00.519><c> the</c><00:03:00.920><c> as</c><00:03:01.159><c> the</c>

00:03:01.350 --> 00:03:01.360 align:start position:0%
the steam machines there are the as the
 

00:03:01.360 --> 00:03:03.190 align:start position:0%
the steam machines there are the as the
kind<00:03:01.480><c> of</c><00:03:01.640><c> the</c><00:03:01.800><c> definition</c><00:03:02.319><c> like</c><00:03:02.480><c> the</c>

00:03:03.190 --> 00:03:03.200 align:start position:0%
kind of the definition like the
 

00:03:03.200 --> 00:03:05.830 align:start position:0%
kind of the definition like the
constraints<00:03:04.200><c> of</c><00:03:04.440><c> the</c><00:03:04.680><c> transitions</c><00:03:05.360><c> of</c><00:03:05.560><c> State</c>

00:03:05.830 --> 00:03:05.840 align:start position:0%
constraints of the transitions of State
 

00:03:05.840 --> 00:03:09.229 align:start position:0%
constraints of the transitions of State
machines<00:03:06.280><c> are</c><00:03:06.560><c> kind</c><00:03:06.680><c> of</c><00:03:06.840><c> the</c><00:03:07.400><c> circuit</c><00:03:08.400><c> and</c><00:03:09.080><c> the</c>

00:03:09.229 --> 00:03:09.239 align:start position:0%
machines are kind of the circuit and the
 

00:03:09.239 --> 00:03:11.949 align:start position:0%
machines are kind of the circuit and the
witness<00:03:09.640><c> is</c><00:03:09.799><c> the</c><00:03:10.000><c> trace</c><00:03:10.680><c> of</c><00:03:10.920><c> a</c><00:03:11.120><c> of</c><00:03:11.280><c> a</c><00:03:11.560><c> instance</c>

00:03:11.949 --> 00:03:11.959 align:start position:0%
witness is the trace of a of a instance
 

00:03:11.959 --> 00:03:14.309 align:start position:0%
witness is the trace of a of a instance
of<00:03:12.280><c> execution</c><00:03:13.080><c> of</c><00:03:13.239><c> these</c><00:03:13.440><c> State</c><00:03:13.720><c> machines</c><00:03:14.159><c> and</c>

00:03:14.309 --> 00:03:14.319 align:start position:0%
of execution of these State machines and
 

00:03:14.319 --> 00:03:16.309 align:start position:0%
of execution of these State machines and
that's<00:03:14.519><c> kind</c><00:03:14.640><c> of</c><00:03:14.799><c> like</c><00:03:14.959><c> the</c><00:03:15.080><c> main</c><00:03:15.360><c> abstraction</c>

00:03:16.309 --> 00:03:16.319 align:start position:0%
that's kind of like the main abstraction
 

00:03:16.319 --> 00:03:18.710 align:start position:0%
that's kind of like the main abstraction
at<00:03:16.519><c> chikito</c><00:03:17.400><c> and</c><00:03:17.599><c> then</c><00:03:18.239><c> with</c><00:03:18.400><c> the</c><00:03:18.480><c> cell</c>

00:03:18.710 --> 00:03:18.720 align:start position:0%
at chikito and then with the cell
 

00:03:18.720 --> 00:03:20.589 align:start position:0%
at chikito and then with the cell
managers<00:03:19.239><c> we</c><00:03:19.400><c> abstract</c><00:03:19.959><c> how</c><00:03:20.200><c> that</c><00:03:20.400><c> is</c>

00:03:20.589 --> 00:03:20.599 align:start position:0%
managers we abstract how that is
 

00:03:20.599 --> 00:03:23.229 align:start position:0%
managers we abstract how that is
converted<00:03:21.040><c> to</c><00:03:21.200><c> the</c><00:03:21.319><c> plish</c><00:03:21.920><c> table</c><00:03:22.440><c> and</c><00:03:22.640><c> how</c><00:03:22.959><c> the</c>

00:03:23.229 --> 00:03:23.239 align:start position:0%
converted to the plish table and how the
 

00:03:23.239 --> 00:03:26.470 align:start position:0%
converted to the plish table and how the
the<00:03:23.799><c> the</c><00:03:23.959><c> witness</c><00:03:24.640><c> is</c><00:03:25.159><c> is</c><00:03:25.599><c> arranged</c><00:03:26.200><c> in</c>

00:03:26.470 --> 00:03:26.480 align:start position:0%
the the witness is is arranged in
 

00:03:26.480 --> 00:03:29.149 align:start position:0%
the the witness is is arranged in
efficient<00:03:26.920><c> way</c><00:03:27.760><c> and</c><00:03:28.120><c> can</c><00:03:28.439><c> be</c><00:03:28.799><c> is</c><00:03:29.000><c> is</c>

00:03:29.149 --> 00:03:29.159 align:start position:0%
efficient way and can be is is
 

00:03:29.159 --> 00:03:30.869 align:start position:0%
efficient way and can be is is
independence<00:03:29.560><c> of</c><00:03:30.000><c> configuring</c><00:03:30.560><c> different</c>

00:03:30.869 --> 00:03:30.879 align:start position:0%
independence of configuring different
 

00:03:30.879 --> 00:03:33.710 align:start position:0%
independence of configuring different
ways<00:03:31.159><c> to</c><00:03:31.519><c> try</c><00:03:31.920><c> different</c><00:03:32.480><c> things</c><00:03:33.480><c> then</c>

00:03:33.710 --> 00:03:33.720 align:start position:0%
ways to try different things then
 

00:03:33.720 --> 00:03:35.789 align:start position:0%
ways to try different things then
another<00:03:34.000><c> thing</c><00:03:34.200><c> that</c><00:03:34.319><c> we</c><00:03:34.480><c> built</c><00:03:34.879><c> is</c><00:03:35.120><c> like</c>

00:03:35.789 --> 00:03:35.799 align:start position:0%
another thing that we built is like
 

00:03:35.799 --> 00:03:37.229 align:start position:0%
another thing that we built is like
arbitrary<00:03:36.280><c> Boolean</c><00:03:36.680><c> Expressions</c>

00:03:37.229 --> 00:03:37.239 align:start position:0%
arbitrary Boolean Expressions
 

00:03:37.239 --> 00:03:39.110 align:start position:0%
arbitrary Boolean Expressions
compilation<00:03:37.760><c> to</c><00:03:37.879><c> polinomial</c><00:03:38.360><c> identities</c><00:03:38.959><c> no</c>

00:03:39.110 --> 00:03:39.120 align:start position:0%
compilation to polinomial identities no
 

00:03:39.120 --> 00:03:41.990 align:start position:0%
compilation to polinomial identities no
so<00:03:39.400><c> the</c><00:03:39.599><c> the</c><00:03:40.080><c> constraints</c><00:03:41.080><c> are</c><00:03:41.400><c> expressed</c><00:03:41.840><c> as</c>

00:03:41.990 --> 00:03:42.000 align:start position:0%
so the the constraints are expressed as
 

00:03:42.000 --> 00:03:46.309 align:start position:0%
so the the constraints are expressed as
polinomial<00:03:42.760><c> identities</c><00:03:44.200><c> and</c><00:03:45.200><c> and</c><00:03:45.360><c> we</c><00:03:45.560><c> build</c><00:03:46.120><c> a</c>

00:03:46.309 --> 00:03:46.319 align:start position:0%
polinomial identities and and we build a
 

00:03:46.319 --> 00:03:49.149 align:start position:0%
polinomial identities and and we build a
system<00:03:46.840><c> that</c><00:03:47.200><c> any</c><00:03:47.439><c> Boolean</c><00:03:47.959><c> expression</c><00:03:48.840><c> as</c>

00:03:49.149 --> 00:03:49.159 align:start position:0%
system that any Boolean expression as
 

00:03:49.159 --> 00:03:51.429 align:start position:0%
system that any Boolean expression as
complicated<00:03:49.760><c> as</c><00:03:50.040><c> necessary</c><00:03:50.920><c> it</c><00:03:51.040><c> will</c><00:03:51.239><c> be</c>

00:03:51.429 --> 00:03:51.439 align:start position:0%
complicated as necessary it will be
 

00:03:51.439 --> 00:03:55.229 align:start position:0%
complicated as necessary it will be
automatically<00:03:52.439><c> compiled</c><00:03:53.040><c> to</c><00:03:53.959><c> to</c><00:03:54.319><c> to</c><00:03:54.599><c> this</c><00:03:55.000><c> and</c>

00:03:55.229 --> 00:03:55.239 align:start position:0%
automatically compiled to to to this and
 

00:03:55.239 --> 00:03:58.990 align:start position:0%
automatically compiled to to to this and
we<00:03:55.480><c> kind</c><00:03:55.640><c> of</c><00:03:56.000><c> develop</c><00:03:56.560><c> a</c><00:03:56.879><c> a</c><00:03:57.640><c> a</c><00:03:57.799><c> mini</c><00:03:58.200><c> theory</c>

00:03:58.990 --> 00:03:59.000 align:start position:0%
we kind of develop a a a mini theory
 

00:03:59.000 --> 00:04:00.390 align:start position:0%
we kind of develop a a a mini theory
about<00:03:59.439><c> how</c>

00:04:00.390 --> 00:04:00.400 align:start position:0%
about how
 

00:04:00.400 --> 00:04:03.789 align:start position:0%
about how
how<00:04:00.560><c> to</c><00:04:00.720><c> build</c><00:04:01.200><c> this</c><00:04:02.200><c> uh</c><00:04:02.640><c> that</c><00:04:02.879><c> can</c><00:04:03.079><c> be</c><00:04:03.280><c> used</c><00:04:03.640><c> in</c>

00:04:03.789 --> 00:04:03.799 align:start position:0%
how to build this uh that can be used in
 

00:04:03.799 --> 00:04:06.949 align:start position:0%
how to build this uh that can be used in
other<00:04:04.200><c> languages</c><00:04:04.840><c> like</c><00:04:05.079><c> how</c><00:04:05.239><c> to</c><00:04:05.680><c> compile</c><00:04:06.200><c> any</c>

00:04:06.949 --> 00:04:06.959 align:start position:0%
other languages like how to compile any
 

00:04:06.959 --> 00:04:09.069 align:start position:0%
other languages like how to compile any
any<00:04:07.159><c> Boolean</c><00:04:07.560><c> expression</c><00:04:08.040><c> into</c><00:04:08.400><c> polinomial</c>

00:04:09.069 --> 00:04:09.079 align:start position:0%
any Boolean expression into polinomial
 

00:04:09.079 --> 00:04:12.710 align:start position:0%
any Boolean expression into polinomial
identities<00:04:10.079><c> then</c><00:04:10.319><c> we</c><00:04:10.879><c> also</c><00:04:11.879><c> like</c><00:04:12.159><c> compilers</c>

00:04:12.710 --> 00:04:12.720 align:start position:0%
identities then we also like compilers
 

00:04:12.720 --> 00:04:15.270 align:start position:0%
identities then we also like compilers
has<00:04:12.879><c> to</c><00:04:13.120><c> optimize</c><00:04:13.959><c> and</c><00:04:14.200><c> through</c><00:04:14.439><c> optimization</c>

00:04:15.270 --> 00:04:15.280 align:start position:0%
has to optimize and through optimization
 

00:04:15.280 --> 00:04:18.030 align:start position:0%
has to optimize and through optimization
can<00:04:15.519><c> get</c><00:04:15.760><c> to</c><00:04:15.959><c> better</c><00:04:16.400><c> performance</c><00:04:17.079><c> that</c><00:04:17.880><c> wow</c>

00:04:18.030 --> 00:04:18.040 align:start position:0%
can get to better performance that wow
 

00:04:18.040 --> 00:04:20.870 align:start position:0%
can get to better performance that wow
I'm<00:04:18.199><c> going</c><00:04:18.440><c> super</c><00:04:18.720><c> slow</c><00:04:19.479><c> so</c><00:04:19.880><c> yes</c><00:04:20.040><c> we</c><00:04:20.199><c> did</c><00:04:20.359><c> more</c>

00:04:20.870 --> 00:04:20.880 align:start position:0%
I'm going super slow so yes we did more
 

00:04:20.880 --> 00:04:24.510 align:start position:0%
I'm going super slow so yes we did more
things<00:04:21.880><c> and</c><00:04:22.120><c> this</c><00:04:22.240><c> is</c><00:04:22.440><c> how</c><00:04:22.639><c> it</c><00:04:22.800><c> looks</c><00:04:23.080><c> the</c><00:04:23.520><c> code</c>

00:04:24.510 --> 00:04:24.520 align:start position:0%
things and this is how it looks the code
 

00:04:24.520 --> 00:04:26.430 align:start position:0%
things and this is how it looks the code
and<00:04:25.000><c> uh</c><00:04:25.240><c> yeah</c><00:04:25.400><c> you</c><00:04:25.520><c> can</c><00:04:25.759><c> like</c><00:04:25.880><c> for</c><00:04:26.040><c> example</c>

00:04:26.430 --> 00:04:26.440 align:start position:0%
and uh yeah you can like for example
 

00:04:26.440 --> 00:04:28.189 align:start position:0%
and uh yeah you can like for example
here<00:04:26.639><c> you</c><00:04:26.759><c> can</c><00:04:26.880><c> see</c><00:04:27.240><c> like</c><00:04:27.400><c> arbitrary</c><00:04:27.880><c> buen</c>

00:04:28.189 --> 00:04:28.199 align:start position:0%
here you can see like arbitrary buen
 

00:04:28.199 --> 00:04:29.189 align:start position:0%
here you can see like arbitrary buen
Expressions<00:04:28.600><c> that</c><00:04:28.720><c> are</c><00:04:28.880><c> compiled</c>

00:04:29.189 --> 00:04:29.199 align:start position:0%
Expressions that are compiled
 

00:04:29.199 --> 00:04:30.710 align:start position:0%
Expressions that are compiled
automatically<00:04:29.759><c> to</c>

00:04:30.710 --> 00:04:30.720 align:start position:0%
automatically to
 

00:04:30.720 --> 00:04:34.230 align:start position:0%
automatically to
constraints<00:04:31.840><c> and</c><00:04:32.840><c> we</c><00:04:33.039><c> saw</c><00:04:33.400><c> like</c><00:04:33.639><c> it</c><00:04:33.800><c> was</c><00:04:33.960><c> super</c>

00:04:34.230 --> 00:04:34.240 align:start position:0%
constraints and we saw like it was super
 

00:04:34.240 --> 00:04:37.110 align:start position:0%
constraints and we saw like it was super
easy<00:04:34.560><c> and</c><00:04:35.120><c> and</c><00:04:35.440><c> users</c><00:04:36.120><c> really</c><00:04:36.440><c> quickly</c><00:04:36.840><c> could</c>

00:04:37.110 --> 00:04:37.120 align:start position:0%
easy and and users really quickly could
 

00:04:37.120 --> 00:04:38.830 align:start position:0%
easy and and users really quickly could
develop<00:04:37.520><c> like</c><00:04:37.840><c> complicated</c><00:04:38.440><c> things</c><00:04:38.680><c> like</c>

00:04:38.830 --> 00:04:38.840 align:start position:0%
develop like complicated things like
 

00:04:38.840 --> 00:04:41.189 align:start position:0%
develop like complicated things like
Blake<00:04:39.080><c> to</c><00:04:39.360><c> Hash</c><00:04:39.759><c> that</c><00:04:40.240><c> in</c><00:04:40.400><c> the</c><00:04:40.479><c> ckvn</c><00:04:41.080><c> we</c>

00:04:41.189 --> 00:04:41.199 align:start position:0%
Blake to Hash that in the ckvn we
 

00:04:41.199 --> 00:04:43.110 align:start position:0%
Blake to Hash that in the ckvn we
couldn't<00:04:41.560><c> Implement</c><00:04:42.280><c> on</c><00:04:42.440><c> top</c><00:04:42.600><c> of</c><00:04:42.720><c> Hell</c><00:04:42.960><c> 2</c>

00:04:43.110 --> 00:04:43.120 align:start position:0%
couldn't Implement on top of Hell 2
 

00:04:43.120 --> 00:04:45.950 align:start position:0%
couldn't Implement on top of Hell 2
normally<00:04:43.560><c> with</c><00:04:43.840><c> it</c><00:04:44.840><c> and</c><00:04:45.199><c> we</c><00:04:45.400><c> we</c><00:04:45.520><c> check</c><00:04:45.840><c> that</c>

00:04:45.950 --> 00:04:45.960 align:start position:0%
normally with it and we we check that
 

00:04:45.960 --> 00:04:47.350 align:start position:0%
normally with it and we we check that
they<00:04:46.080><c> has</c><00:04:46.240><c> the</c><00:04:46.360><c> same</c><00:04:46.600><c> performance</c><00:04:47.080><c> are</c>

00:04:47.350 --> 00:04:47.360 align:start position:0%
they has the same performance are
 

00:04:47.360 --> 00:04:50.790 align:start position:0%
they has the same performance are
manually<00:04:47.800><c> doing</c><00:04:48.080><c> with</c><00:04:48.440><c> h</c><00:04:48.960><c> 2</c><00:04:49.960><c> and</c><00:04:50.320><c> we</c><00:04:50.520><c> found</c>

00:04:50.790 --> 00:04:50.800 align:start position:0%
manually doing with h 2 and we found
 

00:04:50.800 --> 00:04:54.150 align:start position:0%
manually doing with h 2 and we found
some<00:04:51.039><c> things</c><00:04:51.240><c> that</c><00:04:51.400><c> can</c><00:04:51.600><c> be</c><00:04:52.039><c> better</c><00:04:53.039><c> and</c><00:04:53.960><c> and</c>

00:04:54.150 --> 00:04:54.160 align:start position:0%
some things that can be better and and
 

00:04:54.160 --> 00:04:56.150 align:start position:0%
some things that can be better and and
then<00:04:54.680><c> the</c><00:04:54.840><c> reasons</c><00:04:55.240><c> to</c><00:04:55.400><c> sunet</c><00:04:55.800><c> it</c><00:04:55.960><c> is</c>

00:04:56.150 --> 00:04:56.160 align:start position:0%
then the reasons to sunet it is
 

00:04:56.160 --> 00:04:59.310 align:start position:0%
then the reasons to sunet it is
basically<00:04:56.520><c> ckvm</c><00:04:57.240><c> the</c><00:04:57.360><c> race</c><00:04:57.560><c> of</c><00:04:57.919><c> ckvm</c><00:04:58.919><c> make</c><00:04:59.160><c> us</c>

00:04:59.310 --> 00:04:59.320 align:start position:0%
basically ckvm the race of ckvm make us
 

00:04:59.320 --> 00:05:02.270 align:start position:0%
basically ckvm the race of ckvm make us
re<00:04:59.919><c> that</c><00:05:00.560><c> that</c><00:05:01.080><c> now</c><00:05:01.360><c> we</c><00:05:01.479><c> are</c><00:05:01.639><c> in</c><00:05:01.800><c> a</c><00:05:02.000><c> kind</c><00:05:02.120><c> of</c>

00:05:02.270 --> 00:05:02.280 align:start position:0%
re that that now we are in a kind of
 

00:05:02.280 --> 00:05:04.830 align:start position:0%
re that that now we are in a kind of
ckvm<00:05:03.000><c> era</c><00:05:03.320><c> that</c><00:05:03.560><c> the</c><00:05:04.039><c> applications</c><00:05:04.600><c> we</c><00:05:04.720><c> want</c>

00:05:04.830 --> 00:05:04.840 align:start position:0%
ckvm era that the applications we want
 

00:05:04.840 --> 00:05:08.790 align:start position:0%
ckvm era that the applications we want
to<00:05:05.039><c> build</c><00:05:06.160><c> now</c><00:05:07.160><c> are</c><00:05:07.680><c> probably</c><00:05:08.000><c> better</c><00:05:08.320><c> built</c>

00:05:08.790 --> 00:05:08.800 align:start position:0%
to build now are probably better built
 

00:05:08.800 --> 00:05:12.469 align:start position:0%
to build now are probably better built
by<00:05:09.360><c> on</c><00:05:09.560><c> CK</c><00:05:10.360><c> VMS</c><00:05:11.360><c> and</c><00:05:11.600><c> thank</c><00:05:11.800><c> you</c><00:05:11.880><c> for</c><00:05:12.120><c> all</c><00:05:12.280><c> the</c>

00:05:12.469 --> 00:05:12.479 align:start position:0%
by on CK VMS and thank you for all the
 

00:05:12.479 --> 00:05:15.070 align:start position:0%
by on CK VMS and thank you for all the
people<00:05:12.960><c> participating</c><00:05:13.680><c> in</c><00:05:13.880><c> different</c><00:05:14.280><c> stages</c>

00:05:15.070 --> 00:05:15.080 align:start position:0%
people participating in different stages
 

00:05:15.080 --> 00:05:18.870 align:start position:0%
people participating in different stages
on<00:05:15.320><c> on</c><00:05:15.800><c> Chito</c><00:05:16.800><c> H</c><00:05:16.960><c> PSC</c><00:05:17.440><c> Engineers</c><00:05:18.199><c> researchers</c>

00:05:18.870 --> 00:05:18.880 align:start position:0%
on on Chito H PSC Engineers researchers
 

00:05:18.880 --> 00:05:24.550 align:start position:0%
on on Chito H PSC Engineers researchers
and<00:05:19.120><c> and</c><00:05:19.800><c> grantees</c><00:05:20.800><c> and</c><00:05:21.440><c> yeah</c><00:05:21.800><c> thank</c><00:05:21.960><c> you</c><00:05:22.120><c> very</c>

00:05:24.550 --> 00:05:24.560 align:start position:0%
 
 

00:05:24.560 --> 00:05:28.430 align:start position:0%
 
much<00:05:25.560><c> thanks</c><00:05:26.360><c> Leo</c><00:05:27.360><c> Question</c>

00:05:28.430 --> 00:05:28.440 align:start position:0%
much thanks Leo Question
 

00:05:28.440 --> 00:05:31.710 align:start position:0%
much thanks Leo Question
Time<00:05:29.440><c> have</c><00:05:30.080><c> I</c><00:05:30.199><c> had</c><00:05:30.319><c> to</c><00:05:30.440><c> accelerate</c><00:05:30.880><c> a</c>

00:05:31.710 --> 00:05:31.720 align:start position:0%
Time have I had to accelerate a
 

00:05:31.720 --> 00:05:36.150 align:start position:0%
Time have I had to accelerate a
lot<00:05:32.720><c> any</c><00:05:33.000><c> question</c><00:05:33.560><c> oh</c><00:05:33.800><c> there</c><00:05:34.360><c> I'll</c><00:05:34.639><c> go</c>

00:05:36.150 --> 00:05:36.160 align:start position:0%
lot any question oh there I'll go
 

00:05:36.160 --> 00:05:38.430 align:start position:0%
lot any question oh there I'll go
closer<00:05:37.160><c> I</c><00:05:37.280><c> wanted</c><00:05:37.520><c> to</c><00:05:37.680><c> throw</c><00:05:37.919><c> it</c><00:05:38.160><c> you</c><00:05:38.240><c> want</c><00:05:38.360><c> to</c>

00:05:38.430 --> 00:05:38.440 align:start position:0%
closer I wanted to throw it you want to
 

00:05:38.440 --> 00:05:40.510 align:start position:0%
closer I wanted to throw it you want to
throw<00:05:38.720><c> you</c><00:05:38.800><c> can</c><00:05:38.919><c> do</c><00:05:39.160><c> next</c><00:05:39.440><c> okay</c><00:05:39.720><c> okay</c><00:05:40.360><c> hey</c>

00:05:40.510 --> 00:05:40.520 align:start position:0%
throw you can do next okay okay hey
 

00:05:40.520 --> 00:05:43.790 align:start position:0%
throw you can do next okay okay hey
Lance<00:05:41.080><c> yo</c><00:05:41.280><c> what's</c><00:05:41.400><c> up</c><00:05:41.520><c> Leo</c><00:05:42.440><c> um</c><00:05:42.759><c> so</c><00:05:43.039><c> question</c><00:05:43.400><c> on</c>

00:05:43.790 --> 00:05:43.800 align:start position:0%
Lance yo what's up Leo um so question on
 

00:05:43.800 --> 00:05:45.550 align:start position:0%
Lance yo what's up Leo um so question on
custom<00:05:44.160><c> constraint</c><00:05:44.600><c> systems</c><00:05:44.960><c> I</c><00:05:45.080><c> saw</c><00:05:45.319><c> that</c>

00:05:45.550 --> 00:05:45.560 align:start position:0%
custom constraint systems I saw that
 

00:05:45.560 --> 00:05:48.350 align:start position:0%
custom constraint systems I saw that
there<00:05:45.800><c> was</c><00:05:46.000><c> one</c><00:05:46.120><c> of</c><00:05:46.360><c> the</c><00:05:46.960><c> um</c><00:05:47.800><c> libraries</c><00:05:48.280><c> that</c>

00:05:48.350 --> 00:05:48.360 align:start position:0%
there was one of the um libraries that
 

00:05:48.360 --> 00:05:51.189 align:start position:0%
there was one of the um libraries that
you<00:05:48.479><c> all</c><00:05:48.639><c> Ed</c><00:05:49.440><c> when</c><00:05:49.560><c> it</c><00:05:49.720><c> comes</c><00:05:49.880><c> to</c><00:05:50.080><c> ccs</c><00:05:50.600><c> and</c><00:05:50.759><c> ZK</c>

00:05:51.189 --> 00:05:51.199 align:start position:0%
you all Ed when it comes to ccs and ZK
 

00:05:51.199 --> 00:05:53.710 align:start position:0%
you all Ed when it comes to ccs and ZK
VMS<00:05:52.000><c> can</c><00:05:52.160><c> you</c><00:05:52.520><c> like</c><00:05:52.639><c> are</c><00:05:52.759><c> there</c><00:05:52.880><c> any</c><00:05:53.039><c> ZK</c><00:05:53.360><c> VMS</c>

00:05:53.710 --> 00:05:53.720 align:start position:0%
VMS can you like are there any ZK VMS
 

00:05:53.720 --> 00:05:55.430 align:start position:0%
VMS can you like are there any ZK VMS
that<00:05:53.800><c> are</c><00:05:54.000><c> implementing</c><00:05:54.639><c> for</c><00:05:54.880><c> that</c><00:05:55.120><c> to</c><00:05:55.280><c> go</c>

00:05:55.430 --> 00:05:55.440 align:start position:0%
that are implementing for that to go
 

00:05:55.440 --> 00:05:56.870 align:start position:0%
that are implementing for that to go
from<00:05:55.639><c> like</c><00:05:55.840><c> plunk</c><00:05:56.199><c> to</c>

00:05:56.870 --> 00:05:56.880 align:start position:0%
from like plunk to
 

00:05:56.880 --> 00:06:00.070 align:start position:0%
from like plunk to
air<00:05:57.880><c> but</c><00:05:58.160><c> that</c><00:05:58.319><c> wouldn't</c><00:05:58.639><c> be</c><00:05:58.840><c> like</c><00:05:59.080><c> a</c><00:05:59.280><c> to</c><00:05:59.680><c> go</c>

00:06:00.070 --> 00:06:00.080 align:start position:0%
air but that wouldn't be like a to go
 

00:06:00.080 --> 00:06:02.909 align:start position:0%
air but that wouldn't be like a to go
plong<00:06:00.360><c> to</c><00:06:00.600><c> air</c><00:06:01.600><c> that</c><00:06:01.680><c> would</c><00:06:01.840><c> be</c><00:06:02.039><c> kind</c><00:06:02.160><c> of</c><00:06:02.360><c> a</c>

00:06:02.909 --> 00:06:02.919 align:start position:0%
plong to air that would be kind of a
 

00:06:02.919 --> 00:06:05.629 align:start position:0%
plong to air that would be kind of a
easy<00:06:03.280><c> translation</c><00:06:04.000><c> I</c><00:06:04.120><c> think</c><00:06:04.400><c> like</c><00:06:04.680><c> a</c><00:06:04.960><c> not</c><00:06:05.120><c> a</c><00:06:05.280><c> VM</c>

00:06:05.629 --> 00:06:05.639 align:start position:0%
easy translation I think like a not a VM
 

00:06:05.639 --> 00:06:08.029 align:start position:0%
easy translation I think like a not a VM
but<00:06:05.880><c> uh</c><00:06:06.680><c> from</c><00:06:06.880><c> PL</c><00:06:07.160><c> to</c><00:06:07.240><c> a</c><00:06:07.440><c> be</c><00:06:07.599><c> kind</c><00:06:07.720><c> of</c><00:06:07.840><c> easy</c>

00:06:08.029 --> 00:06:08.039 align:start position:0%
but uh from PL to a be kind of easy
 

00:06:08.039 --> 00:06:09.510 align:start position:0%
but uh from PL to a be kind of easy
translation<00:06:08.560><c> no</c><00:06:08.720><c> because</c><00:06:08.960><c> the</c><00:06:09.080><c> difference</c>

00:06:09.510 --> 00:06:09.520 align:start position:0%
translation no because the difference
 

00:06:09.520 --> 00:06:11.150 align:start position:0%
translation no because the difference
kind<00:06:09.639><c> of</c><00:06:10.039><c> the</c><00:06:10.160><c> rotations</c><00:06:10.680><c> work</c><00:06:10.919><c> in</c><00:06:11.039><c> the</c>

00:06:11.150 --> 00:06:11.160 align:start position:0%
kind of the rotations work in the
 

00:06:11.160 --> 00:06:14.189 align:start position:0%
kind of the rotations work in the
arithmetization<00:06:11.800><c> so</c><00:06:12.800><c> we</c><00:06:13.039><c> we</c><00:06:13.240><c> actually</c><00:06:13.840><c> yeah</c>

00:06:14.189 --> 00:06:14.199 align:start position:0%
arithmetization so we we actually yeah
 

00:06:14.199 --> 00:06:16.070 align:start position:0%
arithmetization so we we actually yeah
we<00:06:14.319><c> we</c><00:06:14.479><c> implemented</c><00:06:15.000><c> the</c><00:06:15.120><c> backend</c><00:06:15.479><c> as</c><00:06:15.720><c> powder</c>

00:06:16.070 --> 00:06:16.080 align:start position:0%
we we implemented the backend as powder
 

00:06:16.080 --> 00:06:19.550 align:start position:0%
we we implemented the backend as powder
that<00:06:16.199><c> is</c><00:06:16.319><c> kind</c><00:06:16.440><c> of</c><00:06:16.720><c> air</c><00:06:17.720><c> so</c><00:06:18.400><c> powder</c><00:06:19.080><c> powder</c>

00:06:19.550 --> 00:06:19.560 align:start position:0%
that is kind of air so powder powder
 

00:06:19.560 --> 00:06:22.909 align:start position:0%
that is kind of air so powder powder
yeah<00:06:20.120><c> one</c><00:06:20.199><c> of</c><00:06:20.440><c> the</c><00:06:20.800><c> yes</c><00:06:21.120><c> the</c><00:06:21.479><c> the</c><00:06:22.240><c> ah</c><00:06:22.440><c> I</c><00:06:22.560><c> can</c>

00:06:22.909 --> 00:06:22.919 align:start position:0%
yeah one of the yes the the ah I can
 

00:06:22.919 --> 00:06:25.430 align:start position:0%
yeah one of the yes the the ah I can
show<00:06:23.240><c> this</c><00:06:23.599><c> yeah</c><00:06:24.160><c> I'm</c><00:06:24.319><c> famili</c><00:06:24.759><c> yeah</c><00:06:24.919><c> yeah</c><00:06:25.039><c> so</c>

00:06:25.430 --> 00:06:25.440 align:start position:0%
show this yeah I'm famili yeah yeah so
 

00:06:25.440 --> 00:06:27.309 align:start position:0%
show this yeah I'm famili yeah yeah so
we<00:06:25.639><c> impl</c><00:06:26.039><c> back</c><00:06:26.280><c> for</c><00:06:26.479><c> powder</c><00:06:26.800><c> that</c><00:06:26.880><c> is</c><00:06:27.039><c> kind</c><00:06:27.160><c> of</c>

00:06:27.309 --> 00:06:27.319 align:start position:0%
we impl back for powder that is kind of
 

00:06:27.319 --> 00:06:31.029 align:start position:0%
we impl back for powder that is kind of
air<00:06:27.720><c> yeah</c><00:06:27.880><c> so</c><00:06:28.880><c> yeah</c><00:06:29.039><c> that's</c><00:06:29.840><c> e</c><00:06:30.080><c> plony</c><00:06:30.560><c> and</c><00:06:30.800><c> and</c>

00:06:31.029 --> 00:06:31.039 align:start position:0%
air yeah so yeah that's e plony and and
 

00:06:31.039 --> 00:06:33.790 align:start position:0%
air yeah so yeah that's e plony and and
and<00:06:31.759><c> and</c><00:06:31.960><c> and</c><00:06:32.160><c> even</c><00:06:32.440><c> CCS</c><00:06:32.919><c> we</c><00:06:33.039><c> implemented</c><00:06:33.440><c> the</c>

00:06:33.790 --> 00:06:33.800 align:start position:0%
and and and even CCS we implemented the
 

00:06:33.800 --> 00:06:35.110 align:start position:0%
and and and even CCS we implemented the
in<00:06:33.919><c> CCS</c>

00:06:35.110 --> 00:06:35.120 align:start position:0%
in CCS
 

00:06:35.120 --> 00:06:38.790 align:start position:0%
in CCS
sonov<00:06:36.120><c> um</c><00:06:36.880><c> so</c><00:06:37.440><c> compile</c><00:06:37.880><c> to</c><00:06:38.120><c> we</c><00:06:38.240><c> we</c><00:06:38.360><c> didn't</c><00:06:38.599><c> have</c>

00:06:38.790 --> 00:06:38.800 align:start position:0%
sonov um so compile to we we didn't have
 

00:06:38.800 --> 00:06:42.950 align:start position:0%
sonov um so compile to we we didn't have
time<00:06:39.039><c> to</c><00:06:39.639><c> check</c><00:06:40.080><c> the</c><00:06:41.080><c> the</c><00:06:41.280><c> performance</c><00:06:41.759><c> on</c><00:06:41.960><c> zob</c>

00:06:42.950 --> 00:06:42.960 align:start position:0%
time to check the the performance on zob
 

00:06:42.960 --> 00:06:45.469 align:start position:0%
time to check the the performance on zob
uh<00:06:43.520><c> but</c><00:06:43.840><c> but</c><00:06:44.080><c> it</c><00:06:44.319><c> it</c><00:06:44.520><c> was</c><00:06:45.000><c> it</c><00:06:45.080><c> was</c><00:06:45.240><c> something</c>

00:06:45.469 --> 00:06:45.479 align:start position:0%
uh but but it it was it was something
 

00:06:45.479 --> 00:06:48.469 align:start position:0%
uh but but it it was it was something
that<00:06:45.680><c> was</c><00:06:45.960><c> compilable</c><00:06:46.800><c> to</c><00:06:47.199><c> many</c><00:06:47.479><c> different</c><00:06:48.319><c> uh</c>

00:06:48.469 --> 00:06:48.479 align:start position:0%
that was compilable to many different uh
 

00:06:48.479 --> 00:06:52.629 align:start position:0%
that was compilable to many different uh
proving<00:06:49.000><c> systems</c><00:06:50.000><c> do</c><00:06:50.560><c> really</c>

00:06:52.629 --> 00:06:52.639 align:start position:0%
proving systems do really
 

00:06:52.639 --> 00:06:55.070 align:start position:0%
proving systems do really
cool<00:06:53.639><c> I</c><00:06:53.759><c> think</c><00:06:53.919><c> there's</c><00:06:54.120><c> a</c><00:06:54.319><c> question</c><00:06:54.720><c> here</c>

00:06:55.070 --> 00:06:55.080 align:start position:0%
cool I think there's a question here
 

00:06:55.080 --> 00:06:56.830 align:start position:0%
cool I think there's a question here
yeah<00:06:55.520><c> you</c><00:06:55.599><c> want</c><00:06:55.680><c> to</c><00:06:55.800><c> start</c>

00:06:56.830 --> 00:06:56.840 align:start position:0%
yeah you want to start
 

00:06:56.840 --> 00:07:05.070 align:start position:0%
yeah you want to start
it<00:06:57.840><c> who</c><00:06:58.120><c> who</c><00:06:58.720><c> this</c><00:06:58.879><c> one</c>

00:07:05.070 --> 00:07:05.080 align:start position:0%
 
 

00:07:05.080 --> 00:07:08.469 align:start position:0%
 
oh<00:07:06.080><c> hi</c><00:07:06.360><c> thank</c><00:07:06.520><c> you</c><00:07:06.840><c> Nikolai</c><00:07:07.319><c> from</c><00:07:07.560><c> terminal</c><00:07:07.960><c> 3</c>

00:07:08.469 --> 00:07:08.479 align:start position:0%
oh hi thank you Nikolai from terminal 3
 

00:07:08.479 --> 00:07:13.029 align:start position:0%
oh hi thank you Nikolai from terminal 3
a<00:07:08.599><c> few</c><00:07:08.879><c> questions</c><00:07:09.360><c> actually</c><00:07:10.360><c> first</c><00:07:11.000><c> um</c><00:07:11.919><c> can</c><00:07:12.120><c> I</c>

00:07:13.029 --> 00:07:13.039 align:start position:0%
a few questions actually first um can I
 

00:07:13.039 --> 00:07:16.990 align:start position:0%
a few questions actually first um can I
um<00:07:13.360><c> verify</c><00:07:13.800><c> your</c><00:07:14.000><c> proof</c><00:07:14.280><c> on</c><00:07:14.479><c> chain</c><00:07:15.160><c> like</c><00:07:15.319><c> in</c><00:07:15.599><c> B</c>

00:07:16.990 --> 00:07:17.000 align:start position:0%
um verify your proof on chain like in B
 

00:07:17.000 --> 00:07:21.830 align:start position:0%
um verify your proof on chain like in B
254<00:07:18.240><c> uh</c><00:07:19.240><c> that's</c><00:07:19.479><c> basically</c><00:07:19.840><c> only</c><00:07:20.000><c> on</c><00:07:20.919><c> now</c><00:07:21.360><c> yeah</c>

00:07:21.830 --> 00:07:21.840 align:start position:0%
254 uh that's basically only on now yeah
 

00:07:21.840 --> 00:07:24.189 align:start position:0%
254 uh that's basically only on now yeah
and<00:07:22.080><c> then</c><00:07:22.680><c> you</c><00:07:22.800><c> said</c><00:07:23.039><c> you</c><00:07:23.240><c> made</c><00:07:23.560><c> python</c><00:07:24.000><c> but</c>

00:07:24.189 --> 00:07:24.199 align:start position:0%
and then you said you made python but
 

00:07:24.199 --> 00:07:26.710 align:start position:0%
and then you said you made python but
can<00:07:24.319><c> I</c><00:07:24.440><c> do</c><00:07:24.560><c> a</c><00:07:24.680><c> rust</c><00:07:25.000><c> code</c><00:07:25.319><c> and</c><00:07:25.560><c> compile</c><00:07:26.000><c> it</c><00:07:26.280><c> and</c>

00:07:26.710 --> 00:07:26.720 align:start position:0%
can I do a rust code and compile it and
 

00:07:26.720 --> 00:07:28.990 align:start position:0%
can I do a rust code and compile it and
because<00:07:27.319><c> most</c><00:07:27.560><c> of</c><00:07:27.879><c> cryptography</c><00:07:28.400><c> is</c><00:07:28.479><c> in</c><00:07:28.599><c> Rust</c>

00:07:28.990 --> 00:07:29.000 align:start position:0%
because most of cryptography is in Rust
 

00:07:29.000 --> 00:07:33.390 align:start position:0%
because most of cryptography is in Rust
so<00:07:29.520><c> rust</c><00:07:29.840><c> is</c><00:07:29.960><c> very</c><00:07:30.160><c> useful</c><00:07:31.160><c> here</c><00:07:32.160><c> and</c><00:07:32.879><c> Let's</c><00:07:33.120><c> do</c>

00:07:33.390 --> 00:07:33.400 align:start position:0%
so rust is very useful here and Let's do
 

00:07:33.400 --> 00:07:35.469 align:start position:0%
so rust is very useful here and Let's do
let's<00:07:33.599><c> do</c><00:07:33.879><c> these</c><00:07:34.039><c> two</c><00:07:34.319><c> and</c><00:07:34.479><c> then</c><00:07:34.759><c> if</c><00:07:34.879><c> you</c><00:07:35.000><c> want</c>

00:07:35.469 --> 00:07:35.479 align:start position:0%
let's do these two and then if you want
 

00:07:35.479 --> 00:07:37.390 align:start position:0%
let's do these two and then if you want
okay<00:07:35.680><c> okay</c><00:07:36.039><c> so</c><00:07:36.120><c> you</c><00:07:36.199><c> don't</c><00:07:36.360><c> forget</c><00:07:37.000><c> so</c><00:07:37.240><c> the</c>

00:07:37.390 --> 00:07:37.400 align:start position:0%
okay okay so you don't forget so the
 

00:07:37.400 --> 00:07:40.270 align:start position:0%
okay okay so you don't forget so the
first<00:07:37.680><c> question</c><00:07:37.879><c> on</c><00:07:38.080><c> chain</c><00:07:38.599><c> yes</c><00:07:38.800><c> so</c><00:07:39.800><c> we</c><00:07:40.039><c> for</c>

00:07:40.270 --> 00:07:40.280 align:start position:0%
first question on chain yes so we for
 

00:07:40.280 --> 00:07:43.629 align:start position:0%
first question on chain yes so we for
for<00:07:40.440><c> the</c><00:07:40.560><c> CVM</c><00:07:41.120><c> we</c><00:07:41.479><c> implemented</c><00:07:42.479><c> a</c><00:07:42.599><c> verifier</c><00:07:43.440><c> in</c>

00:07:43.629 --> 00:07:43.639 align:start position:0%
for the CVM we implemented a verifier in
 

00:07:43.639 --> 00:07:46.790 align:start position:0%
for the CVM we implemented a verifier in
solidity<00:07:44.639><c> for</c><00:07:44.879><c> the</c><00:07:45.120><c> h</c><00:07:45.479><c> to</c><00:07:45.639><c> proof</c><00:07:45.960><c> so</c><00:07:46.319><c> as</c><00:07:46.479><c> long</c>

00:07:46.790 --> 00:07:46.800 align:start position:0%
solidity for the h to proof so as long
 

00:07:46.800 --> 00:07:48.550 align:start position:0%
solidity for the h to proof so as long
like<00:07:47.400><c> it</c><00:07:47.520><c> depends</c><00:07:47.800><c> on</c><00:07:47.919><c> the</c><00:07:48.000><c> proving</c><00:07:48.280><c> system</c>

00:07:48.550 --> 00:07:48.560 align:start position:0%
like it depends on the proving system
 

00:07:48.560 --> 00:07:50.430 align:start position:0%
like it depends on the proving system
that<00:07:48.680><c> you</c><00:07:48.759><c> use</c><00:07:48.960><c> in</c><00:07:49.080><c> the</c><00:07:49.360><c> in</c><00:07:49.440><c> the</c><00:07:49.560><c> back</c><00:07:49.720><c> end</c><00:07:50.319><c> if</c>

00:07:50.430 --> 00:07:50.440 align:start position:0%
that you use in the in the back end if
 

00:07:50.440 --> 00:07:53.710 align:start position:0%
that you use in the in the back end if
it<00:07:50.599><c> can</c><00:07:50.800><c> be</c><00:07:51.120><c> verified</c><00:07:51.639><c> on</c><00:07:52.000><c> on</c><00:07:52.960><c> because</c><00:07:53.360><c> it's</c>

00:07:53.710 --> 00:07:53.720 align:start position:0%
it can be verified on on because it's
 

00:07:53.720 --> 00:07:54.950 align:start position:0%
it can be verified on on because it's
kind<00:07:53.879><c> of</c><00:07:54.000><c> independent</c><00:07:54.440><c> on</c><00:07:54.520><c> the</c><00:07:54.639><c> proving</c>

00:07:54.950 --> 00:07:54.960 align:start position:0%
kind of independent on the proving
 

00:07:54.960 --> 00:07:56.309 align:start position:0%
kind of independent on the proving
system<00:07:55.240><c> can</c><00:07:55.400><c> compile</c><00:07:55.680><c> to</c><00:07:55.800><c> different</c><00:07:56.000><c> proving</c>

00:07:56.309 --> 00:07:56.319 align:start position:0%
system can compile to different proving
 

00:07:56.319 --> 00:07:58.670 align:start position:0%
system can compile to different proving
systems<00:07:56.800><c> and</c><00:07:57.759><c> uh</c><00:07:57.879><c> they</c><00:07:58.000><c> generate</c><00:07:58.400><c> different</c>

00:07:58.670 --> 00:07:58.680 align:start position:0%
systems and uh they generate different
 

00:07:58.680 --> 00:08:01.309 align:start position:0%
systems and uh they generate different
proofs<00:07:59.039><c> so</c><00:07:59.199><c> in</c><00:07:59.280><c> the</c><00:07:59.759><c> it</c><00:07:59.879><c> depends</c><00:08:00.159><c> on</c><00:08:00.319><c> that</c><00:08:01.199><c> and</c>

00:08:01.309 --> 00:08:01.319 align:start position:0%
proofs so in the it depends on that and
 

00:08:01.319 --> 00:08:03.550 align:start position:0%
proofs so in the it depends on that and
the<00:08:01.440><c> second</c><00:08:01.759><c> question</c><00:08:02.120><c> R</c><00:08:02.680><c> is</c><00:08:02.800><c> built</c><00:08:03.039><c> on</c><00:08:03.240><c> Ras</c>

00:08:03.550 --> 00:08:03.560 align:start position:0%
the second question R is built on Ras
 

00:08:03.560 --> 00:08:05.510 align:start position:0%
the second question R is built on Ras
chikito<00:08:03.960><c> was</c><00:08:04.039><c> built</c><00:08:04.240><c> on</c><00:08:04.400><c> R</c><00:08:04.759><c> and</c><00:08:04.879><c> then</c><00:08:05.000><c> we</c><00:08:05.199><c> put</c>

00:08:05.510 --> 00:08:05.520 align:start position:0%
chikito was built on R and then we put
 

00:08:05.520 --> 00:08:07.550 align:start position:0%
chikito was built on R and then we put
like<00:08:05.680><c> a</c><00:08:05.960><c> parel</c><00:08:06.440><c> front</c><00:08:06.840><c> but</c><00:08:07.000><c> yes</c><00:08:07.120><c> you</c><00:08:07.240><c> could</c>

00:08:07.550 --> 00:08:07.560 align:start position:0%
like a parel front but yes you could
 

00:08:07.560 --> 00:08:10.629 align:start position:0%
like a parel front but yes you could
interact<00:08:08.000><c> and</c><00:08:08.199><c> connect</c><00:08:08.479><c> it</c><00:08:08.639><c> with</c><00:08:08.879><c> other</c><00:08:09.879><c> h</c><00:08:10.240><c> h</c>

00:08:10.629 --> 00:08:10.639 align:start position:0%
interact and connect it with other h h
 

00:08:10.639 --> 00:08:12.390 align:start position:0%
interact and connect it with other h h
two<00:08:10.840><c> circuits</c><00:08:11.240><c> built</c><00:08:11.440><c> on</c><00:08:11.639><c> R</c><00:08:11.919><c> and</c><00:08:12.120><c> kind</c><00:08:12.240><c> of</c>

00:08:12.390 --> 00:08:12.400 align:start position:0%
two circuits built on R and kind of
 

00:08:12.400 --> 00:08:17.670 align:start position:0%
two circuits built on R and kind of
actually<00:08:12.680><c> integrated</c><00:08:13.800><c> together</c><00:08:14.800><c> and</c><00:08:15.000><c> another</c>

00:08:17.670 --> 00:08:17.680 align:start position:0%
 
 

00:08:17.680 --> 00:08:20.070 align:start position:0%
 
question<00:08:18.680><c> okay</c><00:08:18.840><c> we</c><00:08:18.960><c> have</c><00:08:19.199><c> one</c><00:08:19.360><c> more</c><00:08:19.599><c> question</c>

00:08:20.070 --> 00:08:20.080 align:start position:0%
question okay we have one more question
 

00:08:20.080 --> 00:08:23.390 align:start position:0%
question okay we have one more question
okay<00:08:20.400><c> there</c><00:08:21.080><c> yeah</c><00:08:21.240><c> better</c><00:08:21.479><c> you</c><00:08:21.639><c> throw</c><00:08:22.280><c> it</c><00:08:23.280><c> you</c>

00:08:23.390 --> 00:08:23.400 align:start position:0%
okay there yeah better you throw it you
 

00:08:23.400 --> 00:08:25.710 align:start position:0%
okay there yeah better you throw it you
want<00:08:23.520><c> to</c><00:08:23.680><c> try</c><00:08:24.199><c> again</c><00:08:24.599><c> okay</c>

00:08:25.710 --> 00:08:25.720 align:start position:0%
want to try again okay
 

00:08:25.720 --> 00:08:32.750 align:start position:0%
want to try again okay
okay<00:08:26.720><c> last</c><00:08:27.080><c> opportunity</c>

00:08:32.750 --> 00:08:32.760 align:start position:0%
 
 

00:08:32.760 --> 00:08:37.310 align:start position:0%
 
H<00:08:33.039><c> Too</c><00:08:33.240><c> Short</c>

00:08:37.310 --> 00:08:37.320 align:start position:0%
 
 

00:08:37.320 --> 00:08:40.149 align:start position:0%
 
soad<00:08:38.320><c> uh</c><00:08:38.440><c> so</c><00:08:38.599><c> I</c><00:08:38.760><c> actually</c><00:08:39.479><c> not</c><00:08:39.640><c> sure</c><00:08:39.839><c> I</c>

00:08:40.149 --> 00:08:40.159 align:start position:0%
soad uh so I actually not sure I
 

00:08:40.159 --> 00:08:41.310 align:start position:0%
soad uh so I actually not sure I
understand<00:08:40.240><c> the</c><00:08:40.360><c> difference</c><00:08:40.640><c> between</c><00:08:40.839><c> a</c><00:08:40.959><c> ZK</c>

00:08:41.310 --> 00:08:41.320 align:start position:0%
understand the difference between a ZK
 

00:08:41.320 --> 00:08:44.670 align:start position:0%
understand the difference between a ZK
VM<00:08:41.719><c> and</c><00:08:41.880><c> a</c><00:08:42.320><c> ZK</c><00:08:42.760><c> compiler</c><00:08:43.200><c> like</c><00:08:43.320><c> a</c><00:08:43.399><c> ZK</c><00:08:43.719><c> VM</c><00:08:44.080><c> takes</c>

00:08:44.670 --> 00:08:44.680 align:start position:0%
VM and a ZK compiler like a ZK VM takes
 

00:08:44.680 --> 00:08:47.350 align:start position:0%
VM and a ZK compiler like a ZK VM takes
your<00:08:44.880><c> rust</c><00:08:45.200><c> code</c><00:08:46.040><c> transer</c><00:08:46.880><c> like</c><00:08:47.080><c> let's</c><00:08:47.200><c> say</c>

00:08:47.350 --> 00:08:47.360 align:start position:0%
your rust code transer like let's say
 

00:08:47.360 --> 00:08:49.910 align:start position:0%
your rust code transer like let's say
risk<00:08:47.600><c> five</c><00:08:47.839><c> instructions</c><00:08:48.360><c> and</c><00:08:48.519><c> proves</c><00:08:48.920><c> that</c>

00:08:49.910 --> 00:08:49.920 align:start position:0%
risk five instructions and proves that
 

00:08:49.920 --> 00:08:53.590 align:start position:0%
risk five instructions and proves that
okay<00:08:50.240><c> yes</c><00:08:50.399><c> so</c><00:08:50.600><c> so</c><00:08:50.839><c> so</c><00:08:51.480><c> so</c><00:08:51.680><c> the</c><00:08:51.880><c> C</c><00:08:52.279><c> so</c><00:08:52.480><c> a</c><00:08:52.640><c> ckvm</c><00:08:53.480><c> is</c>

00:08:53.590 --> 00:08:53.600 align:start position:0%
okay yes so so so so the C so a ckvm is
 

00:08:53.600 --> 00:08:54.430 align:start position:0%
okay yes so so so so the C so a ckvm is
one

00:08:54.430 --> 00:08:54.440 align:start position:0%
one
 

00:08:54.440 --> 00:08:58.069 align:start position:0%
one
circuit<00:08:55.440><c> that</c><00:08:55.680><c> it</c><00:08:55.920><c> witness</c><00:08:56.560><c> is</c><00:08:56.760><c> the</c><00:08:56.959><c> trace</c><00:08:57.880><c> of</c>

00:08:58.069 --> 00:08:58.079 align:start position:0%
circuit that it witness is the trace of
 

00:08:58.079 --> 00:09:02.230 align:start position:0%
circuit that it witness is the trace of
the<00:08:58.440><c> execution</c><00:08:59.480><c> of</c><00:08:59.600><c> a</c><00:08:59.760><c> instruction</c><00:09:00.760><c> set</c><00:09:01.760><c> so</c>

00:09:02.230 --> 00:09:02.240 align:start position:0%
the execution of a instruction set so
 

00:09:02.240 --> 00:09:04.790 align:start position:0%
the execution of a instruction set so
the<00:09:02.320><c> CVM</c><00:09:02.880><c> is</c><00:09:03.040><c> not</c><00:09:03.200><c> a</c><00:09:03.320><c> compiler</c><00:09:03.720><c> it's</c><00:09:03.800><c> a</c><00:09:03.920><c> circuit</c>

00:09:04.790 --> 00:09:04.800 align:start position:0%
the CVM is not a compiler it's a circuit
 

00:09:04.800 --> 00:09:07.150 align:start position:0%
the CVM is not a compiler it's a circuit
that<00:09:05.320><c> takes</c><00:09:05.640><c> us</c><00:09:05.880><c> witness</c><00:09:06.399><c> the</c><00:09:06.720><c> the</c><00:09:06.800><c> trace</c><00:09:07.040><c> of</c>

00:09:07.150 --> 00:09:07.160 align:start position:0%
that takes us witness the the trace of
 

00:09:07.160 --> 00:09:09.310 align:start position:0%
that takes us witness the the trace of
the<00:09:07.279><c> execution</c><00:09:07.800><c> and</c><00:09:08.000><c> proves</c><00:09:08.440><c> that</c><00:09:08.640><c> you</c><00:09:08.800><c> have</c>

00:09:09.310 --> 00:09:09.320 align:start position:0%
the execution and proves that you have
 

00:09:09.320 --> 00:09:12.550 align:start position:0%
the execution and proves that you have
executed<00:09:10.320><c> the</c><00:09:10.560><c> the</c><00:09:10.680><c> correctly</c><00:09:11.680><c> the</c><00:09:11.839><c> TR</c><00:09:12.240><c> the</c>

00:09:12.550 --> 00:09:12.560 align:start position:0%
executed the the correctly the TR the
 

00:09:12.560 --> 00:09:15.190 align:start position:0%
executed the the correctly the TR the
the<00:09:12.959><c> program</c><00:09:13.959><c> so</c><00:09:14.279><c> so</c><00:09:14.480><c> in</c><00:09:14.640><c> that</c><00:09:14.839><c> case</c><00:09:15.000><c> you</c>

00:09:15.190 --> 00:09:15.200 align:start position:0%
the program so so in that case you
 

00:09:15.200 --> 00:09:17.269 align:start position:0%
the program so so in that case you
compile<00:09:15.640><c> Ras</c><00:09:15.920><c> to</c><00:09:16.120><c> this</c><00:09:16.360><c> instruction</c>

00:09:17.269 --> 00:09:17.279 align:start position:0%
compile Ras to this instruction
 

00:09:17.279 --> 00:09:20.110 align:start position:0%
compile Ras to this instruction
architecture<00:09:18.279><c> and</c><00:09:18.560><c> then</c><00:09:19.279><c> uh</c><00:09:19.560><c> yeah</c><00:09:19.720><c> you</c><00:09:19.920><c> you</c>

00:09:20.110 --> 00:09:20.120 align:start position:0%
architecture and then uh yeah you you
 

00:09:20.120 --> 00:09:21.710 align:start position:0%
architecture and then uh yeah you you
execute<00:09:20.519><c> it</c><00:09:20.680><c> and</c><00:09:20.800><c> you</c><00:09:20.920><c> get</c><00:09:21.079><c> the</c><00:09:21.200><c> trace</c><00:09:21.560><c> and</c>

00:09:21.710 --> 00:09:21.720 align:start position:0%
execute it and you get the trace and
 

00:09:21.720 --> 00:09:24.269 align:start position:0%
execute it and you get the trace and
that<00:09:21.920><c> verify</c><00:09:22.320><c> that</c><00:09:22.600><c> compiler</c><00:09:23.600><c> takes</c><00:09:23.959><c> some</c>

00:09:24.269 --> 00:09:24.279 align:start position:0%
that verify that compiler takes some
 

00:09:24.279 --> 00:09:25.110 align:start position:0%
that verify that compiler takes some
kind

00:09:25.110 --> 00:09:25.120 align:start position:0%
kind
 

00:09:25.120 --> 00:09:28.829 align:start position:0%
kind
of<00:09:26.360><c> description</c><00:09:27.360><c> of</c><00:09:27.600><c> what</c><00:09:27.920><c> you</c><00:09:28.120><c> Circle</c><00:09:28.560><c> that</c>

00:09:28.829 --> 00:09:28.839 align:start position:0%
of description of what you Circle that
 

00:09:28.839 --> 00:09:31.630 align:start position:0%
of description of what you Circle that
and<00:09:29.000><c> actually</c><00:09:29.720><c> kind</c><00:09:29.880><c> of</c><00:09:30.120><c> outputs</c><00:09:31.000><c> a</c><00:09:31.160><c> circuit</c>

00:09:31.630 --> 00:09:31.640 align:start position:0%
and actually kind of outputs a circuit
 

00:09:31.640 --> 00:09:35.069 align:start position:0%
and actually kind of outputs a circuit
itself<00:09:32.200><c> so</c><00:09:32.360><c> you</c><00:09:32.480><c> could</c><00:09:32.640><c> build</c><00:09:32.920><c> a</c><00:09:33.040><c> ckvm</c><00:09:33.920><c> on</c><00:09:34.120><c> a</c>

00:09:35.069 --> 00:09:35.079 align:start position:0%
itself so you could build a ckvm on a
 

00:09:35.079 --> 00:09:39.750 align:start position:0%
itself so you could build a ckvm on a
DSL<00:09:35.640><c> in</c><00:09:35.760><c> a</c>

00:09:39.750 --> 00:09:39.760 align:start position:0%
 
 

00:09:39.760 --> 00:09:47.470 align:start position:0%
 
language<00:09:40.760><c> I</c><00:09:40.880><c> don't</c><00:09:41.160><c> hear</c><00:09:41.320><c> you</c>

00:09:47.470 --> 00:09:47.480 align:start position:0%
 
 

00:09:47.480 --> 00:09:50.150 align:start position:0%
 
yeah<00:09:48.480><c> so</c><00:09:48.920><c> what</c><00:09:49.079><c> what</c><00:09:49.240><c> actually</c><00:09:49.560><c> executes</c><00:09:50.040><c> the</c>

00:09:50.150 --> 00:09:50.160 align:start position:0%
yeah so what what actually executes the
 

00:09:50.160 --> 00:09:53.190 align:start position:0%
yeah so what what actually executes the
code<00:09:50.519><c> like</c><00:09:51.160><c> where</c><00:09:51.680><c> what</c><00:09:51.800><c> does</c><00:09:51.959><c> the</c><00:09:52.600><c> proof</c>

00:09:53.190 --> 00:09:53.200 align:start position:0%
code like where what does the proof
 

00:09:53.200 --> 00:09:55.230 align:start position:0%
code like where what does the proof
proof<00:09:54.200><c> if</c><00:09:54.320><c> it</c><00:09:54.399><c> doesn't</c><00:09:54.640><c> prove</c><00:09:54.920><c> correct</c>

00:09:55.230 --> 00:09:55.240 align:start position:0%
proof if it doesn't prove correct
 

00:09:55.240 --> 00:09:57.470 align:start position:0%
proof if it doesn't prove correct
execution<00:09:55.839><c> right</c><00:09:56.040><c> with</c><00:09:56.160><c> the</c><00:09:56.320><c> compiler</c><00:09:57.320><c> yeah</c>

00:09:57.470 --> 00:09:57.480 align:start position:0%
execution right with the compiler yeah
 

00:09:57.480 --> 00:09:59.430 align:start position:0%
execution right with the compiler yeah
with<00:09:57.600><c> a</c><00:09:57.760><c> compiler</c>

00:09:59.430 --> 00:09:59.440 align:start position:0%
with a compiler
 

00:09:59.440 --> 00:10:01.590 align:start position:0%
with a compiler
you<00:09:59.720><c> generate</c><00:10:00.160><c> a</c><00:10:00.320><c> circuit</c><00:10:00.839><c> that</c><00:10:01.200><c> proes</c>

00:10:01.590 --> 00:10:01.600 align:start position:0%
you generate a circuit that proes
 

00:10:01.600 --> 00:10:06.069 align:start position:0%
you generate a circuit that proes
something<00:10:02.000><c> about</c><00:10:02.279><c> a</c><00:10:03.120><c> witness</c><00:10:04.120><c> so</c><00:10:04.640><c> so</c><00:10:04.839><c> a</c><00:10:05.079><c> ckvm</c>

00:10:06.069 --> 00:10:06.079 align:start position:0%
something about a witness so so a ckvm
 

00:10:06.079 --> 00:10:09.350 align:start position:0%
something about a witness so so a ckvm
is<00:10:06.240><c> a</c><00:10:06.600><c> type</c><00:10:06.839><c> of</c><00:10:07.040><c> circuit</c><00:10:07.560><c> no</c><00:10:07.760><c> it's</c><00:10:07.880><c> a</c><00:10:08.399><c> it's</c><00:10:08.519><c> a</c><00:10:09.240><c> is</c>

00:10:09.350 --> 00:10:09.360 align:start position:0%
is a type of circuit no it's a it's a is
 

00:10:09.360 --> 00:10:11.110 align:start position:0%
is a type of circuit no it's a it's a is
a<00:10:09.760><c> it's</c><00:10:09.839><c> a</c><00:10:10.000><c> type</c><00:10:10.160><c> of</c><00:10:10.279><c> circuit</c><00:10:10.760><c> that</c><00:10:10.959><c> that</c>

00:10:11.110 --> 00:10:11.120 align:start position:0%
a it's a type of circuit that that
 

00:10:11.120 --> 00:10:13.870 align:start position:0%
a it's a type of circuit that that
proves<00:10:11.440><c> the</c><00:10:11.880><c> execution</c><00:10:12.880><c> of</c><00:10:13.079><c> the</c><00:10:13.200><c> trace</c><00:10:13.480><c> of</c><00:10:13.640><c> a</c>

00:10:13.870 --> 00:10:13.880 align:start position:0%
proves the execution of the trace of a
 

00:10:13.880 --> 00:10:15.590 align:start position:0%
proves the execution of the trace of a
specific<00:10:14.440><c> instruction</c>

00:10:15.590 --> 00:10:15.600 align:start position:0%
specific instruction
 

00:10:15.600 --> 00:10:18.790 align:start position:0%
specific instruction
set<00:10:16.600><c> but</c><00:10:16.720><c> a</c><00:10:16.920><c> circuit</c><00:10:17.320><c> can</c><00:10:17.600><c> prove</c><00:10:17.920><c> any</c><00:10:18.320><c> witness</c>

00:10:18.790 --> 00:10:18.800 align:start position:0%
set but a circuit can prove any witness
 

00:10:18.800 --> 00:10:20.949 align:start position:0%
set but a circuit can prove any witness
like<00:10:19.079><c> this</c><00:10:19.480><c> follow</c><00:10:19.920><c> certain</c><00:10:20.519><c> properties</c>

00:10:20.949 --> 00:10:20.959 align:start position:0%
like this follow certain properties
 

00:10:20.959 --> 00:10:22.990 align:start position:0%
like this follow certain properties
certain<00:10:21.399><c> constraints</c><00:10:22.399><c> in</c><00:10:22.519><c> the</c><00:10:22.640><c> case</c><00:10:22.800><c> of</c><00:10:22.880><c> the</c>

00:10:22.990 --> 00:10:23.000 align:start position:0%
certain constraints in the case of the
 

00:10:23.000 --> 00:10:25.389 align:start position:0%
certain constraints in the case of the
ckvm<00:10:23.640><c> the</c><00:10:23.760><c> constraints</c><00:10:24.279><c> are</c><00:10:24.839><c> the</c><00:10:25.000><c> correct</c>

00:10:25.389 --> 00:10:25.399 align:start position:0%
ckvm the constraints are the correct
 

00:10:25.399 --> 00:10:30.750 align:start position:0%
ckvm the constraints are the correct
execution<00:10:25.920><c> of</c><00:10:26.040><c> the</c><00:10:26.120><c> instruction</c><00:10:26.560><c> set</c>

00:10:30.750 --> 00:10:30.760 align:start position:0%
 
 

00:10:30.760 --> 00:10:33.269 align:start position:0%
 
happy<00:10:31.160><c> I</c><00:10:31.279><c> knew</c><00:10:31.560><c> that</c><00:10:31.839><c> question</c><00:10:32.240><c> I</c><00:10:32.320><c> knew</c><00:10:32.560><c> the</c>

00:10:33.269 --> 00:10:33.279 align:start position:0%
happy I knew that question I knew the
 

00:10:33.279 --> 00:10:39.150 align:start position:0%
happy I knew that question I knew the
answer<00:10:34.279><c> if</c><00:10:34.440><c> they</c><00:10:34.600><c> ask</c><00:10:34.839><c> something</c>

00:10:39.150 --> 00:10:39.160 align:start position:0%
 
 

00:10:39.160 --> 00:10:41.829 align:start position:0%
 
different<00:10:40.160><c> I</c><00:10:40.279><c> don't</c><00:10:40.480><c> think</c><00:10:40.680><c> we</c><00:10:40.839><c> have</c><00:10:41.399><c> time</c><00:10:41.600><c> for</c>

00:10:41.829 --> 00:10:41.839 align:start position:0%
different I don't think we have time for
 

00:10:41.839 --> 00:10:43.389 align:start position:0%
different I don't think we have time for
one<00:10:41.959><c> more</c><00:10:42.200><c> question</c><00:10:42.519><c> but</c><00:10:42.720><c> please</c><00:10:42.920><c> feel</c><00:10:43.160><c> free</c>

00:10:43.389 --> 00:10:43.399 align:start position:0%
one more question but please feel free
 

00:10:43.399 --> 00:10:47.800 align:start position:0%
one more question but please feel free
to<00:10:43.519><c> talk</c><00:10:43.680><c> to</c><00:10:43.839><c> Leo</c><00:10:44.519><c> after</c><00:10:45.000><c> he's</c><00:10:45.279><c> talk</c>