WEBVTT Kind: captions Language: en 00:00:01.010 --> 00:00:10.270 align:start position:0% [Music] 00:00:10.270 --> 00:00:10.280 align:start position:0% [Music] 00:00:10.280 --> 00:00:13.190 align:start position:0% [Music] okay<00:00:10.519> thank<00:00:10.679> you<00:00:10.960> everybody<00:00:11.599> uh<00:00:11.719> is<00:00:11.840> this<00:00:12.200> good 00:00:13.190 --> 00:00:13.200 align:start position:0% okay thank you everybody uh is this good 00:00:13.200 --> 00:00:16.070 align:start position:0% okay thank you everybody uh is this good can<00:00:13.320> you<00:00:13.480> hear<00:00:14.120> me<00:00:15.120> okay<00:00:15.360> so<00:00:15.599> today<00:00:15.839> I'm<00:00:16.000> going 00:00:16.070 --> 00:00:16.080 align:start position:0% can you hear me okay so today I'm going 00:00:16.080 --> 00:00:18.150 align:start position:0% can you hear me okay so today I'm going to<00:00:16.199> talk<00:00:16.359> about<00:00:16.560> iio<00:00:17.160> so<00:00:17.400> this<00:00:17.560> talk<00:00:17.800> starts 00:00:18.150 --> 00:00:18.160 align:start position:0% to talk about iio so this talk starts 00:00:18.160 --> 00:00:20.269 align:start position:0% to talk about iio so this talk starts with<00:00:18.320> like<00:00:18.439> an<00:00:18.600> inciting<00:00:19.199> incident<00:00:19.920> so<00:00:20.119> in 00:00:20.269 --> 00:00:20.279 align:start position:0% with like an inciting incident so in 00:00:20.279 --> 00:00:23.269 align:start position:0% with like an inciting incident so in 2013<00:00:21.000> or<00:00:21.160> 2023<00:00:21.840> I<00:00:21.920> took<00:00:22.039> a<00:00:22.160> trip<00:00:22.359> to<00:00:22.519> Marseilles 00:00:23.269 --> 00:00:23.279 align:start position:0% 2013 or 2023 I took a trip to Marseilles 00:00:23.279 --> 00:00:26.349 align:start position:0% 2013 or 2023 I took a trip to Marseilles and<00:00:23.400> I<00:00:23.519> got<00:00:23.760> really<00:00:24.279> bad<00:00:24.560> food<00:00:25.119> poisoning<00:00:26.119> I 00:00:26.349 --> 00:00:26.359 align:start position:0% and I got really bad food poisoning I 00:00:26.359 --> 00:00:28.589 align:start position:0% and I got really bad food poisoning I was<00:00:26.920> I<00:00:27.039> was<00:00:27.240> very<00:00:27.480> sick<00:00:27.760> and<00:00:27.880> I<00:00:28.000> had<00:00:28.199> these<00:00:28.439> kind 00:00:28.589 --> 00:00:28.599 align:start position:0% was I was very sick and I had these kind 00:00:28.599 --> 00:00:31.429 align:start position:0% was I was very sick and I had these kind of<00:00:28.960> like<00:00:29.599> Hall<00:00:30.160> inations<00:00:30.640> that<00:00:30.840> ordinarily 00:00:31.429 --> 00:00:31.439 align:start position:0% of like Hall inations that ordinarily 00:00:31.439 --> 00:00:33.150 align:start position:0% of like Hall inations that ordinarily you<00:00:31.599> need<00:00:31.720> to<00:00:31.920> pay<00:00:32.200> like<00:00:32.320> a<00:00:32.439> lot<00:00:32.559> of<00:00:32.719> money<00:00:32.960> to 00:00:33.150 --> 00:00:33.160 align:start position:0% you need to pay like a lot of money to 00:00:33.160 --> 00:00:37.670 align:start position:0% you need to pay like a lot of money to get<00:00:34.079> so<00:00:34.280> it<00:00:34.360> was<00:00:34.559> either<00:00:35.040> this<00:00:36.000> or<00:00:36.559> it<00:00:36.719> was<00:00:37.079> this 00:00:37.670 --> 00:00:37.680 align:start position:0% get so it was either this or it was this 00:00:37.680 --> 00:00:39.869 align:start position:0% get so it was either this or it was this but<00:00:37.800> I<00:00:37.879> don't<00:00:38.079> know<00:00:38.440> which<00:00:38.800> which<00:00:38.920> one<00:00:39.120> was<00:00:39.280> the 00:00:39.869 --> 00:00:39.879 align:start position:0% but I don't know which which one was the 00:00:39.879 --> 00:00:43.670 align:start position:0% but I don't know which which one was the culprit<00:00:40.879> um<00:00:41.440> but<00:00:41.640> like<00:00:42.239> so<00:00:42.800> people<00:00:43.160> think<00:00:43.480> that 00:00:43.670 --> 00:00:43.680 align:start position:0% culprit um but like so people think that 00:00:43.680 --> 00:00:45.630 align:start position:0% culprit um but like so people think that like<00:00:43.840> your<00:00:44.200> your<00:00:44.480> stomach<00:00:45.039> is<00:00:45.239> actually<00:00:45.520> like 00:00:45.630 --> 00:00:45.640 align:start position:0% like your your stomach is actually like 00:00:45.640 --> 00:00:48.150 align:start position:0% like your your stomach is actually like a<00:00:45.760> part<00:00:46.000> of<00:00:46.120> your<00:00:46.320> brain<00:00:46.960> that<00:00:47.199> like<00:00:47.600> the<00:00:47.920> the 00:00:48.150 --> 00:00:48.160 align:start position:0% a part of your brain that like the the 00:00:48.160 --> 00:00:52.029 align:start position:0% a part of your brain that like the the bacteria<00:00:48.600> in<00:00:48.719> your<00:00:49.120> stomach<00:00:50.360> uh<00:00:51.360> it<00:00:51.559> digests 00:00:52.029 --> 00:00:52.039 align:start position:0% bacteria in your stomach uh it digests 00:00:52.039 --> 00:00:53.029 align:start position:0% bacteria in your stomach uh it digests food<00:00:52.239> in<00:00:52.359> a<00:00:52.440> certain<00:00:52.680> way<00:00:52.800> and<00:00:52.920> it 00:00:53.029 --> 00:00:53.039 align:start position:0% food in a certain way and it 00:00:53.039 --> 00:00:55.029 align:start position:0% food in a certain way and it communicates<00:00:53.559> with<00:00:53.680> your<00:00:53.800> brain<00:00:54.480> which<00:00:54.719> like 00:00:55.029 --> 00:00:55.039 align:start position:0% communicates with your brain which like 00:00:55.039 --> 00:00:57.069 align:start position:0% communicates with your brain which like affects<00:00:55.440> the<00:00:55.600> way<00:00:55.760> that<00:00:55.879> you<00:00:56.079> actually<00:00:56.359> think 00:00:57.069 --> 00:00:57.079 align:start position:0% affects the way that you actually think 00:00:57.079 --> 00:00:59.110 align:start position:0% affects the way that you actually think and<00:00:57.280> after<00:00:57.559> I<00:00:57.719> had<00:00:57.879> the<00:00:58.000> food<00:00:58.280> poisoning<00:00:58.920> it 00:00:59.110 --> 00:00:59.120 align:start position:0% and after I had the food poisoning it 00:00:59.120 --> 00:01:02.670 align:start position:0% and after I had the food poisoning it really<00:01:00.039> kind<00:01:00.160> of<00:01:00.320> changed<00:01:00.760> my<00:01:00.960> life<00:01:01.239> a<00:01:01.480> lot<00:01:02.480> uh 00:01:02.670 --> 00:01:02.680 align:start position:0% really kind of changed my life a lot uh 00:01:02.680 --> 00:01:03.910 align:start position:0% really kind of changed my life a lot uh here<00:01:02.840> are<00:01:03.000> some<00:01:03.120> of<00:01:03.239> the<00:01:03.359> changes<00:01:03.760> that 00:01:03.910 --> 00:01:03.920 align:start position:0% here are some of the changes that 00:01:03.920 --> 00:01:05.830 align:start position:0% here are some of the changes that happened<00:01:04.439> so<00:01:04.600> I<00:01:04.720> started<00:01:05.000> living<00:01:05.239> alone<00:01:05.680> I 00:01:05.830 --> 00:01:05.840 align:start position:0% happened so I started living alone I 00:01:05.840 --> 00:01:07.270 align:start position:0% happened so I started living alone I live<00:01:06.080> I<00:01:06.159> moved<00:01:06.360> to<00:01:06.439> a<00:01:06.520> new<00:01:06.680> city<00:01:06.880> to<00:01:07.000> live<00:01:07.159> with 00:01:07.270 --> 00:01:07.280 align:start position:0% live I moved to a new city to live with 00:01:07.280 --> 00:01:09.550 align:start position:0% live I moved to a new city to live with friends<00:01:08.119> I<00:01:08.640> I<00:01:08.720> stopped<00:01:09.000> being<00:01:09.119> a<00:01:09.240> digital 00:01:09.550 --> 00:01:09.560 align:start position:0% friends I I stopped being a digital 00:01:09.560 --> 00:01:12.149 align:start position:0% friends I I stopped being a digital Nomad<00:01:10.080> and<00:01:10.240> I<00:01:10.400> had<00:01:10.560> a<00:01:10.840> a<00:01:11.040> home<00:01:11.520> for<00:01:11.720> the<00:01:11.880> first 00:01:12.149 --> 00:01:12.159 align:start position:0% Nomad and I had a a home for the first 00:01:12.159 --> 00:01:15.190 align:start position:0% Nomad and I had a a home for the first time<00:01:12.479> in<00:01:12.759> like<00:01:13.320> five<00:01:13.520> or<00:01:13.680> six<00:01:14.000> years<00:01:15.000> uh<00:01:15.119> I 00:01:15.190 --> 00:01:15.200 align:start position:0% time in like five or six years uh I 00:01:15.200 --> 00:01:17.510 align:start position:0% time in like five or six years uh I started<00:01:15.439> to<00:01:15.560> focus<00:01:15.799> on<00:01:16.080> health<00:01:16.640> I<00:01:16.799> found<00:01:17.200> like 00:01:17.510 --> 00:01:17.520 align:start position:0% started to focus on health I found like 00:01:17.520 --> 00:01:19.510 align:start position:0% started to focus on health I found like peace<00:01:18.000> in<00:01:18.159> my<00:01:18.360> life<00:01:18.600> that<00:01:18.720> I<00:01:18.840> didn't<00:01:19.080> know<00:01:19.280> was 00:01:19.510 --> 00:01:19.520 align:start position:0% peace in my life that I didn't know was 00:01:19.520 --> 00:01:23.429 align:start position:0% peace in my life that I didn't know was possible<00:01:19.840> to<00:01:20.000> have<00:01:20.560> I<00:01:20.720> also<00:01:21.000> quit<00:01:21.280> my<00:01:21.920> job<00:01:22.920> um 00:01:23.429 --> 00:01:23.439 align:start position:0% possible to have I also quit my job um 00:01:23.439 --> 00:01:26.830 align:start position:0% possible to have I also quit my job um and<00:01:23.640> all<00:01:23.840> of<00:01:24.159> this<00:01:24.920> was<00:01:25.240> like<00:01:25.720> precipitated<00:01:26.600> by 00:01:26.830 --> 00:01:26.840 align:start position:0% and all of this was like precipitated by 00:01:26.840 --> 00:01:29.230 align:start position:0% and all of this was like precipitated by me<00:01:27.040> having<00:01:27.280> food<00:01:27.600> poisoning<00:01:28.560> but<00:01:28.880> I<00:01:29.000> think 00:01:29.230 --> 00:01:29.240 align:start position:0% me having food poisoning but I think 00:01:29.240 --> 00:01:31.510 align:start position:0% me having food poisoning but I think that<00:01:29.600> it<00:01:29.680> was<00:01:30.159> more<00:01:30.680> like<00:01:30.960> another 00:01:31.510 --> 00:01:31.520 align:start position:0% that it was more like another 00:01:31.520 --> 00:01:33.190 align:start position:0% that it was more like another contributing<00:01:32.159> factor<00:01:32.399> is<00:01:32.560> that<00:01:32.720> like<00:01:32.880> I<00:01:33.000> just 00:01:33.190 --> 00:01:33.200 align:start position:0% contributing factor is that like I just 00:01:33.200 --> 00:01:35.270 align:start position:0% contributing factor is that like I just always<00:01:33.439> want<00:01:33.720> more<00:01:34.000> from<00:01:34.280> life<00:01:34.960> like<00:01:35.119> the 00:01:35.270 --> 00:01:35.280 align:start position:0% always want more from life like the 00:01:35.280 --> 00:01:37.190 align:start position:0% always want more from life like the things<00:01:35.640> that<00:01:36.000> the<00:01:36.119> things<00:01:36.320> that<00:01:36.479> I<00:01:36.720> have<00:01:37.040> or 00:01:37.190 --> 00:01:37.200 align:start position:0% things that the things that I have or 00:01:37.200 --> 00:01:39.910 align:start position:0% things that the things that I have or the<00:01:37.360> things<00:01:37.560> that<00:01:37.759> we<00:01:38.040> have<00:01:38.640> is<00:01:38.920> is<00:01:39.280> like<00:01:39.439> never 00:01:39.910 --> 00:01:39.920 align:start position:0% the things that we have is is like never 00:01:39.920 --> 00:01:42.710 align:start position:0% the things that we have is is like never satisfying<00:01:40.479> for<00:01:40.680> me<00:01:41.680> you<00:01:41.799> know<00:01:42.119> so<00:01:42.360> I<00:01:42.520> I'm 00:01:42.710 --> 00:01:42.720 align:start position:0% satisfying for me you know so I I'm 00:01:42.720 --> 00:01:46.870 align:start position:0% satisfying for me you know so I I'm always<00:01:43.040> like<00:01:43.159> searching<00:01:43.600> for<00:01:44.360> more<00:01:45.439> um<00:01:46.439> so 00:01:46.870 --> 00:01:46.880 align:start position:0% always like searching for more um so 00:01:46.880 --> 00:01:48.630 align:start position:0% always like searching for more um so like<00:01:47.240> so<00:01:47.600> now<00:01:47.719> I'm<00:01:47.799> going<00:01:47.920> to<00:01:48.040> talk<00:01:48.200> about<00:01:48.479> like 00:01:48.630 --> 00:01:48.640 align:start position:0% like so now I'm going to talk about like 00:01:48.640 --> 00:01:49.830 align:start position:0% like so now I'm going to talk about like some<00:01:48.799> of<00:01:48.920> the<00:01:49.040> things<00:01:49.200> that<00:01:49.320> we<00:01:49.439> currently 00:01:49.830 --> 00:01:49.840 align:start position:0% some of the things that we currently 00:01:49.840 --> 00:01:52.389 align:start position:0% some of the things that we currently have<00:01:50.119> that<00:01:50.200> I<00:01:50.320> think<00:01:50.439> are<00:01:50.600> not<00:01:50.960> enough<00:01:51.960> uh<00:01:52.240> one 00:01:52.389 --> 00:01:52.399 align:start position:0% have that I think are not enough uh one 00:01:52.399 --> 00:01:54.389 align:start position:0% have that I think are not enough uh one of<00:01:52.520> them<00:01:52.680> is<00:01:52.799> the<00:01:53.079> like<00:01:53.280> the<00:01:53.439> whole 00:01:54.389 --> 00:01:54.399 align:start position:0% of them is the like the whole 00:01:54.399 --> 00:01:56.510 align:start position:0% of them is the like the whole programmable<00:01:55.000> cryptography<00:01:55.560> tool<00:01:55.880> of<00:01:56.119> like 00:01:56.510 --> 00:01:56.520 align:start position:0% programmable cryptography tool of like 00:01:56.520 --> 00:01:58.709 align:start position:0% programmable cryptography tool of like proof<00:01:56.759> of<00:01:57.000> validity<00:01:57.759> like<00:01:57.920> this<00:01:58.000> is<00:01:58.119> a<00:01:58.280> useful 00:01:58.709 --> 00:01:58.719 align:start position:0% proof of validity like this is a useful 00:01:58.719 --> 00:02:00.630 align:start position:0% proof of validity like this is a useful tool<00:01:59.360> but<00:01:59.479> like<00:01:59.600> we've<00:02:00.000> been<00:02:00.079> using<00:02:00.280> it<00:02:00.439> for 00:02:00.630 --> 00:02:00.640 align:start position:0% tool but like we've been using it for 00:02:00.640 --> 00:02:03.550 align:start position:0% tool but like we've been using it for years<00:02:00.920> and<00:02:01.039> it<00:02:01.200> seems<00:02:01.560> that<00:02:01.799> like<00:02:02.479> we've<00:02:02.880> we've 00:02:03.550 --> 00:02:03.560 align:start position:0% years and it seems that like we've we've 00:02:03.560 --> 00:02:05.749 align:start position:0% years and it seems that like we've we've we're<00:02:03.799> getting<00:02:04.240> close<00:02:04.560> to<00:02:04.759> the<00:02:04.960> limits<00:02:05.439> of 00:02:05.749 --> 00:02:05.759 align:start position:0% we're getting close to the limits of 00:02:05.759 --> 00:02:07.510 align:start position:0% we're getting close to the limits of applications<00:02:06.520> like<00:02:06.680> I'm<00:02:06.840> very<00:02:07.039> excited<00:02:07.399> that 00:02:07.510 --> 00:02:07.520 align:start position:0% applications like I'm very excited that 00:02:07.520 --> 00:02:10.469 align:start position:0% applications like I'm very excited that we<00:02:07.600> have<00:02:07.759> ZK<00:02:08.119> EVMS<00:02:08.759> and<00:02:08.920> we<00:02:09.039> have<00:02:09.200> ZK<00:02:09.560> rollups 00:02:10.469 --> 00:02:10.479 align:start position:0% we have ZK EVMS and we have ZK rollups 00:02:10.479 --> 00:02:11.910 align:start position:0% we have ZK EVMS and we have ZK rollups and<00:02:10.599> that<00:02:10.720> we<00:02:10.840> have<00:02:11.000> this<00:02:11.200> like<00:02:11.360> whole<00:02:11.680> proof 00:02:11.910 --> 00:02:11.920 align:start position:0% and that we have this like whole proof 00:02:11.920 --> 00:02:15.990 align:start position:0% and that we have this like whole proof of<00:02:12.480> validity<00:02:13.680> uh<00:02:14.680> uh<00:02:14.840> ecosystem<00:02:15.599> that's 00:02:15.990 --> 00:02:16.000 align:start position:0% of validity uh uh ecosystem that's 00:02:16.000 --> 00:02:18.150 align:start position:0% of validity uh uh ecosystem that's that's<00:02:16.200> growing<00:02:16.720> but<00:02:17.239> I<00:02:17.319> don't<00:02:17.560> think<00:02:17.800> that 00:02:18.150 --> 00:02:18.160 align:start position:0% that's growing but I don't think that 00:02:18.160 --> 00:02:20.670 align:start position:0% that's growing but I don't think that this<00:02:18.360> has<00:02:18.599> transformed<00:02:19.239> the<00:02:19.440> way<00:02:20.160> the<00:02:20.280> world 00:02:20.670 --> 00:02:20.680 align:start position:0% this has transformed the way the world 00:02:20.680 --> 00:02:22.470 align:start position:0% this has transformed the way the world in<00:02:20.800> the<00:02:21.000> way<00:02:21.319> that<00:02:21.599> I<00:02:21.720> was<00:02:21.920> hoping<00:02:22.319> that 00:02:22.470 --> 00:02:22.480 align:start position:0% in the way that I was hoping that 00:02:22.480 --> 00:02:24.190 align:start position:0% in the way that I was hoping that programmable<00:02:23.040> cryptography<00:02:23.599> would<00:02:23.920> change 00:02:24.190 --> 00:02:24.200 align:start position:0% programmable cryptography would change 00:02:24.200 --> 00:02:25.949 align:start position:0% programmable cryptography would change the<00:02:24.360> world<00:02:25.280> another<00:02:25.560> thing<00:02:25.680> that<00:02:25.800> I'm 00:02:25.949 --> 00:02:25.959 align:start position:0% the world another thing that I'm 00:02:25.959 --> 00:02:28.470 align:start position:0% the world another thing that I'm concerned<00:02:26.360> about<00:02:26.599> is<00:02:27.000> like<00:02:27.160> zkid<00:02:28.040> so<00:02:28.160> I<00:02:28.280> spent 00:02:28.470 --> 00:02:28.480 align:start position:0% concerned about is like zkid so I spent 00:02:28.480 --> 00:02:30.270 align:start position:0% concerned about is like zkid so I spent a<00:02:28.599> lot<00:02:28.720> of<00:02:28.879> time<00:02:29.080> thinking<00:02:29.440> about<00:02:29.680> like<00:02:30.000> well 00:02:30.270 --> 00:02:30.280 align:start position:0% a lot of time thinking about like well 00:02:30.280 --> 00:02:33.070 align:start position:0% a lot of time thinking about like well why<00:02:30.440> was<00:02:30.680> the<00:02:30.959> first<00:02:31.760> blockchain<00:02:32.400> thing<00:02:32.879> a 00:02:33.070 --> 00:02:33.080 align:start position:0% why was the first blockchain thing a 00:02:33.080 --> 00:02:35.830 align:start position:0% why was the first blockchain thing a currency<00:02:33.680> rather<00:02:33.920> than<00:02:34.080> a<00:02:34.200> reputation<00:02:34.840> system 00:02:35.830 --> 00:02:35.840 align:start position:0% currency rather than a reputation system 00:02:35.840 --> 00:02:37.110 align:start position:0% currency rather than a reputation system uh<00:02:35.959> because<00:02:36.200> I<00:02:36.319> thought<00:02:36.519> that<00:02:36.680> like<00:02:36.840> well<00:02:36.959> a 00:02:37.110 --> 00:02:37.120 align:start position:0% uh because I thought that like well a 00:02:37.120 --> 00:02:39.589 align:start position:0% uh because I thought that like well a reputation<00:02:37.640> system<00:02:37.959> is<00:02:38.120> going<00:02:38.200> to<00:02:38.400> be<00:02:39.319> much 00:02:39.589 --> 00:02:39.599 align:start position:0% reputation system is going to be much 00:02:39.599 --> 00:02:42.589 align:start position:0% reputation system is going to be much more<00:02:40.040> like<00:02:40.360> free<00:02:40.720> and<00:02:41.000> open<00:02:41.680> but<00:02:41.879> the<00:02:42.080> reason<00:02:42.440> I 00:02:42.589 --> 00:02:42.599 align:start position:0% more like free and open but the reason I 00:02:42.599 --> 00:02:44.430 align:start position:0% more like free and open but the reason I think<00:02:43.040> is<00:02:43.200> that<00:02:43.400> like<00:02:43.599> reputation<00:02:44.120> systems 00:02:44.430 --> 00:02:44.440 align:start position:0% think is that like reputation systems 00:02:44.440 --> 00:02:46.350 align:start position:0% think is that like reputation systems are<00:02:44.720> inherently<00:02:45.239> about<00:02:45.480> like<00:02:45.680> excluding 00:02:46.350 --> 00:02:46.360 align:start position:0% are inherently about like excluding 00:02:46.360 --> 00:02:48.630 align:start position:0% are inherently about like excluding people<00:02:47.040> and<00:02:47.200> it<00:02:47.319> seems<00:02:47.599> that<00:02:47.760> like<00:02:47.959> this<00:02:48.040> is<00:02:48.159> a 00:02:48.630 --> 00:02:48.640 align:start position:0% people and it seems that like this is a 00:02:48.640 --> 00:02:52.670 align:start position:0% people and it seems that like this is a difficult<00:02:48.959> thing<00:02:49.319> to<00:02:49.760> like<00:02:50.519> build<00:02:51.519> as<00:02:51.800> like<00:02:52.080> uh 00:02:52.670 --> 00:02:52.680 align:start position:0% difficult thing to like build as like uh 00:02:52.680 --> 00:02:54.670 align:start position:0% difficult thing to like build as like uh it<00:02:52.840> it<00:02:52.920> seems<00:02:53.159> as<00:02:53.360> less<00:02:53.680> empowering<00:02:54.360> than<00:02:54.519> a 00:02:54.670 --> 00:02:54.680 align:start position:0% it it seems as less empowering than a 00:02:54.680 --> 00:02:57.270 align:start position:0% it it seems as less empowering than a currency<00:02:55.080> system<00:02:55.480> which<00:02:55.640> is<00:02:55.879> like<00:02:56.760> like<00:02:56.959> free 00:02:57.270 --> 00:02:57.280 align:start position:0% currency system which is like like free 00:02:57.280 --> 00:03:01.229 align:start position:0% currency system which is like like free for<00:02:57.480> anyone<00:02:57.800> to<00:02:57.959> use<00:02:58.680> basically<00:02:59.680> um<00:02:59.920> um<00:03:00.840> so 00:03:01.229 --> 00:03:01.239 align:start position:0% for anyone to use basically um um so 00:03:01.239 --> 00:03:03.710 align:start position:0% for anyone to use basically um um so like<00:03:01.480> I'm<00:03:01.800> less<00:03:02.239> excited<00:03:02.680> about<00:03:02.959> doing<00:03:03.440> like 00:03:03.710 --> 00:03:03.720 align:start position:0% like I'm less excited about doing like 00:03:03.720 --> 00:03:06.430 align:start position:0% like I'm less excited about doing like private<00:03:04.080> identity<00:03:04.720> stuff<00:03:05.720> and<00:03:06.040> because<00:03:06.280> it's 00:03:06.430 --> 00:03:06.440 align:start position:0% private identity stuff and because it's 00:03:06.440 --> 00:03:08.710 align:start position:0% private identity stuff and because it's inherently<00:03:06.959> about<00:03:07.159> like<00:03:07.319> excluding 00:03:08.710 --> 00:03:08.720 align:start position:0% inherently about like excluding 00:03:08.720 --> 00:03:11.149 align:start position:0% inherently about like excluding people<00:03:09.720> uh<00:03:09.840> so<00:03:10.120> like<00:03:10.319> last<00:03:10.519> year<00:03:10.760> I<00:03:10.840> spent<00:03:11.080> a 00:03:11.149 --> 00:03:11.159 align:start position:0% people uh so like last year I spent a 00:03:11.159 --> 00:03:12.430 align:start position:0% people uh so like last year I spent a lot<00:03:11.280> of<00:03:11.400> time<00:03:11.560> thinking<00:03:11.840> about<00:03:12.080> like<00:03:12.280> what 00:03:12.430 --> 00:03:12.440 align:start position:0% lot of time thinking about like what 00:03:12.440 --> 00:03:14.589 align:start position:0% lot of time thinking about like what else<00:03:12.920> could<00:03:13.120> we<00:03:13.360> have<00:03:13.840> you<00:03:13.959> know<00:03:14.280> like<00:03:14.440> what 00:03:14.589 --> 00:03:14.599 align:start position:0% else could we have you know like what 00:03:14.599 --> 00:03:16.869 align:start position:0% else could we have you know like what was<00:03:14.760> the<00:03:14.959> future<00:03:15.879> what<00:03:16.000> was<00:03:16.120> a<00:03:16.280> better<00:03:16.519> future 00:03:16.869 --> 00:03:16.879 align:start position:0% was the future what was a better future 00:03:16.879 --> 00:03:19.110 align:start position:0% was the future what was a better future for<00:03:17.120> us<00:03:17.680> so<00:03:17.959> this<00:03:18.120> time<00:03:18.360> last<00:03:18.519> year<00:03:18.680> I<00:03:18.799> gave<00:03:18.959> a 00:03:19.110 --> 00:03:19.120 align:start position:0% for us so this time last year I gave a 00:03:19.120 --> 00:03:21.589 align:start position:0% for us so this time last year I gave a talk<00:03:19.560> about<00:03:19.920> it's<00:03:20.080> called<00:03:20.239> 2pc<00:03:20.640> is<00:03:20.760> for<00:03:20.920> Lovers 00:03:21.589 --> 00:03:21.599 align:start position:0% talk about it's called 2pc is for Lovers 00:03:21.599 --> 00:03:23.630 align:start position:0% talk about it's called 2pc is for Lovers and<00:03:21.680> it<00:03:21.840> talks<00:03:22.080> about<00:03:22.319> how<00:03:22.440> we<00:03:22.560> can<00:03:22.680> use<00:03:23.200> FHA 00:03:23.630 --> 00:03:23.640 align:start position:0% and it talks about how we can use FHA 00:03:23.640 --> 00:03:26.350 align:start position:0% and it talks about how we can use FHA and<00:03:23.799> NPC<00:03:24.319> to<00:03:24.480> have<00:03:24.680> this<00:03:24.879> like<00:03:25.400> multiple<00:03:25.920> party 00:03:26.350 --> 00:03:26.360 align:start position:0% and NPC to have this like multiple party 00:03:26.360 --> 00:03:28.149 align:start position:0% and NPC to have this like multiple party hallucinated<00:03:27.040> server<00:03:27.680> where<00:03:27.799> you<00:03:27.920> have<00:03:28.040> this 00:03:28.149 --> 00:03:28.159 align:start position:0% hallucinated server where you have this 00:03:28.159 --> 00:03:30.190 align:start position:0% hallucinated server where you have this like<00:03:28.319> encrypted<00:03:28.840> computer<00:03:29.360> that<00:03:29.519> like<00:03:29.799> you<00:03:29.920> do 00:03:30.190 --> 00:03:30.200 align:start position:0% like encrypted computer that like you do 00:03:30.200 --> 00:03:31.350 align:start position:0% like encrypted computer that like you do all<00:03:30.319> of<00:03:30.439> the<00:03:30.560> operations<00:03:31.000> inside<00:03:31.239> the 00:03:31.350 --> 00:03:31.360 align:start position:0% all of the operations inside the 00:03:31.360 --> 00:03:33.309 align:start position:0% all of the operations inside the computer<00:03:32.239> and<00:03:32.439> nobody<00:03:32.760> knows<00:03:32.959> what's<00:03:33.159> going 00:03:33.309 --> 00:03:33.319 align:start position:0% computer and nobody knows what's going 00:03:33.319 --> 00:03:36.229 align:start position:0% computer and nobody knows what's going on<00:03:34.000> inside<00:03:35.000> and<00:03:35.319> like<00:03:35.480> the<00:03:35.680> talk<00:03:35.920> is 00:03:36.229 --> 00:03:36.239 align:start position:0% on inside and like the talk is 00:03:36.239 --> 00:03:38.190 align:start position:0% on inside and like the talk is interesting<00:03:36.599> and<00:03:36.720> it<00:03:37.159> digs<00:03:37.439> into<00:03:37.680> this<00:03:37.879> idea 00:03:38.190 --> 00:03:38.200 align:start position:0% interesting and it digs into this idea 00:03:38.200 --> 00:03:40.190 align:start position:0% interesting and it digs into this idea and<00:03:38.400> proposes<00:03:38.840> some<00:03:39.000> sample 00:03:40.190 --> 00:03:40.200 align:start position:0% and proposes some sample 00:03:40.200 --> 00:03:42.390 align:start position:0% and proposes some sample applications<00:03:41.200> uh<00:03:41.560> but<00:03:41.720> one<00:03:41.840> of<00:03:41.959> the<00:03:42.120> big 00:03:42.390 --> 00:03:42.400 align:start position:0% applications uh but one of the big 00:03:42.400 --> 00:03:43.830 align:start position:0% applications uh but one of the big problems<00:03:42.760> with<00:03:42.920> this<00:03:43.080> whole<00:03:43.319> direction<00:03:43.640> of 00:03:43.830 --> 00:03:43.840 align:start position:0% problems with this whole direction of 00:03:43.840 --> 00:03:46.869 align:start position:0% problems with this whole direction of work<00:03:44.200> is<00:03:44.319> that<00:03:44.480> it<00:03:44.640> required<00:03:45.280> interaction<00:03:46.280> so 00:03:46.869 --> 00:03:46.879 align:start position:0% work is that it required interaction so 00:03:46.879 --> 00:03:49.149 align:start position:0% work is that it required interaction so like<00:03:47.040> with<00:03:47.200> MPC<00:03:47.680> you<00:03:47.799> needed<00:03:48.040> to<00:03:48.200> be<00:03:48.360> online<00:03:48.920> to 00:03:49.149 --> 00:03:49.159 align:start position:0% like with MPC you needed to be online to 00:03:49.159 --> 00:03:52.149 align:start position:0% like with MPC you needed to be online to in<00:03:49.280> order<00:03:49.480> to<00:03:49.720> execute<00:03:50.080> the<00:03:50.239> server<00:03:51.239> and<00:03:51.640> I<00:03:51.799> was 00:03:52.149 --> 00:03:52.159 align:start position:0% in order to execute the server and I was 00:03:52.159 --> 00:03:54.350 align:start position:0% in order to execute the server and I was I<00:03:52.360> think<00:03:52.599> like<00:03:52.879> I'm<00:03:53.120> currently<00:03:53.519> most<00:03:53.920> excited 00:03:54.350 --> 00:03:54.360 align:start position:0% I think like I'm currently most excited 00:03:54.360 --> 00:03:56.589 align:start position:0% I think like I'm currently most excited about<00:03:54.760> like<00:03:55.159> having<00:03:55.400> servers<00:03:55.840> with<00:03:56.000> many<00:03:56.280> many 00:03:56.589 --> 00:03:56.599 align:start position:0% about like having servers with many many 00:03:56.599 --> 00:03:59.910 align:start position:0% about like having servers with many many people<00:03:57.400> uh<00:03:57.560> Computing<00:03:58.200> together<00:03:59.200> and<00:03:59.480> if<00:03:59.840> you 00:03:59.910 --> 00:03:59.920 align:start position:0% people uh Computing together and if you 00:03:59.920 --> 00:04:00.990 align:start position:0% people uh Computing together and if you wanted<00:04:00.079> to<00:04:00.200> have<00:04:00.280> a<00:04:00.360> server<00:04:00.640> with<00:04:00.760> like<00:04:00.879> a 00:04:00.990 --> 00:04:01.000 align:start position:0% wanted to have a server with like a 00:04:01.000 --> 00:04:03.190 align:start position:0% wanted to have a server with like a million<00:04:01.360> people<00:04:01.680> you<00:04:01.879> just<00:04:02.079> can't<00:04:02.360> do<00:04:02.640> that 00:04:03.190 --> 00:04:03.200 align:start position:0% million people you just can't do that 00:04:03.200 --> 00:04:04.350 align:start position:0% million people you just can't do that right<00:04:03.360> because<00:04:03.560> a<00:04:03.680> million<00:04:04.000> people<00:04:04.200> would 00:04:04.350 --> 00:04:04.360 align:start position:0% right because a million people would 00:04:04.360 --> 00:04:06.229 align:start position:0% right because a million people would have<00:04:04.439> to<00:04:04.519> be<00:04:04.680> online<00:04:05.120> at<00:04:05.239> the<00:04:05.400> same<00:04:05.680> time<00:04:05.959> and 00:04:06.229 --> 00:04:06.239 align:start position:0% have to be online at the same time and 00:04:06.239 --> 00:04:08.069 align:start position:0% have to be online at the same time and Computing<00:04:06.760> together<00:04:07.000> at<00:04:07.120> the<00:04:07.239> same<00:04:07.480> time 00:04:08.069 --> 00:04:08.079 align:start position:0% Computing together at the same time 00:04:08.079 --> 00:04:09.949 align:start position:0% Computing together at the same time which<00:04:08.239> seems<00:04:08.560> to<00:04:08.680> me<00:04:08.920> just<00:04:09.040> to<00:04:09.200> be<00:04:09.439> completely 00:04:09.949 --> 00:04:09.959 align:start position:0% which seems to me just to be completely 00:04:09.959 --> 00:04:11.750 align:start position:0% which seems to me just to be completely impractical<00:04:10.959> because<00:04:11.239> like<00:04:11.400> someone<00:04:11.640> is 00:04:11.750 --> 00:04:11.760 align:start position:0% impractical because like someone is 00:04:11.760 --> 00:04:12.789 align:start position:0% impractical because like someone is going<00:04:11.840> to<00:04:11.920> lose<00:04:12.120> their<00:04:12.319> password<00:04:12.680> or 00:04:12.789 --> 00:04:12.799 align:start position:0% going to lose their password or 00:04:12.799 --> 00:04:14.470 align:start position:0% going to lose their password or someone's<00:04:13.040> going<00:04:13.159> to<00:04:13.239> lose<00:04:13.439> their<00:04:13.640> phone<00:04:14.360> and 00:04:14.470 --> 00:04:14.480 align:start position:0% someone's going to lose their phone and 00:04:14.480 --> 00:04:15.949 align:start position:0% someone's going to lose their phone and you<00:04:14.599> just<00:04:14.720> won't<00:04:14.920> be<00:04:15.040> able<00:04:15.200> to<00:04:15.319> see<00:04:15.519> the<00:04:15.640> final 00:04:15.949 --> 00:04:15.959 align:start position:0% you just won't be able to see the final 00:04:15.959 --> 00:04:17.069 align:start position:0% you just won't be able to see the final result<00:04:16.199> or<00:04:16.320> you<00:04:16.400> won't<00:04:16.560> be<00:04:16.639> able<00:04:16.799> to<00:04:16.880> finish 00:04:17.069 --> 00:04:17.079 align:start position:0% result or you won't be able to finish 00:04:17.079 --> 00:04:18.270 align:start position:0% result or you won't be able to finish the 00:04:18.270 --> 00:04:18.280 align:start position:0% the 00:04:18.280 --> 00:04:21.789 align:start position:0% the computation<00:04:19.280> but<00:04:19.440> the<00:04:19.560> thing<00:04:19.799> that<00:04:20.639> uh<00:04:21.639> that 00:04:21.789 --> 00:04:21.799 align:start position:0% computation but the thing that uh that 00:04:21.799 --> 00:04:23.510 align:start position:0% computation but the thing that uh that so<00:04:22.040> so<00:04:22.160> in<00:04:22.240> order<00:04:22.440> to<00:04:22.560> overcome<00:04:22.919> this<00:04:23.240> the<00:04:23.360> tool 00:04:23.510 --> 00:04:23.520 align:start position:0% so so in order to overcome this the tool 00:04:23.520 --> 00:04:25.990 align:start position:0% so so in order to overcome this the tool that<00:04:23.639> we<00:04:23.759> need<00:04:23.880> to<00:04:23.960> use<00:04:24.120> is<00:04:24.400> IO<00:04:24.880> which<00:04:25.479> which<00:04:25.680> is 00:04:25.990 --> 00:04:26.000 align:start position:0% that we need to use is IO which which is 00:04:26.000 --> 00:04:28.310 align:start position:0% that we need to use is IO which which is stands<00:04:26.240> for<00:04:26.440> indistinguishable<00:04:27.320> observation 00:04:28.310 --> 00:04:28.320 align:start position:0% stands for indistinguishable observation 00:04:28.320 --> 00:04:30.550 align:start position:0% stands for indistinguishable observation which<00:04:28.680> basically<00:04:29.280> takes<00:04:29.520> a<00:04:29.800> away<00:04:30.000> the 00:04:30.550 --> 00:04:30.560 align:start position:0% which basically takes a away the 00:04:30.560 --> 00:04:32.990 align:start position:0% which basically takes a away the interactivity<00:04:31.560> uh<00:04:31.759> that<00:04:31.919> we<00:04:32.280> that<00:04:32.400> we<00:04:32.560> need<00:04:32.800> to 00:04:32.990 --> 00:04:33.000 align:start position:0% interactivity uh that we that we need to 00:04:33.000 --> 00:04:35.629 align:start position:0% interactivity uh that we that we need to have<00:04:33.320> for<00:04:33.639> hallucinated<00:04:34.199> servers<00:04:34.479> up<00:04:34.639> until 00:04:35.629 --> 00:04:35.639 align:start position:0% have for hallucinated servers up until 00:04:35.639 --> 00:04:38.310 align:start position:0% have for hallucinated servers up until now<00:04:36.639> um<00:04:37.440> so<00:04:37.680> if<00:04:37.759> you<00:04:37.840> want<00:04:37.919> to<00:04:38.039> do<00:04:38.120> something 00:04:38.310 --> 00:04:38.320 align:start position:0% now um so if you want to do something 00:04:38.320 --> 00:04:39.870 align:start position:0% now um so if you want to do something new<00:04:38.479> you<00:04:38.560> have<00:04:38.639> to<00:04:38.720> do<00:04:38.840> things<00:04:39.080> differently<00:04:39.720> so 00:04:39.870 --> 00:04:39.880 align:start position:0% new you have to do things differently so 00:04:39.880 --> 00:04:40.990 align:start position:0% new you have to do things differently so the<00:04:39.960> rest<00:04:40.120> of<00:04:40.199> my<00:04:40.360> talk<00:04:40.520> I'm<00:04:40.639> going<00:04:40.720> to<00:04:40.840> talk 00:04:40.990 --> 00:04:41.000 align:start position:0% the rest of my talk I'm going to talk 00:04:41.000 --> 00:04:42.710 align:start position:0% the rest of my talk I'm going to talk about<00:04:41.240> like<00:04:41.440> the<00:04:41.759> the<00:04:42.000> different<00:04:42.360> things<00:04:42.600> that 00:04:42.710 --> 00:04:42.720 align:start position:0% about like the the different things that 00:04:42.720 --> 00:04:43.430 align:start position:0% about like the the different things that we're 00:04:43.430 --> 00:04:43.440 align:start position:0% we're 00:04:43.440 --> 00:04:45.830 align:start position:0% we're doing<00:04:44.440> uh<00:04:44.520> so<00:04:44.680> why<00:04:44.800> don't<00:04:44.919> we<00:04:45.039> have<00:04:45.120> it<00:04:45.320> already 00:04:45.830 --> 00:04:45.840 align:start position:0% doing uh so why don't we have it already 00:04:45.840 --> 00:04:48.150 align:start position:0% doing uh so why don't we have it already so<00:04:46.039> it's<00:04:46.320> hard<00:04:47.320> uh<00:04:47.440> like<00:04:47.600> IND<00:04:47.759> distinguish 00:04:48.150 --> 00:04:48.160 align:start position:0% so it's hard uh like IND distinguish 00:04:48.160 --> 00:04:49.710 align:start position:0% so it's hard uh like IND distinguish alisation<00:04:48.639> has<00:04:48.759> been<00:04:48.880> an<00:04:49.000> open<00:04:49.280> problem<00:04:49.479> for<00:04:49.600> a 00:04:49.710 --> 00:04:49.720 align:start position:0% alisation has been an open problem for a 00:04:49.720 --> 00:04:54.270 align:start position:0% alisation has been an open problem for a long<00:04:49.960> time<00:04:50.759> recently<00:04:51.320> in<00:04:51.919> 2022<00:04:52.919> the<00:04:53.280> first 00:04:54.270 --> 00:04:54.280 align:start position:0% long time recently in 2022 the first 00:04:54.280 --> 00:04:56.510 align:start position:0% long time recently in 2022 the first practic<00:04:54.800> or<00:04:55.039> the<00:04:55.199> first<00:04:55.639> scheme<00:04:56.320> from 00:04:56.510 --> 00:04:56.520 align:start position:0% practic or the first scheme from 00:04:56.520 --> 00:04:58.710 align:start position:0% practic or the first scheme from standard<00:04:56.960> assumptions<00:04:57.520> was<00:04:58.240> proposed<00:04:58.600> and 00:04:58.710 --> 00:04:58.720 align:start position:0% standard assumptions was proposed and 00:04:58.720 --> 00:05:00.830 align:start position:0% standard assumptions was proposed and this<00:04:58.800> was<00:04:58.919> a<00:04:59.039> big<00:04:59.199> deal<00:04:59.360> in<00:04:59.520> the<00:04:59.840> IO<00:05:00.199> world 00:05:00.830 --> 00:05:00.840 align:start position:0% this was a big deal in the IO world 00:05:00.840 --> 00:05:01.990 align:start position:0% this was a big deal in the IO world because<00:05:01.039> it<00:05:01.160> was<00:05:01.280> the<00:05:01.400> first<00:05:01.600> time<00:05:01.800> that<00:05:01.880> it 00:05:01.990 --> 00:05:02.000 align:start position:0% because it was the first time that it 00:05:02.000 --> 00:05:04.350 align:start position:0% because it was the first time that it was<00:05:02.240> like<00:05:02.759> even<00:05:03.199> theoretically<00:05:03.919> possible<00:05:04.199> to 00:05:04.350 --> 00:05:04.360 align:start position:0% was like even theoretically possible to 00:05:04.360 --> 00:05:06.629 align:start position:0% was like even theoretically possible to do<00:05:04.560> this<00:05:05.120> but<00:05:05.320> unfortunately<00:05:06.039> the<00:05:06.199> scheme<00:05:06.479> is 00:05:06.629 --> 00:05:06.639 align:start position:0% do this but unfortunately the scheme is 00:05:06.639 --> 00:05:09.029 align:start position:0% do this but unfortunately the scheme is Not<00:05:06.919> Practical<00:05:07.479> it<00:05:07.600> would<00:05:07.840> take<00:05:08.400> millions<00:05:08.840> of 00:05:09.029 --> 00:05:09.039 align:start position:0% Not Practical it would take millions of 00:05:09.039 --> 00:05:13.189 align:start position:0% Not Practical it would take millions of years<00:05:09.400> to<00:05:09.800> like<00:05:10.080> execute<00:05:11.000> to<00:05:11.720> to<00:05:11.880> do<00:05:12.039> a<00:05:12.199> full<00:05:13.000> uh 00:05:13.189 --> 00:05:13.199 align:start position:0% years to like execute to to do a full uh 00:05:13.199 --> 00:05:17.310 align:start position:0% years to like execute to to do a full uh execution<00:05:13.600> of<00:05:14.440> IO<00:05:14.759> an<00:05:14.919> IO<00:05:15.600> circuit<00:05:16.600> um<00:05:17.160> but 00:05:17.310 --> 00:05:17.320 align:start position:0% execution of IO an IO circuit um but 00:05:17.320 --> 00:05:19.749 align:start position:0% execution of IO an IO circuit um but this<00:05:17.440> is<00:05:17.560> from<00:05:17.880> standard<00:05:18.360> assumptions<00:05:19.240> so<00:05:19.560> in 00:05:19.749 --> 00:05:19.759 align:start position:0% this is from standard assumptions so in 00:05:19.759 --> 00:05:22.189 align:start position:0% this is from standard assumptions so in cryptography<00:05:20.440> we're<00:05:21.120> we<00:05:21.319> we<00:05:21.520> always<00:05:21.800> try<00:05:22.000> to 00:05:22.189 --> 00:05:22.199 align:start position:0% cryptography we're we we always try to 00:05:22.199 --> 00:05:24.189 align:start position:0% cryptography we're we we always try to base<00:05:22.639> what<00:05:22.759> we're<00:05:22.919> doing<00:05:23.199> upon<00:05:23.440> standard 00:05:24.189 --> 00:05:24.199 align:start position:0% base what we're doing upon standard 00:05:24.199 --> 00:05:27.270 align:start position:0% base what we're doing upon standard assumptions<00:05:25.199> uh<00:05:25.520> but<00:05:25.800> like<00:05:26.800> actually<00:05:27.080> in<00:05:27.199> the 00:05:27.270 --> 00:05:27.280 align:start position:0% assumptions uh but like actually in the 00:05:27.280 --> 00:05:28.710 align:start position:0% assumptions uh but like actually in the cryptocurrency<00:05:27.880> world<00:05:28.080> we<00:05:28.160> won't<00:05:28.400> really<00:05:28.560> do 00:05:28.710 --> 00:05:28.720 align:start position:0% cryptocurrency world we won't really do 00:05:28.720 --> 00:05:30.909 align:start position:0% cryptocurrency world we won't really do this<00:05:28.880> so<00:05:29.120> much<00:05:30.000> uh<00:05:30.120> in<00:05:30.240> the<00:05:30.319> cryptocurrency 00:05:30.909 --> 00:05:30.919 align:start position:0% this so much uh in the cryptocurrency 00:05:30.919 --> 00:05:32.670 align:start position:0% this so much uh in the cryptocurrency world<00:05:31.199> we<00:05:31.360> we<00:05:31.440> use<00:05:31.639> a<00:05:31.759> bunch<00:05:31.960> of<00:05:32.080> non-standard 00:05:32.670 --> 00:05:32.680 align:start position:0% world we we use a bunch of non-standard 00:05:32.680 --> 00:05:34.590 align:start position:0% world we we use a bunch of non-standard assumptions<00:05:33.520> that<00:05:33.759> like<00:05:34.039> the<00:05:34.199> regular 00:05:34.590 --> 00:05:34.600 align:start position:0% assumptions that like the regular 00:05:34.600 --> 00:05:36.150 align:start position:0% assumptions that like the regular cryptography<00:05:35.319> Community<00:05:35.680> would<00:05:35.840> be<00:05:36.000> very 00:05:36.150 --> 00:05:36.160 align:start position:0% cryptography Community would be very 00:05:36.160 --> 00:05:39.029 align:start position:0% cryptography Community would be very concerned<00:05:36.600> about<00:05:37.400> and<00:05:37.919> like<00:05:38.199> two<00:05:38.520> examples 00:05:39.029 --> 00:05:39.039 align:start position:0% concerned about and like two examples 00:05:39.039 --> 00:05:40.670 align:start position:0% concerned about and like two examples are<00:05:39.360> like<00:05:39.520> the<00:05:39.800> snack<00:05:40.120> friendly<00:05:40.440> hash 00:05:40.670 --> 00:05:40.680 align:start position:0% are like the snack friendly hash 00:05:40.680 --> 00:05:43.150 align:start position:0% are like the snack friendly hash functions<00:05:41.360> they<00:05:41.479> use<00:05:41.680> this<00:05:41.919> very<00:05:42.240> like<00:05:42.759> crazy 00:05:43.150 --> 00:05:43.160 align:start position:0% functions they use this very like crazy 00:05:43.160 --> 00:05:45.909 align:start position:0% functions they use this very like crazy kind<00:05:43.319> of<00:05:43.479> assumption<00:05:44.199> that<00:05:44.440> like<00:05:45.080> we<00:05:45.600> like<00:05:45.800> the 00:05:45.909 --> 00:05:45.919 align:start position:0% kind of assumption that like we like the 00:05:45.919 --> 00:05:47.189 align:start position:0% kind of assumption that like we like the rest<00:05:46.080> of<00:05:46.240> cryptography<00:05:46.759> doesn't<00:05:47.000> really 00:05:47.189 --> 00:05:47.199 align:start position:0% rest of cryptography doesn't really 00:05:47.199 --> 00:05:49.510 align:start position:0% rest of cryptography doesn't really think<00:05:47.400> about<00:05:48.240> and<00:05:48.479> also<00:05:48.720> grinding<00:05:49.080> is<00:05:49.280> right 00:05:49.510 --> 00:05:49.520 align:start position:0% think about and also grinding is right 00:05:49.520 --> 00:05:51.510 align:start position:0% think about and also grinding is right is<00:05:49.720> another<00:05:50.000> non-standard 00:05:51.510 --> 00:05:51.520 align:start position:0% is another non-standard 00:05:51.520 --> 00:05:54.150 align:start position:0% is another non-standard assumption<00:05:52.520> so<00:05:53.160> like<00:05:53.440> well<00:05:53.680> the<00:05:53.800> question<00:05:54.000> is 00:05:54.150 --> 00:05:54.160 align:start position:0% assumption so like well the question is 00:05:54.160 --> 00:05:55.350 align:start position:0% assumption so like well the question is like<00:05:54.360> like<00:05:54.479> another<00:05:54.720> question<00:05:54.919> to<00:05:55.039> ask<00:05:55.199> is 00:05:55.350 --> 00:05:55.360 align:start position:0% like like another question to ask is 00:05:55.360 --> 00:05:56.909 align:start position:0% like like another question to ask is like<00:05:55.479> why<00:05:55.600> do<00:05:55.720> we<00:05:55.880> even<00:05:56.080> need<00:05:56.240> to<00:05:56.479> assume 00:05:56.909 --> 00:05:56.919 align:start position:0% like why do we even need to assume 00:05:56.919 --> 00:05:58.909 align:start position:0% like why do we even need to assume anything<00:05:57.240> in<00:05:57.360> the<00:05:57.479> first<00:05:57.759> place<00:05:58.680> and<00:05:58.800> the 00:05:58.909 --> 00:05:58.919 align:start position:0% anything in the first place and the 00:05:58.919 --> 00:06:00.790 align:start position:0% anything in the first place and the reason<00:05:59.160> for<00:05:59.319> this<00:05:59.479> is<00:05:59.680> is<00:05:59.840> that<00:06:00.039> like<00:06:00.560> when 00:06:00.790 --> 00:06:00.800 align:start position:0% reason for this is is that like when 00:06:00.800 --> 00:06:04.710 align:start position:0% reason for this is is that like when like<00:06:01.080> P<00:06:01.840> equals<00:06:02.840> NP<00:06:03.440> question<00:06:03.720> mark<00:06:04.319> is<00:06:04.520> like 00:06:04.710 --> 00:06:04.720 align:start position:0% like P equals NP question mark is like 00:06:04.720 --> 00:06:06.510 align:start position:0% like P equals NP question mark is like this<00:06:04.919> big<00:06:05.240> open<00:06:05.800> problem<00:06:06.039> in<00:06:06.160> computer 00:06:06.510 --> 00:06:06.520 align:start position:0% this big open problem in computer 00:06:06.520 --> 00:06:07.950 align:start position:0% this big open problem in computer science<00:06:06.840> it's<00:06:07.039> like<00:06:07.240> this<00:06:07.479> kind<00:06:07.680> of<00:06:07.840> like 00:06:07.950 --> 00:06:07.960 align:start position:0% science it's like this kind of like 00:06:07.960 --> 00:06:10.550 align:start position:0% science it's like this kind of like million<00:06:08.919> Millennium<00:06:09.560> prize<00:06:10.120> if<00:06:10.199> you're<00:06:10.360> able 00:06:10.550 --> 00:06:10.560 align:start position:0% million Millennium prize if you're able 00:06:10.560 --> 00:06:13.350 align:start position:0% million Millennium prize if you're able to<00:06:10.759> prove<00:06:11.520> like<00:06:11.680> P<00:06:12.199> is<00:06:12.319> not<00:06:12.479> equal<00:06:12.720> to<00:06:12.840> NP<00:06:13.199> is 00:06:13.350 --> 00:06:13.360 align:start position:0% to prove like P is not equal to NP is 00:06:13.360 --> 00:06:14.870 align:start position:0% to prove like P is not equal to NP is basically<00:06:13.680> says<00:06:13.919> that<00:06:14.120> like<00:06:14.280> some<00:06:14.479> things<00:06:14.680> are 00:06:14.870 --> 00:06:14.880 align:start position:0% basically says that like some things are 00:06:14.880 --> 00:06:17.350 align:start position:0% basically says that like some things are easy<00:06:15.240> and<00:06:15.360> some<00:06:15.599> things<00:06:15.720> are<00:06:15.919> hard<00:06:16.880> and<00:06:17.120> like 00:06:17.350 --> 00:06:17.360 align:start position:0% easy and some things are hard and like 00:06:17.360 --> 00:06:19.230 align:start position:0% easy and some things are hard and like all<00:06:17.520> of<00:06:17.639> the<00:06:17.840> easy<00:06:18.199> things<00:06:18.639> all<00:06:18.759> of<00:06:18.880> the<00:06:19.000> hard 00:06:19.230 --> 00:06:19.240 align:start position:0% all of the easy things all of the hard 00:06:19.240 --> 00:06:21.110 align:start position:0% all of the easy things all of the hard things<00:06:19.440> are<00:06:19.639> not<00:06:19.919> actually<00:06:20.280> just<00:06:20.479> secret 00:06:21.110 --> 00:06:21.120 align:start position:0% things are not actually just secret 00:06:21.120 --> 00:06:23.870 align:start position:0% things are not actually just secret secretly<00:06:21.680> easy<00:06:22.120> things<00:06:23.120> uh<00:06:23.240> so<00:06:23.440> because<00:06:23.759> we 00:06:23.870 --> 00:06:23.880 align:start position:0% secretly easy things uh so because we 00:06:23.880 --> 00:06:25.830 align:start position:0% secretly easy things uh so because we can't<00:06:24.360> prove<00:06:24.639> that<00:06:24.800> something<00:06:25.080> is<00:06:25.280> hard<00:06:25.680> or 00:06:25.830 --> 00:06:25.840 align:start position:0% can't prove that something is hard or 00:06:25.840 --> 00:06:28.029 align:start position:0% can't prove that something is hard or something<00:06:26.080> is<00:06:26.319> easy<00:06:26.720> easy<00:06:27.319> we're<00:06:27.520> not<00:06:27.639> able<00:06:27.840> to 00:06:28.029 --> 00:06:28.039 align:start position:0% something is easy easy we're not able to 00:06:28.039 --> 00:06:30.430 align:start position:0% something is easy easy we're not able to prove<00:06:28.280> that<00:06:28.520> like<00:06:29.360> no<00:06:29.639> sorry<00:06:30.120> because<00:06:30.319> we're 00:06:30.430 --> 00:06:30.440 align:start position:0% prove that like no sorry because we're 00:06:30.440 --> 00:06:31.749 align:start position:0% prove that like no sorry because we're not<00:06:30.560> able<00:06:30.720> to<00:06:30.840> prove<00:06:31.039> that<00:06:31.280> anything<00:06:31.599> is 00:06:31.749 --> 00:06:31.759 align:start position:0% not able to prove that anything is 00:06:31.759 --> 00:06:33.990 align:start position:0% not able to prove that anything is harded<00:06:32.440> and<00:06:32.800> or<00:06:33.039> anything<00:06:33.360> is<00:06:33.520> easy<00:06:33.759> we're<00:06:33.880> not 00:06:33.990 --> 00:06:34.000 align:start position:0% harded and or anything is easy we're not 00:06:34.000 --> 00:06:35.830 align:start position:0% harded and or anything is easy we're not able<00:06:34.160> to<00:06:34.319> prove<00:06:34.520> that<00:06:34.680> like<00:06:35.160> specific<00:06:35.639> things 00:06:35.830 --> 00:06:35.840 align:start position:0% able to prove that like specific things 00:06:35.840 --> 00:06:38.070 align:start position:0% able to prove that like specific things are<00:06:36.000> harded<00:06:36.520> or<00:06:36.759> easy<00:06:37.520> and<00:06:37.639> because<00:06:37.840> of<00:06:37.960> that 00:06:38.070 --> 00:06:38.080 align:start position:0% are harded or easy and because of that 00:06:38.080 --> 00:06:40.150 align:start position:0% are harded or easy and because of that we're<00:06:38.240> not<00:06:38.400> able<00:06:38.639> to<00:06:39.080> to<00:06:39.319> say<00:06:39.599> that<00:06:39.759> like<00:06:39.960> well 00:06:40.150 --> 00:06:40.160 align:start position:0% we're not able to to say that like well 00:06:40.160 --> 00:06:42.390 align:start position:0% we're not able to to say that like well this<00:06:40.360> problem<00:06:40.599> is<00:06:40.800> hard<00:06:41.479> it's<00:06:41.680> hard<00:06:41.880> to<00:06:42.039> solve 00:06:42.390 --> 00:06:42.400 align:start position:0% this problem is hard it's hard to solve 00:06:42.400 --> 00:06:43.950 align:start position:0% this problem is hard it's hard to solve this<00:06:42.720> it's<00:06:42.880> hard<00:06:43.039> to<00:06:43.199> decrypt<00:06:43.639> this<00:06:43.759> unless 00:06:43.950 --> 00:06:43.960 align:start position:0% this it's hard to decrypt this unless 00:06:43.960 --> 00:06:46.710 align:start position:0% this it's hard to decrypt this unless you<00:06:44.080> have<00:06:44.199> the<00:06:44.319> private<00:06:45.120> key<00:06:46.120> so<00:06:46.440> what<00:06:46.560> are 00:06:46.710 --> 00:06:46.720 align:start position:0% you have the private key so what are 00:06:46.720 --> 00:06:48.110 align:start position:0% you have the private key so what are current<00:06:47.039> assumptions<00:06:47.479> we<00:06:47.560> currently<00:06:47.880> use 00:06:48.110 --> 00:06:48.120 align:start position:0% current assumptions we currently use 00:06:48.120 --> 00:06:49.110 align:start position:0% current assumptions we currently use well<00:06:48.240> we<00:06:48.319> currently<00:06:48.599> use<00:06:48.759> a<00:06:48.880> bunch<00:06:49.039> of 00:06:49.110 --> 00:06:49.120 align:start position:0% well we currently use a bunch of 00:06:49.120 --> 00:06:50.350 align:start position:0% well we currently use a bunch of assumptions<00:06:49.440> that<00:06:49.520> are<00:06:49.639> based<00:06:49.880> upon<00:06:50.080> prime 00:06:50.350 --> 00:06:50.360 align:start position:0% assumptions that are based upon prime 00:06:50.360 --> 00:06:54.150 align:start position:0% assumptions that are based upon prime numbers<00:06:51.039> so<00:06:51.240> elliptic<00:06:52.039> elliptic<00:06:52.919> curves<00:06:53.919> is 00:06:54.150 --> 00:06:54.160 align:start position:0% numbers so elliptic elliptic curves is 00:06:54.160 --> 00:06:57.029 align:start position:0% numbers so elliptic elliptic curves is like<00:06:54.280> a<00:06:54.680> prime<00:06:54.919> number<00:06:55.160> based<00:06:55.560> assumption<00:06:56.560> and 00:06:57.029 --> 00:06:57.039 align:start position:0% like a prime number based assumption and 00:06:57.039 --> 00:06:58.430 align:start position:0% like a prime number based assumption and this<00:06:57.360> assumption<00:06:57.720> has<00:06:57.840> been<00:06:57.960> chosen<00:06:58.280> because 00:06:58.430 --> 00:06:58.440 align:start position:0% this assumption has been chosen because 00:06:58.440 --> 00:06:59.869 align:start position:0% this assumption has been chosen because it's<00:06:58.599> been<00:06:58.800> like<00:06:58.879> an<00:06:59.000> open<00:06:59.280> problem<00:06:59.720> for 00:06:59.869 --> 00:06:59.879 align:start position:0% it's been like an open problem for 00:06:59.879 --> 00:07:01.629 align:start position:0% it's been like an open problem for hundreds<00:07:00.199> of<00:07:00.400> years<00:07:00.840> for<00:07:01.000> hundreds<00:07:01.280> of<00:07:01.440> years 00:07:01.629 --> 00:07:01.639 align:start position:0% hundreds of years for hundreds of years 00:07:01.639 --> 00:07:03.070 align:start position:0% hundreds of years for hundreds of years number<00:07:01.919> theory<00:07:02.199> has<00:07:02.319> been<00:07:02.479> trying<00:07:02.680> to<00:07:02.840> figure 00:07:03.070 --> 00:07:03.080 align:start position:0% number theory has been trying to figure 00:07:03.080 --> 00:07:05.909 align:start position:0% number theory has been trying to figure out<00:07:03.319> to<00:07:03.800> understand<00:07:04.039> more<00:07:04.840> about<00:07:05.479> about<00:07:05.680> prime 00:07:05.909 --> 00:07:05.919 align:start position:0% out to understand more about about prime 00:07:05.919 --> 00:07:07.230 align:start position:0% out to understand more about about prime numbers<00:07:06.280> and<00:07:06.440> about<00:07:06.759> like<00:07:07.000> their 00:07:07.230 --> 00:07:07.240 align:start position:0% numbers and about like their 00:07:07.240 --> 00:07:09.950 align:start position:0% numbers and about like their distribution<00:07:07.800> or<00:07:08.080> whatever<00:07:09.080> and<00:07:09.479> this<00:07:09.599> is<00:07:09.759> the 00:07:09.950 --> 00:07:09.960 align:start position:0% distribution or whatever and this is the 00:07:09.960 --> 00:07:11.390 align:start position:0% distribution or whatever and this is the assumption<00:07:10.479> that<00:07:10.720> like<00:07:10.919> most<00:07:11.120> of<00:07:11.240> our 00:07:11.390 --> 00:07:11.400 align:start position:0% assumption that like most of our 00:07:11.400 --> 00:07:12.670 align:start position:0% assumption that like most of our cryptography<00:07:11.879> is<00:07:11.960> based<00:07:12.199> upon<00:07:12.400> because<00:07:12.560> it's 00:07:12.670 --> 00:07:12.680 align:start position:0% cryptography is based upon because it's 00:07:12.680 --> 00:07:14.230 align:start position:0% cryptography is based upon because it's just<00:07:12.840> really<00:07:13.039> high<00:07:13.400> like<00:07:13.479> it's<00:07:13.639> been<00:07:13.840> open<00:07:14.080> for 00:07:14.230 --> 00:07:14.240 align:start position:0% just really high like it's been open for 00:07:14.240 --> 00:07:16.869 align:start position:0% just really high like it's been open for a<00:07:14.360> long<00:07:14.599> time<00:07:15.360> but<00:07:15.639> like<00:07:16.199> the<00:07:16.360> problem<00:07:16.639> is<00:07:16.759> that 00:07:16.869 --> 00:07:16.879 align:start position:0% a long time but like the problem is that 00:07:16.879 --> 00:07:18.629 align:start position:0% a long time but like the problem is that there's<00:07:17.039> a<00:07:17.199> lot<00:07:17.360> of<00:07:18.000> there's<00:07:18.199> a<00:07:18.319> lot<00:07:18.440> of 00:07:18.629 --> 00:07:18.639 align:start position:0% there's a lot of there's a lot of 00:07:18.639 --> 00:07:20.589 align:start position:0% there's a lot of there's a lot of complexity<00:07:19.280> here<00:07:20.000> there's<00:07:20.199> a<00:07:20.280> lot<00:07:20.400> of 00:07:20.589 --> 00:07:20.599 align:start position:0% complexity here there's a lot of 00:07:20.599 --> 00:07:23.150 align:start position:0% complexity here there's a lot of complexity<00:07:21.360> I<00:07:21.479> want<00:07:21.560> to<00:07:21.680> go<00:07:21.919> back<00:07:22.919> yeah 00:07:23.150 --> 00:07:23.160 align:start position:0% complexity I want to go back yeah 00:07:23.160 --> 00:07:24.909 align:start position:0% complexity I want to go back yeah there's<00:07:23.319> a<00:07:23.440> lot<00:07:23.560> of<00:07:23.759> complexity<00:07:24.360> here<00:07:24.759> in 00:07:24.909 --> 00:07:24.919 align:start position:0% there's a lot of complexity here in 00:07:24.919 --> 00:07:26.189 align:start position:0% there's a lot of complexity here in Prime<00:07:25.160> not<00:07:25.360> because<00:07:25.479> it's<00:07:25.639> just<00:07:25.800> like<00:07:26.039> this 00:07:26.189 --> 00:07:26.199 align:start position:0% Prime not because it's just like this 00:07:26.199 --> 00:07:28.230 align:start position:0% Prime not because it's just like this kind<00:07:26.319> of<00:07:26.520> security<00:07:27.000> by<00:07:27.240> obscurity<00:07:27.840> thing<00:07:28.120> it's 00:07:28.230 --> 00:07:28.240 align:start position:0% kind of security by obscurity thing it's 00:07:28.240 --> 00:07:29.270 align:start position:0% kind of security by obscurity thing it's this<00:07:28.440> problem<00:07:28.680> we've<00:07:28.800> been<00:07:28.879> trying<00:07:29.039> to<00:07:29.120> solve 00:07:29.270 --> 00:07:29.280 align:start position:0% this problem we've been trying to solve 00:07:29.280 --> 00:07:30.990 align:start position:0% this problem we've been trying to solve for<00:07:29.560> years<00:07:29.759> and<00:07:29.879> years<00:07:30.039> and<00:07:30.199> years<00:07:30.440> and<00:07:30.680> like 00:07:30.990 --> 00:07:31.000 align:start position:0% for years and years and years and like 00:07:31.000 --> 00:07:32.950 align:start position:0% for years and years and years and like no<00:07:31.120> one<00:07:31.280> has<00:07:31.400> made<00:07:31.599> any<00:07:31.840> progress<00:07:32.160> on<00:07:32.319> it<00:07:32.759> so 00:07:32.950 --> 00:07:32.960 align:start position:0% no one has made any progress on it so 00:07:32.960 --> 00:07:35.070 align:start position:0% no one has made any progress on it so therefore<00:07:33.240> we<00:07:33.360> think<00:07:33.479> it's<00:07:33.680> hard<00:07:34.520> but<00:07:34.759> like 00:07:35.070 --> 00:07:35.080 align:start position:0% therefore we think it's hard but like 00:07:35.080 --> 00:07:37.670 align:start position:0% therefore we think it's hard but like I'm<00:07:35.280> not<00:07:35.879> like<00:07:36.160> there's<00:07:36.400> been<00:07:36.759> like<00:07:37.000> recently 00:07:37.670 --> 00:07:37.680 align:start position:0% I'm not like there's been like recently 00:07:37.680 --> 00:07:39.150 align:start position:0% I'm not like there's been like recently more<00:07:37.879> people<00:07:38.080> have<00:07:38.199> been<00:07:38.400> trying<00:07:38.639> to<00:07:38.879> come<00:07:39.000> up 00:07:39.150 --> 00:07:39.160 align:start position:0% more people have been trying to come up 00:07:39.160 --> 00:07:40.830 align:start position:0% more people have been trying to come up with<00:07:39.360> like<00:07:39.479> simpler<00:07:40.039> assumptions<00:07:40.560> that<00:07:40.639> are 00:07:40.830 --> 00:07:40.840 align:start position:0% with like simpler assumptions that are 00:07:40.840 --> 00:07:43.710 align:start position:0% with like simpler assumptions that are Al<00:07:41.360> that<00:07:41.479> are<00:07:41.639> also<00:07:42.080> like<00:07:42.560> we<00:07:42.759> think<00:07:43.039> hard<00:07:43.560> and 00:07:43.710 --> 00:07:43.720 align:start position:0% Al that are also like we think hard and 00:07:43.720 --> 00:07:47.550 align:start position:0% Al that are also like we think hard and like<00:07:43.879> lisis<00:07:44.440> is<00:07:44.560> an<00:07:44.720> example<00:07:45.039> of<00:07:45.639> this<00:07:46.639> uh<00:07:47.080> okay 00:07:47.550 --> 00:07:47.560 align:start position:0% like lisis is an example of this uh okay 00:07:47.560 --> 00:07:50.629 align:start position:0% like lisis is an example of this uh okay now<00:07:47.720> I<00:07:47.800> want<00:07:47.919> to<00:07:48.000> go<00:07:48.080> to<00:07:48.199> the<00:07:48.280> next<00:07:48.440> slide 00:07:50.629 --> 00:07:50.639 align:start position:0% now I want to go to the next slide 00:07:50.639 --> 00:07:53.189 align:start position:0% now I want to go to the next slide okay<00:07:51.639> so<00:07:51.879> like<00:07:52.039> the<00:07:52.159> lus<00:07:52.479> assumption<00:07:52.840> is<00:07:52.960> that 00:07:53.189 --> 00:07:53.199 align:start position:0% okay so like the lus assumption is that 00:07:53.199 --> 00:07:55.029 align:start position:0% okay so like the lus assumption is that much<00:07:53.479> simpler<00:07:53.919> than<00:07:54.080> the<00:07:54.240> prime<00:07:54.599> prime<00:07:54.800> number 00:07:55.029 --> 00:07:55.039 align:start position:0% much simpler than the prime prime number 00:07:55.039 --> 00:07:56.909 align:start position:0% much simpler than the prime prime number based<00:07:55.280> assumptions<00:07:56.000> and<00:07:56.120> they<00:07:56.280> seem<00:07:56.599> like 00:07:56.909 --> 00:07:56.919 align:start position:0% based assumptions and they seem like 00:07:56.919 --> 00:08:00.309 align:start position:0% based assumptions and they seem like much<00:07:57.840> more<00:07:58.840> it<00:07:59.039> it<00:07:59.319> it<00:07:59.520> intuitively<00:08:00.039> it<00:08:00.120> seems 00:08:00.309 --> 00:08:00.319 align:start position:0% much more it it it intuitively it seems 00:08:00.319 --> 00:08:03.550 align:start position:0% much more it it it intuitively it seems to<00:08:00.479> me<00:08:00.720> like<00:08:00.919> much<00:08:01.199> harder<00:08:02.199> but<00:08:02.520> it's<00:08:02.759> not<00:08:03.360> like 00:08:03.550 --> 00:08:03.560 align:start position:0% to me like much harder but it's not like 00:08:03.560 --> 00:08:04.670 align:start position:0% to me like much harder but it's not like but<00:08:03.680> we<00:08:03.800> can't<00:08:04.000> prove<00:08:04.159> it<00:08:04.319> like<00:08:04.400> we<00:08:04.520> can't 00:08:04.670 --> 00:08:04.680 align:start position:0% but we can't prove it like we can't 00:08:04.680 --> 00:08:06.309 align:start position:0% but we can't prove it like we can't prove<00:08:04.840> that<00:08:04.960> anything<00:08:05.199> is<00:08:05.400> hard<00:08:05.879> so<00:08:06.039> we<00:08:06.159> just 00:08:06.309 --> 00:08:06.319 align:start position:0% prove that anything is hard so we just 00:08:06.319 --> 00:08:08.029 align:start position:0% prove that anything is hard so we just have<00:08:06.400> to<00:08:06.639> base<00:08:06.919> everything<00:08:07.120> on<00:08:07.280> these 00:08:08.029 --> 00:08:08.039 align:start position:0% have to base everything on these 00:08:08.039 --> 00:08:11.270 align:start position:0% have to base everything on these assumptions<00:08:09.039> um<00:08:09.720> it<00:08:09.840> seemed<00:08:10.280> yeah<00:08:10.599> so<00:08:10.840> like 00:08:11.270 --> 00:08:11.280 align:start position:0% assumptions um it seemed yeah so like 00:08:11.280 --> 00:08:13.189 align:start position:0% assumptions um it seemed yeah so like one<00:08:11.520> exam<00:08:11.919> so<00:08:12.240> what<00:08:12.400> does<00:08:12.520> it<00:08:12.680> take<00:08:12.840> for<00:08:13.080> like 00:08:13.189 --> 00:08:13.199 align:start position:0% one exam so what does it take for like 00:08:13.199 --> 00:08:14.909 align:start position:0% one exam so what does it take for like an<00:08:13.360> assumption<00:08:13.800> to<00:08:13.960> become<00:08:14.240> like<00:08:14.319> a<00:08:14.520> standard 00:08:14.909 --> 00:08:14.919 align:start position:0% an assumption to become like a standard 00:08:14.919 --> 00:08:17.629 align:start position:0% an assumption to become like a standard assumption<00:08:15.800> so<00:08:16.039> it<00:08:16.159> took<00:08:16.360> about<00:08:16.639> 10<00:08:16.960> years<00:08:17.360> for 00:08:17.629 --> 00:08:17.639 align:start position:0% assumption so it took about 10 years for 00:08:17.639 --> 00:08:19.589 align:start position:0% assumption so it took about 10 years for the<00:08:17.919> lce<00:08:18.319> based<00:08:18.560> assumptions<00:08:18.960> to<00:08:19.080> become<00:08:19.319> like 00:08:19.589 --> 00:08:19.599 align:start position:0% the lce based assumptions to become like 00:08:19.599 --> 00:08:21.869 align:start position:0% the lce based assumptions to become like standard<00:08:20.520> although<00:08:21.080> like<00:08:21.280> many<00:08:21.560> people<00:08:21.759> in 00:08:21.869 --> 00:08:21.879 align:start position:0% standard although like many people in 00:08:21.879 --> 00:08:23.270 align:start position:0% standard although like many people in the<00:08:22.000> cryptography<00:08:22.520> Community<00:08:22.879> are<00:08:23.039> still 00:08:23.270 --> 00:08:23.280 align:start position:0% the cryptography Community are still 00:08:23.280 --> 00:08:26.029 align:start position:0% the cryptography Community are still very<00:08:23.639> skeptical<00:08:24.319> about<00:08:24.520> luses<00:08:25.440> for<00:08:25.639> example 00:08:26.029 --> 00:08:26.039 align:start position:0% very skeptical about luses for example 00:08:26.039 --> 00:08:28.469 align:start position:0% very skeptical about luses for example Daniel<00:08:26.360> Bernstein<00:08:26.960> is<00:08:27.120> just<00:08:27.440> like<00:08:28.120> does<00:08:28.319> not 00:08:28.469 --> 00:08:28.479 align:start position:0% Daniel Bernstein is just like does not 00:08:28.479 --> 00:08:30.029 align:start position:0% Daniel Bernstein is just like does not is<00:08:28.639> not<00:08:28.919> confident 00:08:30.029 --> 00:08:30.039 align:start position:0% is not confident 00:08:30.039 --> 00:08:33.230 align:start position:0% is not confident in<00:08:30.800> in<00:08:31.000> lce<00:08:31.400> based<00:08:32.120> uh 00:08:33.230 --> 00:08:33.240 align:start position:0% in in lce based uh 00:08:33.240 --> 00:08:36.310 align:start position:0% in in lce based uh cryptography 00:08:36.310 --> 00:08:36.320 align:start position:0% 00:08:36.320 --> 00:08:38.750 align:start position:0% um<00:08:37.320> yeah<00:08:37.560> so<00:08:37.760> like<00:08:37.919> this<00:08:38.080> slide<00:08:38.479> I<00:08:38.560> don't<00:08:38.680> know 00:08:38.750 --> 00:08:38.760 align:start position:0% um yeah so like this slide I don't know 00:08:38.760 --> 00:08:40.190 align:start position:0% um yeah so like this slide I don't know if<00:08:38.880> I<00:08:38.959> have<00:08:39.080> time<00:08:39.200> to<00:08:39.320> go<00:08:39.479> deeply<00:08:39.760> into<00:08:39.959> it<00:08:40.080> but 00:08:40.190 --> 00:08:40.200 align:start position:0% if I have time to go deeply into it but 00:08:40.200 --> 00:08:42.310 align:start position:0% if I have time to go deeply into it but it's<00:08:40.399> basically<00:08:40.839> claiming<00:08:41.320> that<00:08:41.519> like<00:08:41.800> AI<00:08:42.200> is 00:08:42.310 --> 00:08:42.320 align:start position:0% it's basically claiming that like AI is 00:08:42.320 --> 00:08:44.190 align:start position:0% it's basically claiming that like AI is more<00:08:42.519> dangerous<00:08:42.919> than<00:08:43.039> quantum<00:08:43.320> computers 00:08:44.190 --> 00:08:44.200 align:start position:0% more dangerous than quantum computers 00:08:44.200 --> 00:08:47.430 align:start position:0% more dangerous than quantum computers because<00:08:44.800> for<00:08:45.200> cryptography<00:08:46.200> because 00:08:47.430 --> 00:08:47.440 align:start position:0% because for cryptography because 00:08:47.440 --> 00:08:50.350 align:start position:0% because for cryptography because like<00:08:48.440> if<00:08:48.760> AI<00:08:49.080> seems<00:08:49.320> to<00:08:49.440> be<00:08:49.519> a<00:08:49.680> tool<00:08:49.959> to<00:08:50.160> like 00:08:50.350 --> 00:08:50.360 align:start position:0% like if AI seems to be a tool to like 00:08:50.360 --> 00:08:52.470 align:start position:0% like if AI seems to be a tool to like teach<00:08:50.800> people<00:08:51.480> and<00:08:51.640> that<00:08:51.760> seems<00:08:52.000> to<00:08:52.080> me<00:08:52.360> like 00:08:52.470 --> 00:08:52.480 align:start position:0% teach people and that seems to me like 00:08:52.480 --> 00:08:54.590 align:start position:0% teach people and that seems to me like inherently<00:08:53.000> more<00:08:53.240> powerful<00:08:54.000> than<00:08:54.120> a<00:08:54.279> tool 00:08:54.590 --> 00:08:54.600 align:start position:0% inherently more powerful than a tool 00:08:54.600 --> 00:08:56.829 align:start position:0% inherently more powerful than a tool that's<00:08:54.839> like<00:08:55.000> able<00:08:55.240> to<00:08:55.399> do<00:08:55.640> compute<00:08:56.040> compute 00:08:56.829 --> 00:08:56.839 align:start position:0% that's like able to do compute compute 00:08:56.839 --> 00:08:58.630 align:start position:0% that's like able to do compute compute so<00:08:57.080> like<00:08:57.240> I<00:08:57.320> feel<00:08:57.640> that<00:08:57.839> like<00:08:58.040> this<00:08:58.399> like<00:08:58.519> I 00:08:58.630 --> 00:08:58.640 align:start position:0% so like I feel that like this like I 00:08:58.640 --> 00:09:00.509 align:start position:0% so like I feel that like this like I make<00:08:58.800> a<00:08:58.920> prediction<00:08:59.240> here<00:08:59.519> that<00:08:59.720> like<00:09:00.160> well<00:09:00.440> in 00:09:00.509 --> 00:09:00.519 align:start position:0% make a prediction here that like well in 00:09:00.519 --> 00:09:02.590 align:start position:0% make a prediction here that like well in the<00:09:00.640> next<00:09:00.839> 20<00:09:01.120> years<00:09:01.519> AI<00:09:01.839> is<00:09:02.000> going<00:09:02.079> to<00:09:02.279> make 00:09:02.590 --> 00:09:02.600 align:start position:0% the next 20 years AI is going to make 00:09:02.600 --> 00:09:04.870 align:start position:0% the next 20 years AI is going to make break<00:09:02.920> more<00:09:03.279> stuff<00:09:03.839> than<00:09:04.040> quantum<00:09:04.320> computers 00:09:04.870 --> 00:09:04.880 align:start position:0% break more stuff than quantum computers 00:09:04.880 --> 00:09:07.269 align:start position:0% break more stuff than quantum computers will<00:09:05.880> um<00:09:06.120> I<00:09:06.200> think<00:09:06.360> this<00:09:06.480> is<00:09:06.560> a<00:09:06.760> good<00:09:07.000> this<00:09:07.079> is<00:09:07.160> a 00:09:07.269 --> 00:09:07.279 align:start position:0% will um I think this is a good this is a 00:09:07.279 --> 00:09:11.030 align:start position:0% will um I think this is a good this is a good<00:09:07.480> bet<00:09:08.440> um<00:09:08.880> but<00:09:09.079> like<00:09:10.000> it<00:09:10.120> means<00:09:10.600> that<00:09:10.800> like 00:09:11.030 --> 00:09:11.040 align:start position:0% good bet um but like it means that like 00:09:11.040 --> 00:09:12.910 align:start position:0% good bet um but like it means that like the<00:09:11.240> the<00:09:11.399> assumptions<00:09:11.920> that<00:09:12.120> we<00:09:12.560> that<00:09:12.680> we 00:09:12.910 --> 00:09:12.920 align:start position:0% the the assumptions that we that we 00:09:12.920 --> 00:09:15.550 align:start position:0% the the assumptions that we that we previously<00:09:13.600> had<00:09:14.560> uh<00:09:14.680> we<00:09:14.800> need<00:09:14.959> to<00:09:15.079> be<00:09:15.240> more 00:09:15.550 --> 00:09:15.560 align:start position:0% previously had uh we need to be more 00:09:15.560 --> 00:09:17.750 align:start position:0% previously had uh we need to be more careful<00:09:16.000> about<00:09:16.680> right<00:09:16.920> because<00:09:17.240> like<00:09:17.519> we're 00:09:17.750 --> 00:09:17.760 align:start position:0% careful about right because like we're 00:09:17.760 --> 00:09:20.230 align:start position:0% careful about right because like we're we're<00:09:17.920> going<00:09:18.200> into<00:09:18.399> a<00:09:18.560> world<00:09:19.040> where<00:09:19.680> where<00:09:19.920> the 00:09:20.230 --> 00:09:20.240 align:start position:0% we're going into a world where where the 00:09:20.240 --> 00:09:22.630 align:start position:0% we're going into a world where where the like<00:09:20.560> old<00:09:21.279> this<00:09:21.440> has<00:09:21.600> been<00:09:21.760> hired<00:09:22.079> for<00:09:22.240> a<00:09:22.399> very 00:09:22.630 --> 00:09:22.640 align:start position:0% like old this has been hired for a very 00:09:22.640 --> 00:09:25.069 align:start position:0% like old this has been hired for a very long<00:09:22.920> time<00:09:23.600> might<00:09:23.800> not<00:09:24.079> CH<00:09:24.360> might<00:09:24.519> not<00:09:24.680> be 00:09:25.069 --> 00:09:25.079 align:start position:0% long time might not CH might not be 00:09:25.079 --> 00:09:29.870 align:start position:0% long time might not CH might not be remain<00:09:25.320> being<00:09:25.600> the<00:09:25.959> case<00:09:26.959> as<00:09:27.560> Okay<00:09:28.560> so 00:09:29.870 --> 00:09:29.880 align:start position:0% remain being the case as Okay so 00:09:29.880 --> 00:09:32.310 align:start position:0% remain being the case as Okay so right<00:09:30.279> so<00:09:30.560> so<00:09:30.800> like<00:09:31.000> basically<00:09:31.680> I've<00:09:31.920> become 00:09:32.310 --> 00:09:32.320 align:start position:0% right so so like basically I've become 00:09:32.320 --> 00:09:34.630 align:start position:0% right so so like basically I've become open<00:09:32.720> to<00:09:33.160> to<00:09:33.360> using<00:09:33.720> like<00:09:33.880> non-standard 00:09:34.630 --> 00:09:34.640 align:start position:0% open to to using like non-standard 00:09:34.640 --> 00:09:38.630 align:start position:0% open to to using like non-standard assumptions<00:09:35.560> to<00:09:35.959> build<00:09:36.600> IO<00:09:37.600> and<00:09:37.880> the<00:09:38.000> hope<00:09:38.399> is 00:09:38.630 --> 00:09:38.640 align:start position:0% assumptions to build IO and the hope is 00:09:38.640 --> 00:09:41.110 align:start position:0% assumptions to build IO and the hope is that<00:09:38.920> like<00:09:39.600> we<00:09:39.720> will<00:09:39.959> be<00:09:40.120> able<00:09:40.399> to<00:09:40.720> here's<00:09:40.920> a 00:09:41.110 --> 00:09:41.120 align:start position:0% that like we will be able to here's a 00:09:41.120 --> 00:09:43.550 align:start position:0% that like we will be able to here's a list<00:09:41.279> of<00:09:41.440> papers<00:09:42.399> uh<00:09:42.600> and<00:09:42.800> and<00:09:43.079> and<00:09:43.200> basically 00:09:43.550 --> 00:09:43.560 align:start position:0% list of papers uh and and and basically 00:09:43.560 --> 00:09:45.790 align:start position:0% list of papers uh and and and basically the<00:09:43.680> way<00:09:43.800> it<00:09:43.880> works<00:09:44.120> is<00:09:44.240> the<00:09:44.440> top<00:09:45.240> uh<00:09:45.399> from<00:09:45.600> top 00:09:45.790 --> 00:09:45.800 align:start position:0% the way it works is the top uh from top 00:09:45.800 --> 00:09:47.350 align:start position:0% the way it works is the top uh from top to<00:09:45.959> bottom<00:09:46.320> is<00:09:46.519> from<00:09:46.760> like<00:09:46.920> standard 00:09:47.350 --> 00:09:47.360 align:start position:0% to bottom is from like standard 00:09:47.360 --> 00:09:49.590 align:start position:0% to bottom is from like standard assumptions<00:09:47.920> to<00:09:48.240> like<00:09:48.440> more<00:09:48.800> exotic 00:09:49.590 --> 00:09:49.600 align:start position:0% assumptions to like more exotic 00:09:49.600 --> 00:09:53.870 align:start position:0% assumptions to like more exotic assumptions<00:09:50.720> um<00:09:52.160> yeah<00:09:53.160> and<00:09:53.399> here's<00:09:53.600> our 00:09:53.870 --> 00:09:53.880 align:start position:0% assumptions um yeah and here's our 00:09:53.880 --> 00:09:55.949 align:start position:0% assumptions um yeah and here's our implementations<00:09:54.640> of<00:09:54.839> the<00:09:55.079> various<00:09:55.399> schemes 00:09:55.949 --> 00:09:55.959 align:start position:0% implementations of the various schemes 00:09:55.959 --> 00:09:58.310 align:start position:0% implementations of the various schemes but<00:09:56.079> this<00:09:56.200> is<00:09:56.320> in<00:09:56.519> no<00:09:56.880> particular<00:09:57.480> order<00:09:58.240> I 00:09:58.310 --> 00:09:58.320 align:start position:0% but this is in no particular order I 00:09:58.320 --> 00:10:00.829 align:start position:0% but this is in no particular order I should<00:09:58.480> have<00:09:58.600> ordered<00:09:58.920> this<00:09:59.079> better 00:10:00.829 --> 00:10:00.839 align:start position:0% should have ordered this better 00:10:00.839 --> 00:10:05.350 align:start position:0% should have ordered this better uh<00:10:01.959> yeah<00:10:02.959> so<00:10:03.279> like<00:10:03.519> basically<00:10:03.959> our<00:10:04.200> goal<00:10:04.640> is<00:10:04.839> to 00:10:05.350 --> 00:10:05.360 align:start position:0% uh yeah so like basically our goal is to 00:10:05.360 --> 00:10:09.389 align:start position:0% uh yeah so like basically our goal is to like<00:10:05.880> Implement<00:10:06.399> these<00:10:06.959> schemes<00:10:07.959> and<00:10:08.440> to<00:10:09.040> like 00:10:09.389 --> 00:10:09.399 align:start position:0% like Implement these schemes and to like 00:10:09.399 --> 00:10:12.430 align:start position:0% like Implement these schemes and to like break<00:10:09.839> them<00:10:10.240> or<00:10:10.839> or<00:10:11.079> try<00:10:11.360> to<00:10:11.680> find<00:10:12.040> and<00:10:12.160> then<00:10:12.279> to 00:10:12.430 --> 00:10:12.440 align:start position:0% break them or or try to find and then to 00:10:12.440 --> 00:10:13.949 align:start position:0% break them or or try to find and then to build<00:10:12.680> tools<00:10:12.959> to<00:10:13.120> build<00:10:13.360> things<00:10:13.519> on<00:10:13.720> top<00:10:13.839> of 00:10:13.949 --> 00:10:13.959 align:start position:0% build tools to build things on top of 00:10:13.959 --> 00:10:16.990 align:start position:0% build tools to build things on top of the<00:10:14.079> schemes<00:10:14.880> so<00:10:15.120> like<00:10:15.480> we<00:10:15.640> have<00:10:15.880> a<00:10:16.600> we<00:10:16.720> have<00:10:16.839> a 00:10:16.990 --> 00:10:17.000 align:start position:0% the schemes so like we have a we have a 00:10:17.000 --> 00:10:19.310 align:start position:0% the schemes so like we have a we have a bunch<00:10:17.519> so<00:10:17.760> so<00:10:17.880> we're<00:10:18.040> announcing<00:10:18.399> this<00:10:18.560> bounty 00:10:19.310 --> 00:10:19.320 align:start position:0% bunch so so we're announcing this bounty 00:10:19.320 --> 00:10:21.829 align:start position:0% bunch so so we're announcing this bounty where<00:10:19.480> we've<00:10:19.800> implemented<00:10:20.600> the<00:10:20.800> first<00:10:21.160> paper 00:10:21.829 --> 00:10:21.839 align:start position:0% where we've implemented the first paper 00:10:21.839 --> 00:10:23.430 align:start position:0% where we've implemented the first paper or<00:10:22.000> the<00:10:22.160> last<00:10:22.399> paper<00:10:22.600> on<00:10:22.720> the<00:10:22.800> list<00:10:23.000> the<00:10:23.120> most 00:10:23.430 --> 00:10:23.440 align:start position:0% or the last paper on the list the most 00:10:23.440 --> 00:10:25.829 align:start position:0% or the last paper on the list the most like<00:10:23.600> a<00:10:24.200> uh<00:10:24.399> extreme<00:10:24.920> assumption<00:10:25.320> on<00:10:25.440> the<00:10:25.560> list 00:10:25.829 --> 00:10:25.839 align:start position:0% like a uh extreme assumption on the list 00:10:25.839 --> 00:10:28.350 align:start position:0% like a uh extreme assumption on the list before<00:10:26.320> it's<00:10:26.480> called<00:10:26.680> local<00:10:27.040> mixing<00:10:28.040> and 00:10:28.350 --> 00:10:28.360 align:start position:0% before it's called local mixing and 00:10:28.360 --> 00:10:29.870 align:start position:0% before it's called local mixing and basically<00:10:28.880> you<00:10:28.959> can<00:10:29.120> take<00:10:29.320> take<00:10:29.440> a<00:10:29.560> circuit 00:10:29.870 --> 00:10:29.880 align:start position:0% basically you can take take a circuit 00:10:29.880 --> 00:10:32.750 align:start position:0% basically you can take take a circuit with<00:10:30.120> 1,000<00:10:30.720> Gates<00:10:31.320> and<00:10:31.519> OBS<00:10:31.920> fiscated<00:10:32.320> it 00:10:32.750 --> 00:10:32.760 align:start position:0% with 1,000 Gates and OBS fiscated it 00:10:32.760 --> 00:10:34.310 align:start position:0% with 1,000 Gates and OBS fiscated it which<00:10:32.920> basically<00:10:33.279> means<00:10:33.519> that<00:10:33.600> you<00:10:33.800> add<00:10:34.079> like 00:10:34.310 --> 00:10:34.320 align:start position:0% which basically means that you add like 00:10:34.320 --> 00:10:36.230 align:start position:0% which basically means that you add like Randomness<00:10:34.880> to<00:10:35.040> the<00:10:35.200> Circuit<00:10:35.880> until<00:10:36.120> the 00:10:36.230 --> 00:10:36.240 align:start position:0% Randomness to the Circuit until the 00:10:36.240 --> 00:10:39.629 align:start position:0% Randomness to the Circuit until the circuit<00:10:36.519> becomes<00:10:36.839> 230,000<00:10:37.839> Gates<00:10:38.800> and<00:10:39.000> then 00:10:39.629 --> 00:10:39.639 align:start position:0% circuit becomes 230,000 Gates and then 00:10:39.639 --> 00:10:41.750 align:start position:0% circuit becomes 230,000 Gates and then basically<00:10:40.079> the<00:10:40.240> challenge<00:10:40.720> is<00:10:41.160> to<00:10:41.399> take<00:10:41.600> the 00:10:41.750 --> 00:10:41.760 align:start position:0% basically the challenge is to take the 00:10:41.760 --> 00:10:44.550 align:start position:0% basically the challenge is to take the 230,000<00:10:42.680> gate<00:10:42.920> circuit<00:10:43.519> and<00:10:43.760> reverse<00:10:44.160> it<00:10:44.399> to 00:10:44.550 --> 00:10:44.560 align:start position:0% 230,000 gate circuit and reverse it to 00:10:44.560 --> 00:10:47.910 align:start position:0% 230,000 gate circuit and reverse it to the<00:10:44.720> 1,4<00:10:45.639> gates<00:10:46.160> circuit<00:10:47.160> right<00:10:47.279> so<00:10:47.600> be<00:10:47.720> able 00:10:47.910 --> 00:10:47.920 align:start position:0% the 1,4 gates circuit right so be able 00:10:47.920 --> 00:10:49.870 align:start position:0% the 1,4 gates circuit right so be able to<00:10:48.120> remove<00:10:48.560> all<00:10:48.680> of<00:10:48.839> the<00:10:49.000> noise<00:10:49.639> while 00:10:49.870 --> 00:10:49.880 align:start position:0% to remove all of the noise while 00:10:49.880 --> 00:10:51.509 align:start position:0% to remove all of the noise while maintaining<00:10:50.440> the<00:10:50.600> functionality<00:10:51.240> of<00:10:51.360> the 00:10:51.509 --> 00:10:51.519 align:start position:0% maintaining the functionality of the 00:10:51.519 --> 00:10:53.990 align:start position:0% maintaining the functionality of the circuit<00:10:52.519> and<00:10:52.600> we<00:10:52.760> claim<00:10:53.000> that<00:10:53.160> this<00:10:53.320> is<00:10:53.519> really 00:10:53.990 --> 00:10:54.000 align:start position:0% circuit and we claim that this is really 00:10:54.000 --> 00:10:56.670 align:start position:0% circuit and we claim that this is really hard<00:10:55.000> and<00:10:55.320> if<00:10:55.480> this<00:10:55.600> is<00:10:55.760> really<00:10:55.959> hard<00:10:56.440> it's 00:10:56.670 --> 00:10:56.680 align:start position:0% hard and if this is really hard it's 00:10:56.680 --> 00:10:58.030 align:start position:0% hard and if this is really hard it's it's<00:10:56.839> basically<00:10:57.240> like<00:10:57.399> indistinguishable 00:10:58.030 --> 00:10:58.040 align:start position:0% it's basically like indistinguishable 00:10:58.040 --> 00:10:59.829 align:start position:0% it's basically like indistinguishable ofation<00:10:58.800> we<00:10:58.920> can<00:10:59.040> build<00:10:59.320> a<00:10:59.399> bunch<00:10:59.560> of<00:10:59.639> cool 00:10:59.829 --> 00:10:59.839 align:start position:0% ofation we can build a bunch of cool 00:10:59.839 --> 00:11:01.870 align:start position:0% ofation we can build a bunch of cool stuff<00:11:00.360> so<00:11:00.600> this<00:11:00.720> is<00:11:00.959> a<00:11:01.160> a<00:11:01.279> boundary<00:11:01.600> that<00:11:01.680> we're 00:11:01.870 --> 00:11:01.880 align:start position:0% stuff so this is a a boundary that we're 00:11:01.880 --> 00:11:04.910 align:start position:0% stuff so this is a a boundary that we're just<00:11:02.000> announcing<00:11:02.560> today<00:11:03.560> and<00:11:04.200> so<00:11:04.600> the<00:11:04.800> the 00:11:04.910 --> 00:11:04.920 align:start position:0% just announcing today and so the the 00:11:04.920 --> 00:11:06.670 align:start position:0% just announcing today and so the the price<00:11:05.120> is<00:11:05.200> $10,000<00:11:05.959> for<00:11:06.079> someone<00:11:06.279> who's<00:11:06.480> able 00:11:06.670 --> 00:11:06.680 align:start position:0% price is $10,000 for someone who's able 00:11:06.680 --> 00:11:09.110 align:start position:0% price is $10,000 for someone who's able to<00:11:06.800> do<00:11:07.000> this<00:11:07.560> and<00:11:07.720> this<00:11:07.839> is<00:11:08.000> a<00:11:08.279> a<00:11:08.480> collaboration 00:11:09.110 --> 00:11:09.120 align:start position:0% to do this and this is a a collaboration 00:11:09.120 --> 00:11:11.110 align:start position:0% to do this and this is a a collaboration between<00:11:09.440> these<00:11:09.760> three<00:11:10.000> groups<00:11:10.279> phandom<00:11:10.600> Zone 00:11:11.110 --> 00:11:11.120 align:start position:0% between these three groups phandom Zone 00:11:11.120 --> 00:11:13.509 align:start position:0% between these three groups phandom Zone ZX<00:11:11.839> and<00:11:12.040> the<00:11:12.200> eum 00:11:13.509 --> 00:11:13.519 align:start position:0% ZX and the eum 00:11:13.519 --> 00:11:17.550 align:start position:0% ZX and the eum foundation<00:11:14.519> uh<00:11:15.320> yeah<00:11:16.000> so<00:11:17.000> well<00:11:17.200> what<00:11:17.320> would<00:11:17.440> it 00:11:17.550 --> 00:11:17.560 align:start position:0% foundation uh yeah so well what would it 00:11:17.560 --> 00:11:20.069 align:start position:0% foundation uh yeah so well what would it mean<00:11:17.800> if<00:11:17.920> we<00:11:18.000> were<00:11:18.200> able<00:11:18.440> to<00:11:18.560> do<00:11:18.760> IO<00:11:19.720> um<00:11:19.959> we 00:11:20.069 --> 00:11:20.079 align:start position:0% mean if we were able to do IO um we 00:11:20.079 --> 00:11:23.670 align:start position:0% mean if we were able to do IO um we would<00:11:20.440> basically<00:11:21.000> finish<00:11:21.920> cryptography<00:11:22.920> and 00:11:23.670 --> 00:11:23.680 align:start position:0% would basically finish cryptography and 00:11:23.680 --> 00:11:26.230 align:start position:0% would basically finish cryptography and the<00:11:24.120> reason<00:11:25.120> like<00:11:25.399> okay<00:11:25.560> so<00:11:25.760> here's<00:11:25.959> how<00:11:26.079> to 00:11:26.230 --> 00:11:26.240 align:start position:0% the reason like okay so here's how to 00:11:26.240 --> 00:11:27.670 align:start position:0% the reason like okay so here's how to think<00:11:26.440> about<00:11:26.680> this<00:11:26.839> so<00:11:27.040> basically<00:11:27.360> you<00:11:27.440> can 00:11:27.670 --> 00:11:27.680 align:start position:0% think about this so basically you can 00:11:27.680 --> 00:11:31.269 align:start position:0% think about this so basically you can model<00:11:28.440> IO<00:11:29.320> has<00:11:29.480> like<00:11:29.600> a<00:11:29.760> trusted<00:11:30.200> third<00:11:30.480> party 00:11:31.269 --> 00:11:31.279 align:start position:0% model IO has like a trusted third party 00:11:31.279 --> 00:11:34.670 align:start position:0% model IO has like a trusted third party that<00:11:31.399> you<00:11:31.519> can<00:11:31.760> actually<00:11:32.120> trust<00:11:33.079> so<00:11:34.000> Z<00:11:34.279> you<00:11:34.399> can 00:11:34.670 --> 00:11:34.680 align:start position:0% that you can actually trust so Z you can 00:11:34.680 --> 00:11:36.110 align:start position:0% that you can actually trust so Z you can Al<00:11:34.880> you<00:11:34.959> can<00:11:35.079> model<00:11:35.360> zero<00:11:35.600> knowledge<00:11:35.800> proofs 00:11:36.110 --> 00:11:36.120 align:start position:0% Al you can model zero knowledge proofs 00:11:36.120 --> 00:11:38.389 align:start position:0% Al you can model zero knowledge proofs like<00:11:36.279> this<00:11:36.639> but<00:11:36.760> the<00:11:36.880> party<00:11:37.160> is<00:11:37.360> more<00:11:37.560> limited 00:11:38.389 --> 00:11:38.399 align:start position:0% like this but the party is more limited 00:11:38.399 --> 00:11:40.269 align:start position:0% like this but the party is more limited so<00:11:38.720> if<00:11:38.839> you<00:11:38.959> have<00:11:39.079> a<00:11:39.240> trusted<00:11:39.560> typ<00:11:39.800> party<00:11:40.079> that 00:11:40.269 --> 00:11:40.279 align:start position:0% so if you have a trusted typ party that 00:11:40.279 --> 00:11:41.990 align:start position:0% so if you have a trusted typ party that like<00:11:40.440> does<00:11:40.639> some<00:11:40.880> compute<00:11:41.240> and<00:11:41.399> verifies<00:11:41.839> the 00:11:41.990 --> 00:11:42.000 align:start position:0% like does some compute and verifies the 00:11:42.000 --> 00:11:45.110 align:start position:0% like does some compute and verifies the compute<00:11:42.279> for<00:11:42.480> you<00:11:43.240> then<00:11:43.880> that's<00:11:44.160> like<00:11:44.920> that's 00:11:45.110 --> 00:11:45.120 align:start position:0% compute for you then that's like that's 00:11:45.120 --> 00:11:47.389 align:start position:0% compute for you then that's like that's like<00:11:45.440> what<00:11:45.519> a<00:11:45.639> zero<00:11:45.880> knowledge<00:11:46.160> proof<00:11:46.440> is<00:11:47.120> but 00:11:47.389 --> 00:11:47.399 align:start position:0% like what a zero knowledge proof is but 00:11:47.399 --> 00:11:49.269 align:start position:0% like what a zero knowledge proof is but with<00:11:47.680> with<00:11:47.920> I<00:11:48.200> with<00:11:48.480> with<00:11:48.760> like<00:11:48.880> once<00:11:49.040> you<00:11:49.160> get 00:11:49.269 --> 00:11:49.279 align:start position:0% with with I with with like once you get 00:11:49.279 --> 00:11:51.389 align:start position:0% with with I with with like once you get to<00:11:49.440> IO<00:11:49.720> you<00:11:49.839> have<00:11:49.920> a<00:11:50.720> that's<00:11:50.880> able<00:11:51.040> to<00:11:51.160> do 00:11:51.389 --> 00:11:51.399 align:start position:0% to IO you have a that's able to do 00:11:51.399 --> 00:11:53.829 align:start position:0% to IO you have a that's able to do basically<00:11:52.000> everything<00:11:52.760> they're<00:11:52.959> able<00:11:53.279> to 00:11:53.829 --> 00:11:53.839 align:start position:0% basically everything they're able to 00:11:53.839 --> 00:11:56.750 align:start position:0% basically everything they're able to verify<00:11:54.320> computation<00:11:55.200> they're<00:11:55.399> able<00:11:55.760> to 00:11:56.750 --> 00:11:56.760 align:start position:0% verify computation they're able to 00:11:56.760 --> 00:11:59.790 align:start position:0% verify computation they're able to they're<00:11:57.000> able<00:11:57.279> to<00:11:58.000> like<00:11:58.760> do<00:11:59.240> multiparty 00:11:59.790 --> 00:11:59.800 align:start position:0% they're able to like do multiparty 00:11:59.800 --> 00:12:01.230 align:start position:0% they're able to like do multiparty computation<00:12:00.279> stuff<00:12:00.560> they're<00:12:00.760> able<00:12:00.959> to 00:12:01.230 --> 00:12:01.240 align:start position:0% computation stuff they're able to 00:12:01.240 --> 00:12:03.590 align:start position:0% computation stuff they're able to maintain<00:12:01.760> secrets<00:12:02.279> and<00:12:02.480> only<00:12:02.800> use<00:12:03.040> the<00:12:03.200> secret 00:12:03.590 --> 00:12:03.600 align:start position:0% maintain secrets and only use the secret 00:12:03.600 --> 00:12:04.949 align:start position:0% maintain secrets and only use the secret under<00:12:03.880> certain 00:12:04.949 --> 00:12:04.959 align:start position:0% under certain 00:12:04.959 --> 00:12:06.550 align:start position:0% under certain conditions 00:12:06.550 --> 00:12:06.560 align:start position:0% conditions 00:12:06.560 --> 00:12:09.949 align:start position:0% conditions um<00:12:07.560> so<00:12:07.880> IO<00:12:08.200> is<00:12:08.399> basically<00:12:08.920> very<00:12:09.240> close<00:12:09.560> to<00:12:09.760> the 00:12:09.949 --> 00:12:09.959 align:start position:0% um so IO is basically very close to the 00:12:09.959 --> 00:12:13.189 align:start position:0% um so IO is basically very close to the end<00:12:10.760> of<00:12:10.959> what<00:12:11.160> we<00:12:11.560> of<00:12:11.680> what<00:12:11.800> we<00:12:11.920> would<00:12:12.120> need<00:12:13.079> uh 00:12:13.189 --> 00:12:13.199 align:start position:0% end of what we of what we would need uh 00:12:13.199 --> 00:12:15.670 align:start position:0% end of what we of what we would need uh or<00:12:13.440> is<00:12:13.720> close<00:12:13.959> to<00:12:14.079> the<00:12:14.160> end<00:12:14.320> of<00:12:14.440> programmable 00:12:15.670 --> 00:12:15.680 align:start position:0% or is close to the end of programmable 00:12:15.680 --> 00:12:18.590 align:start position:0% or is close to the end of programmable cryptography<00:12:16.680> uh<00:12:17.160> and<00:12:17.320> like<00:12:17.519> I<00:12:17.600> don't<00:12:17.880> know 00:12:18.590 --> 00:12:18.600 align:start position:0% cryptography uh and like I don't know 00:12:18.600 --> 00:12:21.350 align:start position:0% cryptography uh and like I don't know what<00:12:18.920> I'm<00:12:19.560> like<00:12:19.880> I<00:12:20.000> I<00:12:20.120> feel<00:12:20.360> like<00:12:20.639> this<00:12:20.760> is<00:12:21.040> like 00:12:21.350 --> 00:12:21.360 align:start position:0% what I'm like I I feel like this is like 00:12:21.360 --> 00:12:23.870 align:start position:0% what I'm like I I feel like this is like the<00:12:21.600> last<00:12:22.000> big<00:12:22.279> Quest<00:12:22.800> it's<00:12:22.959> kind<00:12:23.079> of<00:12:23.279> like<00:12:23.720> you 00:12:23.870 --> 00:12:23.880 align:start position:0% the last big Quest it's kind of like you 00:12:23.880 --> 00:12:26.269 align:start position:0% the last big Quest it's kind of like you know<00:12:24.079> that<00:12:24.199> in<00:12:24.440> history<00:12:25.240> there<00:12:25.399> was<00:12:25.519> a<00:12:25.839> time 00:12:26.269 --> 00:12:26.279 align:start position:0% know that in history there was a time 00:12:26.279 --> 00:12:28.670 align:start position:0% know that in history there was a time when<00:12:26.560> people<00:12:27.519> thought<00:12:27.880> that<00:12:28.079> there<00:12:28.279> was<00:12:28.560> there 00:12:28.670 --> 00:12:28.680 align:start position:0% when people thought that there was there 00:12:28.680 --> 00:12:30.389 align:start position:0% when people thought that there was there was<00:12:28.800> just<00:12:28.920> more<00:12:29.399> land<00:12:29.760> that<00:12:29.920> people<00:12:30.120> didn't 00:12:30.389 --> 00:12:30.399 align:start position:0% was just more land that people didn't 00:12:30.399 --> 00:12:32.350 align:start position:0% was just more land that people didn't know<00:12:30.880> like<00:12:31.040> people<00:12:31.240> were<00:12:31.480> like<00:12:31.680> exploring<00:12:32.240> the 00:12:32.350 --> 00:12:32.360 align:start position:0% know like people were like exploring the 00:12:32.360 --> 00:12:34.030 align:start position:0% know like people were like exploring the world<00:12:32.839> and<00:12:32.920> there<00:12:33.040> was<00:12:33.160> just<00:12:33.279> more<00:12:33.600> places<00:12:33.880> to 00:12:34.030 --> 00:12:34.040 align:start position:0% world and there was just more places to 00:12:34.040 --> 00:12:36.189 align:start position:0% world and there was just more places to go<00:12:34.279> you<00:12:34.360> could<00:12:34.560> always<00:12:34.839> like<00:12:35.000> go<00:12:35.160> further<00:12:35.600> west 00:12:36.189 --> 00:12:36.199 align:start position:0% go you could always like go further west 00:12:36.199 --> 00:12:37.550 align:start position:0% go you could always like go further west but<00:12:36.360> then<00:12:36.519> at<00:12:36.639> one<00:12:36.839> point<00:12:37.000> you<00:12:37.160> just<00:12:37.279> got<00:12:37.440> like 00:12:37.550 --> 00:12:37.560 align:start position:0% but then at one point you just got like 00:12:37.560 --> 00:12:39.590 align:start position:0% but then at one point you just got like to<00:12:37.639> the<00:12:37.760> end<00:12:37.959> of<00:12:38.120> the<00:12:38.279> world<00:12:39.000> and<00:12:39.120> then<00:12:39.240> it<00:12:39.360> was 00:12:39.590 --> 00:12:39.600 align:start position:0% to the end of the world and then it was 00:12:39.600 --> 00:12:42.189 align:start position:0% to the end of the world and then it was like<00:12:40.199> what<00:12:40.399> do<00:12:40.600> you<00:12:40.839> do<00:12:41.440> like<00:12:41.600> what<00:12:41.720> do<00:12:41.959> those 00:12:42.189 --> 00:12:42.199 align:start position:0% like what do you do like what do those 00:12:42.199 --> 00:12:44.389 align:start position:0% like what do you do like what do those people<00:12:42.440> do<00:12:42.959> like<00:12:43.160> imagine<00:12:43.560> that<00:12:43.680> you're<00:12:44.000> like 00:12:44.389 --> 00:12:44.399 align:start position:0% people do like imagine that you're like 00:12:44.399 --> 00:12:45.829 align:start position:0% people do like imagine that you're like you're<00:12:44.680> like<00:12:44.920> yeah<00:12:45.079> I<00:12:45.199> want<00:12:45.279> to<00:12:45.399> live<00:12:45.519> a<00:12:45.680> life 00:12:45.829 --> 00:12:45.839 align:start position:0% you're like yeah I want to live a life 00:12:45.839 --> 00:12:47.389 align:start position:0% you're like yeah I want to live a life of<00:12:46.040> adventure<00:12:46.720> and<00:12:46.800> then<00:12:46.920> you<00:12:47.040> get<00:12:47.160> to<00:12:47.279> the 00:12:47.389 --> 00:12:47.399 align:start position:0% of adventure and then you get to the 00:12:47.399 --> 00:12:48.750 align:start position:0% of adventure and then you get to the west<00:12:47.639> coast<00:12:47.839> of<00:12:47.959> the<00:12:48.079> US<00:12:48.320> and<00:12:48.440> you're<00:12:48.600> just 00:12:48.750 --> 00:12:48.760 align:start position:0% west coast of the US and you're just 00:12:48.760 --> 00:12:51.590 align:start position:0% west coast of the US and you're just like<00:12:49.000> done<00:12:49.760> like<00:12:50.240> what 00:12:51.590 --> 00:12:51.600 align:start position:0% like done like what 00:12:51.600 --> 00:12:54.829 align:start position:0% like done like what next<00:12:52.600> I<00:12:52.680> don't<00:12:52.880> know<00:12:53.320> but<00:12:53.440> I<00:12:53.560> feel<00:12:53.800> like<00:12:54.639> no 00:12:54.829 --> 00:12:54.839 align:start position:0% next I don't know but I feel like no 00:12:54.839 --> 00:12:58.790 align:start position:0% next I don't know but I feel like no matter<00:12:55.240> what<00:12:55.760> I<00:12:55.880> will<00:12:56.040> not<00:12:56.240> be<00:12:56.440> happy<00:12:57.800> because 00:12:58.790 --> 00:12:58.800 align:start position:0% matter what I will not be happy because 00:12:58.800 --> 00:13:00.829 align:start position:0% matter what I will not be happy because no<00:12:59.399> wants<00:12:59.600> to<00:12:59.800> finish<00:13:00.240> programmable 00:13:00.829 --> 00:13:00.839 align:start position:0% no wants to finish programmable 00:13:00.839 --> 00:13:06.030 align:start position:0% no wants to finish programmable quotography<00:13:01.160> less<00:13:01.800> than<00:13:02.040> I 00:13:06.030 --> 00:13:06.040 align:start position:0% 00:13:06.040 --> 00:13:09.829 align:start position:0% do<00:13:07.040> okay<00:13:07.519> so<00:13:08.519> uh<00:13:08.880> while<00:13:09.000> you're<00:13:09.160> in<00:13:09.320> Thailand 00:13:09.829 --> 00:13:09.839 align:start position:0% do okay so uh while you're in Thailand 00:13:09.839 --> 00:13:11.509 align:start position:0% do okay so uh while you're in Thailand there's<00:13:10.079> all<00:13:10.240> these<00:13:10.480> opportunities<00:13:11.079> to<00:13:11.279> have 00:13:11.509 --> 00:13:11.519 align:start position:0% there's all these opportunities to have 00:13:11.519 --> 00:13:14.509 align:start position:0% there's all these opportunities to have these<00:13:11.800> like<00:13:12.240> life-changing<00:13:13.199> experiences<00:13:14.199> so 00:13:14.509 --> 00:13:14.519 align:start position:0% these like life-changing experiences so 00:13:14.519 --> 00:13:16.949 align:start position:0% these like life-changing experiences so go<00:13:14.639> to<00:13:14.800> the<00:13:14.920> night<00:13:15.199> market<00:13:15.959> and<00:13:16.320> and<00:13:16.639> don't<00:13:16.800> be 00:13:16.949 --> 00:13:16.959 align:start position:0% go to the night market and and don't be 00:13:16.959 --> 00:13:17.710 align:start position:0% go to the night market and and don't be too 00:13:17.710 --> 00:13:17.720 align:start position:0% too 00:13:17.720 --> 00:13:19.269 align:start position:0% too careful 00:13:19.269 --> 00:13:19.279 align:start position:0% careful 00:13:19.279 --> 00:13:21.750 align:start position:0% careful uh<00:13:20.279> so<00:13:20.519> there's<00:13:20.800> two<00:13:21.000> more<00:13:21.199> there's<00:13:21.399> a<00:13:21.519> couple 00:13:21.750 --> 00:13:21.760 align:start position:0% uh so there's two more there's a couple 00:13:21.760 --> 00:13:25.670 align:start position:0% uh so there's two more there's a couple more<00:13:22.000> talks<00:13:22.320> about<00:13:22.639> this<00:13:23.600> um<00:13:24.440> there's<00:13:25.160> 2<00:13:25.440> p.m. 00:13:25.670 --> 00:13:25.680 align:start position:0% more talks about this um there's 2 p.m. 00:13:25.680 --> 00:13:29.189 align:start position:0% more talks about this um there's 2 p.m. on<00:13:25.880> stage<00:13:26.279> 6<00:13:27.160> today<00:13:28.160> at<00:13:28.360> J<00:13:28.560> is<00:13:28.680> going<00:13:28.760> to<00:13:28.880> talk 00:13:29.189 --> 00:13:29.199 align:start position:0% on stage 6 today at J is going to talk 00:13:29.199 --> 00:13:31.550 align:start position:0% on stage 6 today at J is going to talk more<00:13:29.360> about<00:13:29.519> the<00:13:29.639> Bounty<00:13:30.519> he's<00:13:30.760> going<00:13:30.880> to<00:13:31.279> dig 00:13:31.550 --> 00:13:31.560 align:start position:0% more about the Bounty he's going to dig 00:13:31.560 --> 00:13:34.790 align:start position:0% more about the Bounty he's going to dig into<00:13:32.120> like<00:13:32.680> how<00:13:33.320> local<00:13:33.639> mixing<00:13:34.000> works<00:13:34.519> and<00:13:34.639> a 00:13:34.790 --> 00:13:34.800 align:start position:0% into like how local mixing works and a 00:13:34.800 --> 00:13:36.990 align:start position:0% into like how local mixing works and a bunch<00:13:34.959> of<00:13:35.279> and<00:13:35.519> and<00:13:35.760> like<00:13:36.279> a<00:13:36.440> bunch<00:13:36.600> of<00:13:36.760> things 00:13:36.990 --> 00:13:37.000 align:start position:0% bunch of and and like a bunch of things 00:13:37.000 --> 00:13:39.350 align:start position:0% bunch of and and like a bunch of things about<00:13:37.519> like<00:13:37.839> the<00:13:38.040> the<00:13:38.160> scheme<00:13:38.519> itself<00:13:39.199> like 00:13:39.350 --> 00:13:39.360 align:start position:0% about like the the scheme itself like 00:13:39.360 --> 00:13:41.629 align:start position:0% about like the the scheme itself like the<00:13:39.800> we<00:13:39.920> don't<00:13:40.240> have<00:13:40.399> any<00:13:40.680> tools<00:13:41.160> yet<00:13:41.480> that 00:13:41.629 --> 00:13:41.639 align:start position:0% the we don't have any tools yet that 00:13:41.639 --> 00:13:43.269 align:start position:0% the we don't have any tools yet that people<00:13:41.839> can<00:13:42.040> like<00:13:42.160> build<00:13:42.519> applications<00:13:43.040> on 00:13:43.269 --> 00:13:43.279 align:start position:0% people can like build applications on 00:13:43.279 --> 00:13:47.189 align:start position:0% people can like build applications on top<00:13:43.480> of<00:13:44.480> um<00:13:45.480> at<00:13:45.600> the<00:13:45.720> moment<00:13:46.000> we're<00:13:46.240> still<00:13:46.920> like 00:13:47.189 --> 00:13:47.199 align:start position:0% top of um at the moment we're still like 00:13:47.199 --> 00:13:48.870 align:start position:0% top of um at the moment we're still like we<00:13:47.399> just<00:13:47.800> made<00:13:48.000> the<00:13:48.160> simplest<00:13:48.600> possible 00:13:48.870 --> 00:13:48.880 align:start position:0% we just made the simplest possible 00:13:48.880 --> 00:13:51.110 align:start position:0% we just made the simplest possible circuit<00:13:49.440> but<00:13:49.560> it's<00:13:49.760> reasonably<00:13:50.320> practical 00:13:51.110 --> 00:13:51.120 align:start position:0% circuit but it's reasonably practical 00:13:51.120 --> 00:13:52.870 align:start position:0% circuit but it's reasonably practical the<00:13:51.360> the<00:13:51.560> the<00:13:51.759> thing<00:13:52.320> the<00:13:52.440> thing<00:13:52.600> that<00:13:52.720> takes 00:13:52.870 --> 00:13:52.880 align:start position:0% the the the thing the thing that takes 00:13:52.880 --> 00:13:54.509 align:start position:0% the the the thing the thing that takes the<00:13:53.079> most<00:13:53.279> time<00:13:53.480> is<00:13:53.680> actually<00:13:53.920> doing<00:13:54.160> the 00:13:54.509 --> 00:13:54.519 align:start position:0% the most time is actually doing the 00:13:54.519 --> 00:13:56.829 align:start position:0% the most time is actually doing the obfuscation<00:13:55.519> to<00:13:55.720> run<00:13:56.000> the<00:13:56.120> circuit<00:13:56.480> it's<00:13:56.639> just 00:13:56.829 --> 00:13:56.839 align:start position:0% obfuscation to run the circuit it's just 00:13:56.839 --> 00:13:59.310 align:start position:0% obfuscation to run the circuit it's just like<00:13:56.959> a<00:13:57.199> 2,000<00:13:57.800> 260,000<00:13:58.480> gate<00:13:58.839> circuit<00:13:59.240> that 00:13:59.310 --> 00:13:59.320 align:start position:0% like a 2,000 260,000 gate circuit that 00:13:59.320 --> 00:14:01.710 align:start position:0% like a 2,000 260,000 gate circuit that you<00:13:59.519> execute<00:14:00.480> so<00:14:00.759> like<00:14:00.880> the<00:14:01.040> performance<00:14:01.519> is 00:14:01.710 --> 00:14:01.720 align:start position:0% you execute so like the performance is 00:14:01.720 --> 00:14:03.910 align:start position:0% you execute so like the performance is pretty<00:14:02.000> good<00:14:02.480> but<00:14:02.639> like<00:14:02.920> that<00:14:03.120> said<00:14:03.399> it<00:14:03.519> is<00:14:03.680> a 00:14:03.910 --> 00:14:03.920 align:start position:0% pretty good but like that said it is a 00:14:03.920 --> 00:14:05.550 align:start position:0% pretty good but like that said it is a very<00:14:04.240> extreme<00:14:04.839> assumption<00:14:05.320> that<00:14:05.399> we're 00:14:05.550 --> 00:14:05.560 align:start position:0% very extreme assumption that we're 00:14:05.560 --> 00:14:07.910 align:start position:0% very extreme assumption that we're building<00:14:05.880> on<00:14:06.519> I<00:14:06.639> think<00:14:06.839> that<00:14:07.079> like<00:14:07.199> our<00:14:07.480> plan 00:14:07.910 --> 00:14:07.920 align:start position:0% building on I think that like our plan 00:14:07.920 --> 00:14:09.990 align:start position:0% building on I think that like our plan is<00:14:08.079> to<00:14:08.440> imp<00:14:08.720> sorry<00:14:08.959> let<00:14:09.040> me<00:14:09.160> go<00:14:09.320> back<00:14:09.519> and<00:14:09.639> show 00:14:09.990 --> 00:14:10.000 align:start position:0% is to imp sorry let me go back and show 00:14:10.000 --> 00:14:16.470 align:start position:0% is to imp sorry let me go back and show the<00:14:10.839> show<00:14:11.120> the<00:14:11.279> other 00:14:16.470 --> 00:14:16.480 align:start position:0% 00:14:16.480 --> 00:14:20.910 align:start position:0% papers<00:14:17.480> so<00:14:17.880> we<00:14:18.120> already<00:14:18.759> did<00:14:19.759> local<00:14:20.160> mixing 00:14:20.910 --> 00:14:20.920 align:start position:0% papers so we already did local mixing 00:14:20.920 --> 00:14:22.990 align:start position:0% papers so we already did local mixing but<00:14:21.040> our<00:14:21.199> plan<00:14:21.399> is<00:14:21.519> to<00:14:21.680> sort<00:14:21.839> of<00:14:22.000> work<00:14:22.320> up<00:14:22.759> from 00:14:22.990 --> 00:14:23.000 align:start position:0% but our plan is to sort of work up from 00:14:23.000 --> 00:14:25.470 align:start position:0% but our plan is to sort of work up from like<00:14:23.639> most<00:14:24.240> extreme<00:14:24.680> assumption<00:14:25.079> and<00:14:25.240> most 00:14:25.470 --> 00:14:25.480 align:start position:0% like most extreme assumption and most 00:14:25.480 --> 00:14:27.629 align:start position:0% like most extreme assumption and most practical<00:14:25.880> or<00:14:26.079> least<00:14:26.399> and<00:14:26.519> most<00:14:26.759> practical<00:14:27.160> to 00:14:27.629 --> 00:14:27.639 align:start position:0% practical or least and most practical to 00:14:27.639 --> 00:14:30.030 align:start position:0% practical or least and most practical to to<00:14:27.920> less<00:14:28.240> extreme<00:14:28.600> and<00:14:28.759> least<00:14:29.160> practical<00:14:29.920> and 00:14:30.030 --> 00:14:30.040 align:start position:0% to less extreme and least practical and 00:14:30.040 --> 00:14:31.350 align:start position:0% to less extreme and least practical and hopefully<00:14:30.399> somewhere<00:14:30.720> along<00:14:30.880> the<00:14:30.959> way<00:14:31.120> we'll 00:14:31.350 --> 00:14:31.360 align:start position:0% hopefully somewhere along the way we'll 00:14:31.360 --> 00:14:33.430 align:start position:0% hopefully somewhere along the way we'll find<00:14:31.959> we'll<00:14:32.160> find<00:14:32.360> something<00:14:32.800> that's<00:14:33.199> that 00:14:33.430 --> 00:14:33.440 align:start position:0% find we'll find something that's that 00:14:33.440 --> 00:14:35.509 align:start position:0% find we'll find something that's that like<00:14:33.560> is<00:14:33.680> in<00:14:33.800> The<00:14:33.920> Sweet<00:14:34.199> Spot<00:14:35.040> uh<00:14:35.240> I'm 00:14:35.509 --> 00:14:35.519 align:start position:0% like is in The Sweet Spot uh I'm 00:14:35.519 --> 00:14:36.790 align:start position:0% like is in The Sweet Spot uh I'm confident<00:14:35.920> that<00:14:36.040> we'll<00:14:36.199> be<00:14:36.320> able<00:14:36.519> to<00:14:36.639> find 00:14:36.790 --> 00:14:36.800 align:start position:0% confident that we'll be able to find 00:14:36.800 --> 00:14:38.910 align:start position:0% confident that we'll be able to find something<00:14:37.079> that<00:14:37.279> works<00:14:38.160> uh<00:14:38.279> from<00:14:38.480> standard 00:14:38.910 --> 00:14:38.920 align:start position:0% something that works uh from standard 00:14:38.920 --> 00:14:40.790 align:start position:0% something that works uh from standard assumptions<00:14:39.839> but<00:14:40.079> I<00:14:40.160> think<00:14:40.360> that<00:14:40.519> like<00:14:40.639> it's 00:14:40.790 --> 00:14:40.800 align:start position:0% assumptions but I think that like it's 00:14:40.800 --> 00:14:43.069 align:start position:0% assumptions but I think that like it's important<00:14:41.120> to<00:14:41.279> start<00:14:42.000> and<00:14:42.240> like<00:14:42.440> our<00:14:42.680> goal<00:14:42.959> is 00:14:43.069 --> 00:14:43.079 align:start position:0% important to start and like our goal is 00:14:43.079 --> 00:14:44.749 align:start position:0% important to start and like our goal is to<00:14:43.360> like<00:14:43.600> have<00:14:43.720> a<00:14:43.839> bounty<00:14:44.199> for<00:14:44.360> a<00:14:44.480> bunch<00:14:44.639> of 00:14:44.749 --> 00:14:44.759 align:start position:0% to like have a bounty for a bunch of 00:14:44.759 --> 00:14:46.550 align:start position:0% to like have a bounty for a bunch of these<00:14:44.880> different<00:14:45.160> schemes<00:14:45.839> and<00:14:46.040> always<00:14:46.320> have 00:14:46.550 --> 00:14:46.560 align:start position:0% these different schemes and always have 00:14:46.560 --> 00:14:48.550 align:start position:0% these different schemes and always have one<00:14:46.839> that's<00:14:47.040> not<00:14:47.199> being<00:14:47.440> broken<00:14:48.199> or<00:14:48.399> like 00:14:48.550 --> 00:14:48.560 align:start position:0% one that's not being broken or like 00:14:48.560 --> 00:14:50.110 align:start position:0% one that's not being broken or like always<00:14:48.839> have<00:14:49.000> two<00:14:49.240> that's<00:14:49.399> not<00:14:49.519> been<00:14:49.680> broken 00:14:50.110 --> 00:14:50.120 align:start position:0% always have two that's not been broken 00:14:50.120 --> 00:14:52.350 align:start position:0% always have two that's not been broken and<00:14:50.279> just<00:14:50.480> like<00:14:50.880> continue<00:14:51.399> this<00:14:51.600> effort 00:14:52.350 --> 00:14:52.360 align:start position:0% and just like continue this effort 00:14:52.360 --> 00:14:55.389 align:start position:0% and just like continue this effort because<00:14:52.720> like<00:14:53.199> the<00:14:54.040> the<00:14:54.279> lattice<00:14:54.720> based 00:14:55.389 --> 00:14:55.399 align:start position:0% because like the the lattice based 00:14:55.399 --> 00:14:57.870 align:start position:0% because like the the lattice based assumptions<00:14:56.399> uh<00:14:56.560> it<00:14:56.680> took<00:14:56.920> like<00:14:57.120> 10<00:14:57.399> years<00:14:57.680> to 00:14:57.870 --> 00:14:57.880 align:start position:0% assumptions uh it took like 10 years to 00:14:57.880 --> 00:14:59.310 align:start position:0% assumptions uh it took like 10 years to go<00:14:58.040> from<00:14:58.199> being<00:14:58.480> like<00:14:58.600> kind<00:14:58.720> of<00:14:59.040> crazy 00:14:59.310 --> 00:14:59.320 align:start position:0% go from being like kind of crazy 00:14:59.320 --> 00:15:01.990 align:start position:0% go from being like kind of crazy assumption<00:14:59.720> to<00:15:00.240> more<00:15:00.480> useful<00:15:01.079> or<00:15:01.399> like<00:15:01.639> more 00:15:01.990 --> 00:15:02.000 align:start position:0% assumption to more useful or like more 00:15:02.000 --> 00:15:04.189 align:start position:0% assumption to more useful or like more more<00:15:02.279> accepted<00:15:03.079> so<00:15:03.240> we're<00:15:03.440> hoping<00:15:03.759> that<00:15:03.959> like 00:15:04.189 --> 00:15:04.199 align:start position:0% more accepted so we're hoping that like 00:15:04.199 --> 00:15:06.829 align:start position:0% more accepted so we're hoping that like we'll<00:15:04.440> be<00:15:04.560> able<00:15:04.800> to<00:15:05.279> like<00:15:05.920> navigate<00:15:06.320> a<00:15:06.440> similar 00:15:06.829 --> 00:15:06.839 align:start position:0% we'll be able to like navigate a similar 00:15:06.839 --> 00:15:10.069 align:start position:0% we'll be able to like navigate a similar trajectory 00:15:10.069 --> 00:15:10.079 align:start position:0% 00:15:10.079 --> 00:15:12.749 align:start position:0% here 00:15:12.749 --> 00:15:12.759 align:start position:0% here 00:15:12.759 --> 00:15:15.670 align:start position:0% here okay<00:15:13.759> okay<00:15:14.440> yeah<00:15:14.639> so<00:15:14.759> there's<00:15:15.040> more<00:15:15.279> talks<00:15:15.600> I 00:15:15.670 --> 00:15:15.680 align:start position:0% okay okay yeah so there's more talks I 00:15:15.680 --> 00:15:18.670 align:start position:0% okay okay yeah so there's more talks I think<00:15:15.880> on<00:15:16.759> uh<00:15:17.360> Tomorrow<00:15:17.959> there's<00:15:18.120> a<00:15:18.279> bunch<00:15:18.519> of 00:15:18.670 --> 00:15:18.680 align:start position:0% think on uh Tomorrow there's a bunch of 00:15:18.680 --> 00:15:21.110 align:start position:0% think on uh Tomorrow there's a bunch of talks<00:15:18.959> about<00:15:19.199> IO<00:15:20.040> that<00:15:20.360> would<00:15:20.519> be<00:15:20.720> interesting 00:15:21.110 --> 00:15:21.120 align:start position:0% talks about IO that would be interesting 00:15:21.120 --> 00:15:23.509 align:start position:0% talks about IO that would be interesting for<00:15:21.279> people<00:15:21.519> to<00:15:21.680> check<00:15:21.920> out 00:15:23.509 --> 00:15:23.519 align:start position:0% for people to check out 00:15:23.519 --> 00:15:26.790 align:start position:0% for people to check out um<00:15:24.519> yeah<00:15:25.000> I<00:15:25.639> have<00:15:25.759> a<00:15:25.880> little<00:15:26.000> bit<00:15:26.199> extra<00:15:26.480> time<00:15:26.720> I 00:15:26.790 --> 00:15:26.800 align:start position:0% um yeah I have a little bit extra time I 00:15:26.800 --> 00:15:29.150 align:start position:0% um yeah I have a little bit extra time I can<00:15:26.920> take<00:15:27.079> some<00:15:27.279> questions<00:15:28.240> or<00:15:28.399> I<00:15:28.519> can<00:15:29.000> talk 00:15:29.150 --> 00:15:29.160 align:start position:0% can take some questions or I can talk 00:15:29.160 --> 00:15:30.829 align:start position:0% can take some questions or I can talk some<00:15:29.319> more<00:15:29.480> if<00:15:29.600> I<00:15:29.759> remember<00:15:30.160> some<00:15:30.360> other<00:15:30.560> stuff 00:15:30.829 --> 00:15:30.839 align:start position:0% some more if I remember some other stuff 00:15:30.839 --> 00:15:38.949 align:start position:0% some more if I remember some other stuff I<00:15:30.920> wanted<00:15:31.160> to 00:15:38.949 --> 00:15:38.959 align:start position:0% 00:15:38.959 --> 00:15:44.829 align:start position:0% say<00:15:39.959> thank<00:15:40.120> you<00:15:40.279> so<00:15:40.480> much<00:15:41.000> Barry<00:15:42.000> thank 00:15:44.829 --> 00:15:44.839 align:start position:0% 00:15:44.839 --> 00:15:48.710 align:start position:0% you<00:15:45.839> this<00:15:46.759> presentation<00:15:47.759> was<00:15:48.000> very<00:15:48.319> complex 00:15:48.710 --> 00:15:48.720 align:start position:0% you this presentation was very complex 00:15:48.720 --> 00:15:51.470 align:start position:0% you this presentation was very complex for<00:15:48.920> my<00:15:49.079> non<00:15:49.399> technical<00:15:49.839> brand<00:15:50.279> but<00:15:50.560> actually 00:15:51.470 --> 00:15:51.480 align:start position:0% for my non technical brand but actually 00:15:51.480 --> 00:15:55.350 align:start position:0% for my non technical brand but actually the<00:15:52.480> audience<00:15:53.120> here<00:15:53.399> have<00:15:53.600> added<00:15:54.319> very<00:15:54.880> cool 00:15:55.350 --> 00:15:55.360 align:start position:0% the audience here have added very cool 00:15:55.360 --> 00:15:57.710 align:start position:0% the audience here have added very cool questions<00:15:56.000> and<00:15:56.199> the<00:15:56.399> first<00:15:56.680> one<00:15:57.199> here<00:15:57.440> that<00:15:57.600> I 00:15:57.710 --> 00:15:57.720 align:start position:0% questions and the first one here that I 00:15:57.720 --> 00:16:00.150 align:start position:0% questions and the first one here that I wanted<00:15:58.040> to<00:15:58.319> ask<00:15:58.759> was<00:15:59.079> was<00:15:59.440> you<00:15:59.600> know<00:15:59.839> like<00:15:59.959> a 00:16:00.150 --> 00:16:00.160 align:start position:0% wanted to ask was was you know like a 00:16:00.160 --> 00:16:04.110 align:start position:0% wanted to ask was was you know like a definition<00:16:00.839> what<00:16:00.959> is<00:16:01.120> an<00:16:01.759> what's<00:16:02.079> IO<00:16:02.880> and<00:16:03.440> uh 00:16:04.110 --> 00:16:04.120 align:start position:0% definition what is an what's IO and uh 00:16:04.120 --> 00:16:05.749 align:start position:0% definition what is an what's IO and uh pretty<00:16:04.360> much<00:16:04.560> an<00:16:04.720> explanation<00:16:05.360> if<00:16:05.480> you<00:16:05.600> could 00:16:05.749 --> 00:16:05.759 align:start position:0% pretty much an explanation if you could 00:16:05.759 --> 00:16:07.949 align:start position:0% pretty much an explanation if you could do<00:16:05.959> like<00:16:06.079> an<00:16:06.279> explain<00:16:06.680> like<00:16:06.839> M<00:16:07.199> five<00:16:07.839> that 00:16:07.949 --> 00:16:07.959 align:start position:0% do like an explain like M five that 00:16:07.959 --> 00:16:11.550 align:start position:0% do like an explain like M five that would<00:16:08.120> be<00:16:08.319> helpful<00:16:09.079> sure<00:16:10.000> uh<00:16:10.319> so<00:16:10.600> iio<00:16:11.279> stands 00:16:11.550 --> 00:16:11.560 align:start position:0% would be helpful sure uh so iio stands 00:16:11.560 --> 00:16:14.670 align:start position:0% would be helpful sure uh so iio stands for<00:16:11.880> indistinguishable<00:16:12.800> OBS<00:16:13.360> fisc<00:16:14.360> and<00:16:14.480> it 00:16:14.670 --> 00:16:14.680 align:start position:0% for indistinguishable OBS fisc and it 00:16:14.680 --> 00:16:16.629 align:start position:0% for indistinguishable OBS fisc and it basically<00:16:15.199> means<00:16:15.639> like<00:16:15.880> encrypting<00:16:16.399> a 00:16:16.629 --> 00:16:16.639 align:start position:0% basically means like encrypting a 00:16:16.639 --> 00:16:18.990 align:start position:0% basically means like encrypting a program<00:16:17.399> such<00:16:17.680> that<00:16:17.839> you<00:16:17.959> can<00:16:18.279> execute<00:16:18.759> the 00:16:18.990 --> 00:16:19.000 align:start position:0% program such that you can execute the 00:16:19.000 --> 00:16:22.590 align:start position:0% program such that you can execute the program<00:16:19.920> and<00:16:20.120> you<00:16:20.240> can<00:16:20.519> get<00:16:20.959> a<00:16:21.600> an<00:16:21.759> output<00:16:22.480> that 00:16:22.590 --> 00:16:22.600 align:start position:0% program and you can get a an output that 00:16:22.600 --> 00:16:25.110 align:start position:0% program and you can get a an output that you<00:16:22.759> can<00:16:23.279> that<00:16:23.399> is<00:16:23.560> not<00:16:23.759> encrypted<00:16:24.680> so<00:16:24.880> like<00:16:25.000> no 00:16:25.110 --> 00:16:25.120 align:start position:0% you can that is not encrypted so like no 00:16:25.120 --> 00:16:26.590 align:start position:0% you can that is not encrypted so like no one<00:16:25.240> is<00:16:25.360> able<00:16:25.560> to<00:16:25.680> see<00:16:25.880> what<00:16:26.040> the<00:16:26.160> program<00:16:26.440> is 00:16:26.590 --> 00:16:26.600 align:start position:0% one is able to see what the program is 00:16:26.600 --> 00:16:28.910 align:start position:0% one is able to see what the program is doing<00:16:27.360> but<00:16:27.839> what<00:16:28.000> you<00:16:28.160> get<00:16:28.319> out<00:16:28.560> is<00:16:28.680> something 00:16:28.910 --> 00:16:28.920 align:start position:0% doing but what you get out is something 00:16:28.920 --> 00:16:30.670 align:start position:0% doing but what you get out is something something<00:16:29.120> that<00:16:29.199> you<00:16:29.319> can<00:16:29.800> understand<00:16:30.440> so 00:16:30.670 --> 00:16:30.680 align:start position:0% something that you can understand so 00:16:30.680 --> 00:16:34.030 align:start position:0% something that you can understand so basically<00:16:31.199> it's<00:16:31.440> like<00:16:31.880> FHA<00:16:32.880> but<00:16:33.600> in<00:16:33.680> a<00:16:33.800> non- 00:16:34.030 --> 00:16:34.040 align:start position:0% basically it's like FHA but in a non- 00:16:34.040 --> 00:16:35.670 align:start position:0% basically it's like FHA but in a non- interactive 00:16:35.670 --> 00:16:35.680 align:start position:0% interactive 00:16:35.680 --> 00:16:37.870 align:start position:0% interactive way<00:16:36.680> like<00:16:36.880> another<00:16:37.120> way<00:16:37.240> to<00:16:37.360> think<00:16:37.519> about<00:16:37.680> it 00:16:37.870 --> 00:16:37.880 align:start position:0% way like another way to think about it 00:16:37.880 --> 00:16:39.790 align:start position:0% way like another way to think about it is<00:16:38.360> I<00:16:38.440> can<00:16:38.600> give<00:16:38.759> like<00:16:38.880> the<00:16:39.000> formal<00:16:39.399> definition 00:16:39.790 --> 00:16:39.800 align:start position:0% is I can give like the formal definition 00:16:39.800 --> 00:16:41.790 align:start position:0% is I can give like the formal definition but<00:16:39.959> maybe<00:16:40.160> we<00:16:40.240> should<00:16:40.399> go<00:16:40.519> to<00:16:40.639> the<00:16:40.759> other<00:16:41.600> the 00:16:41.790 --> 00:16:41.800 align:start position:0% but maybe we should go to the other the 00:16:41.800 --> 00:16:43.150 align:start position:0% but maybe we should go to the other the the<00:16:41.959> next<00:16:42.199> question<00:16:42.600> let's<00:16:42.759> just<00:16:42.880> take<00:16:43.040> the 00:16:43.150 --> 00:16:43.160 align:start position:0% the next question let's just take the 00:16:43.160 --> 00:16:45.990 align:start position:0% the next question let's just take the next<00:16:43.440> question<00:16:44.440> another<00:16:44.920> question<00:16:45.360> here<00:16:45.759> what 00:16:45.990 --> 00:16:46.000 align:start position:0% next question another question here what 00:16:46.000 --> 00:16:48.269 align:start position:0% next question another question here what does<00:16:46.560> IO<00:16:47.000> replace 00:16:48.269 --> 00:16:48.279 align:start position:0% does IO replace 00:16:48.279 --> 00:16:51.670 align:start position:0% does IO replace ZK<00:16:49.279> ah<00:16:49.480> so<00:16:49.800> IO<00:16:50.199> kind<00:16:50.319> of<00:16:50.519> includes<00:16:51.079> ZK<00:16:51.519> so 00:16:51.670 --> 00:16:51.680 align:start position:0% ZK ah so IO kind of includes ZK so 00:16:51.680 --> 00:16:55.670 align:start position:0% ZK ah so IO kind of includes ZK so there's<00:16:51.959> ways<00:16:52.240> that<00:16:52.399> you<00:16:52.519> can<00:16:52.680> use<00:16:53.079> IO<00:16:53.880> to<00:16:54.759> to 00:16:55.670 --> 00:16:55.680 align:start position:0% there's ways that you can use IO to to 00:16:55.680 --> 00:16:57.150 align:start position:0% there's ways that you can use IO to to well<00:16:55.839> it<00:16:55.959> like<00:16:56.079> it<00:16:56.199> depends<00:16:56.560> what<00:16:56.720> you<00:16:56.800> mean<00:16:57.000> by 00:16:57.150 --> 00:16:57.160 align:start position:0% well it like it depends what you mean by 00:16:57.160 --> 00:16:59.949 align:start position:0% well it like it depends what you mean by ZK<00:16:57.600> because<00:16:57.880> people<00:16:58.920> abuse<00:16:59.279> the<00:16:59.399> term<00:16:59.639> to<00:16:59.759> mean 00:16:59.949 --> 00:16:59.959 align:start position:0% ZK because people abuse the term to mean 00:16:59.959 --> 00:17:01.389 align:start position:0% ZK because people abuse the term to mean a<00:17:00.079> whole<00:17:00.199> bunch<00:17:00.360> of<00:17:00.519> things<00:17:00.920> and<00:17:01.040> like<00:17:01.160> I<00:17:01.240> used 00:17:01.389 --> 00:17:01.399 align:start position:0% a whole bunch of things and like I used 00:17:01.399 --> 00:17:03.069 align:start position:0% a whole bunch of things and like I used to<00:17:01.519> do<00:17:01.680> that<00:17:01.800> too<00:17:02.480> well<00:17:02.600> I<00:17:02.680> don't<00:17:02.800> know<00:17:02.920> if<00:17:03.000> I 00:17:03.069 --> 00:17:03.079 align:start position:0% to do that too well I don't know if I 00:17:03.079 --> 00:17:05.390 align:start position:0% to do that too well I don't know if I did<00:17:03.199> used<00:17:03.360> to<00:17:03.480> do<00:17:03.600> that<00:17:03.720> too<00:17:04.039> but<00:17:04.600> yeah<00:17:05.000> okay<00:17:05.160> so 00:17:05.390 --> 00:17:05.400 align:start position:0% did used to do that too but yeah okay so 00:17:05.400 --> 00:17:06.630 align:start position:0% did used to do that too but yeah okay so if<00:17:05.480> you<00:17:05.600> mean<00:17:05.799> zero<00:17:06.079> knowledge<00:17:06.280> proofs<00:17:06.520> as 00:17:06.630 --> 00:17:06.640 align:start position:0% if you mean zero knowledge proofs as 00:17:06.640 --> 00:17:07.909 align:start position:0% if you mean zero knowledge proofs as just<00:17:06.760> like<00:17:06.880> a<00:17:06.959> proof<00:17:07.199> that<00:17:07.280> a<00:17:07.400> computation<00:17:07.799> was 00:17:07.909 --> 00:17:07.919 align:start position:0% just like a proof that a computation was 00:17:07.919 --> 00:17:11.630 align:start position:0% just like a proof that a computation was done<00:17:08.240> correctly<00:17:09.640> then<00:17:10.640> then<00:17:10.880> it's<00:17:11.160> like<00:17:11.439> yeah 00:17:11.630 --> 00:17:11.640 align:start position:0% done correctly then then it's like yeah 00:17:11.640 --> 00:17:13.750 align:start position:0% done correctly then then it's like yeah you<00:17:11.760> can<00:17:11.959> do<00:17:12.240> you<00:17:12.400> can<00:17:12.760> you<00:17:12.880> can<00:17:13.039> do<00:17:13.280> that<00:17:13.520> with 00:17:13.750 --> 00:17:13.760 align:start position:0% you can do you can you can do that with 00:17:13.760 --> 00:17:17.590 align:start position:0% you can do you can you can do that with IO<00:17:14.400> but<00:17:14.600> IO<00:17:14.959> is<00:17:15.160> much<00:17:15.400> more<00:17:15.760> than<00:17:15.919> ZK<00:17:16.839> it's<00:17:17.240> it's 00:17:17.590 --> 00:17:17.600 align:start position:0% IO but IO is much more than ZK it's it's 00:17:17.600 --> 00:17:20.029 align:start position:0% IO but IO is much more than ZK it's it's more<00:17:17.919> powerful<00:17:18.559> because<00:17:19.400> like<00:17:19.640> another<00:17:19.919> way 00:17:20.029 --> 00:17:20.039 align:start position:0% more powerful because like another way 00:17:20.039 --> 00:17:21.549 align:start position:0% more powerful because like another way to<00:17:20.160> think<00:17:20.319> about<00:17:20.520> this<00:17:20.640> is<00:17:20.799> ZK<00:17:21.199> is<00:17:21.319> like<00:17:21.439> a 00:17:21.549 --> 00:17:21.559 align:start position:0% to think about this is ZK is like a 00:17:21.559 --> 00:17:23.750 align:start position:0% to think about this is ZK is like a single<00:17:21.959> player<00:17:22.400> thing<00:17:22.919> that<00:17:23.079> I<00:17:23.199> can<00:17:23.439> prove 00:17:23.750 --> 00:17:23.760 align:start position:0% single player thing that I can prove 00:17:23.760 --> 00:17:25.789 align:start position:0% single player thing that I can prove about<00:17:24.000> things<00:17:24.160> that<00:17:24.360> I<00:17:24.520> know<00:17:25.199> I<00:17:25.319> can<00:17:25.439> show 00:17:25.789 --> 00:17:25.799 align:start position:0% about things that I know I can show 00:17:25.799 --> 00:17:27.189 align:start position:0% about things that I know I can show people<00:17:26.160> things<00:17:26.360> that<00:17:26.520> I<00:17:26.640> know<00:17:26.839> and<00:17:27.039> other 00:17:27.189 --> 00:17:27.199 align:start position:0% people things that I know and other 00:17:27.199 --> 00:17:29.270 align:start position:0% people things that I know and other people<00:17:27.520> show<00:17:27.720> me<00:17:28.039> things<00:17:28.240> that<00:17:28.400> they<00:17:28.559> know<00:17:29.160> but 00:17:29.270 --> 00:17:29.280 align:start position:0% people show me things that they know but 00:17:29.280 --> 00:17:30.549 align:start position:0% people show me things that they know but there's<00:17:29.480> no<00:17:29.640> way<00:17:29.760> to<00:17:29.919> do<00:17:30.200> like<00:17:30.320> a 00:17:30.549 --> 00:17:30.559 align:start position:0% there's no way to do like a 00:17:30.559 --> 00:17:32.190 align:start position:0% there's no way to do like a collaborative<00:17:31.320> proof<00:17:31.600> there's<00:17:31.760> no<00:17:31.880> way<00:17:31.960> to<00:17:32.080> do 00:17:32.190 --> 00:17:32.200 align:start position:0% collaborative proof there's no way to do 00:17:32.200 --> 00:17:35.990 align:start position:0% collaborative proof there's no way to do a<00:17:32.360> multiplayer<00:17:33.120> things<00:17:34.120> right<00:17:34.720> and<00:17:34.919> like<00:17:35.120> iio 00:17:35.990 --> 00:17:36.000 align:start position:0% a multiplayer things right and like iio 00:17:36.000 --> 00:17:37.950 align:start position:0% a multiplayer things right and like iio basically<00:17:36.400> lets<00:17:36.600> you<00:17:36.720> do<00:17:36.960> like<00:17:37.120> multiplayer 00:17:37.950 --> 00:17:37.960 align:start position:0% basically lets you do like multiplayer 00:17:37.960 --> 00:17:41.590 align:start position:0% basically lets you do like multiplayer stuff<00:17:38.720> so<00:17:38.919> you<00:17:39.080> can<00:17:39.280> do<00:17:40.039> like<00:17:41.039> all<00:17:41.280> these 00:17:41.590 --> 00:17:41.600 align:start position:0% stuff so you can do like all these 00:17:41.600 --> 00:17:44.669 align:start position:0% stuff so you can do like all these interesting<00:17:42.600> Co<00:17:42.880> coordination 00:17:44.669 --> 00:17:44.679 align:start position:0% interesting Co coordination 00:17:44.679 --> 00:17:47.190 align:start position:0% interesting Co coordination things<00:17:45.679> well<00:17:45.840> you<00:17:46.000> got<00:17:46.200> here<00:17:46.400> some<00:17:46.679> love<00:17:46.960> from 00:17:47.190 --> 00:17:47.200 align:start position:0% things well you got here some love from 00:17:47.200 --> 00:17:49.870 align:start position:0% things well you got here some love from your<00:17:47.840> psse<00:17:48.400> colleagues<00:17:49.120> and<00:17:49.280> I<00:17:49.360> have<00:17:49.520> another 00:17:49.870 --> 00:17:49.880 align:start position:0% your psse colleagues and I have another 00:17:49.880 --> 00:17:51.789 align:start position:0% your psse colleagues and I have another question<00:17:50.200> for<00:17:50.400> you<00:17:50.640> so<00:17:50.880> Quantum<00:17:51.320> machine 00:17:51.789 --> 00:17:51.799 align:start position:0% question for you so Quantum machine 00:17:51.799 --> 00:17:54.870 align:start position:0% question for you so Quantum machine learning<00:17:52.440> will<00:17:52.880> break<00:17:53.280> more<00:17:53.559> things<00:17:53.799> than<00:17:54.039> AI 00:17:54.870 --> 00:17:54.880 align:start position:0% learning will break more things than AI 00:17:54.880 --> 00:17:59.510 align:start position:0% learning will break more things than AI or<00:17:55.600> qu<00:17:55.919> to<00:17:56.840> each<00:17:57.440> alone<00:17:58.440> sorry 00:17:59.510 --> 00:17:59.520 align:start position:0% or qu to each alone sorry 00:17:59.520 --> 00:18:01.350 align:start position:0% or qu to each alone sorry Quantum<00:17:59.960> machine<00:18:00.320> learning<00:18:00.720> will<00:18:00.919> break<00:18:01.159> more 00:18:01.350 --> 00:18:01.360 align:start position:0% Quantum machine learning will break more 00:18:01.360 --> 00:18:04.230 align:start position:0% Quantum machine learning will break more things<00:18:01.600> than<00:18:01.799> AI<00:18:02.280> or<00:18:02.559> Quantum<00:18:03.440> by 00:18:04.230 --> 00:18:04.240 align:start position:0% things than AI or Quantum by 00:18:04.240 --> 00:18:07.149 align:start position:0% things than AI or Quantum by themsel<00:18:05.240> will<00:18:05.440> break<00:18:05.679> more<00:18:05.960> AI<00:18:06.320> or<00:18:06.520> Break<00:18:06.799> It 00:18:07.149 --> 00:18:07.159 align:start position:0% themsel will break more AI or Break It 00:18:07.159 --> 00:18:10.190 align:start position:0% themsel will break more AI or Break It on<00:18:07.440> its<00:18:07.600> own<00:18:08.480> uh<00:18:08.679> I<00:18:08.799> think<00:18:09.080> that<00:18:09.360> like<00:18:09.679> AI<00:18:10.039> by 00:18:10.190 --> 00:18:10.200 align:start position:0% on its own uh I think that like AI by 00:18:10.200 --> 00:18:12.590 align:start position:0% on its own uh I think that like AI by itself<00:18:10.799> will<00:18:11.000> break<00:18:11.240> more<00:18:11.559> than<00:18:12.039> than<00:18:12.440> than 00:18:12.590 --> 00:18:12.600 align:start position:0% itself will break more than than than 00:18:12.600 --> 00:18:14.669 align:start position:0% itself will break more than than than quantum<00:18:12.919> computers<00:18:13.280> by 00:18:14.669 --> 00:18:14.679 align:start position:0% quantum computers by 00:18:14.679 --> 00:18:18.390 align:start position:0% quantum computers by itself<00:18:15.679> does<00:18:15.919> IO<00:18:16.440> not<00:18:16.799> rely<00:18:17.640> on<00:18:18.000> any 00:18:18.390 --> 00:18:18.400 align:start position:0% itself does IO not rely on any 00:18:18.400 --> 00:18:20.830 align:start position:0% itself does IO not rely on any assumptions<00:18:19.039> yeah<00:18:19.240> yeah<00:18:19.400> yeah<00:18:19.640> it<00:18:19.799> does<00:18:20.240> IO 00:18:20.830 --> 00:18:20.840 align:start position:0% assumptions yeah yeah yeah it does IO 00:18:20.840 --> 00:18:22.190 align:start position:0% assumptions yeah yeah yeah it does IO relies<00:18:21.120> on<00:18:21.240> a<00:18:21.360> bunch<00:18:21.559> of<00:18:21.799> of<00:18:21.919> different 00:18:22.190 --> 00:18:22.200 align:start position:0% relies on a bunch of of different 00:18:22.200 --> 00:18:23.950 align:start position:0% relies on a bunch of of different assumptions<00:18:22.679> like<00:18:22.919> all<00:18:23.159> cryptography<00:18:23.720> lies 00:18:23.950 --> 00:18:23.960 align:start position:0% assumptions like all cryptography lies 00:18:23.960 --> 00:18:26.390 align:start position:0% assumptions like all cryptography lies on<00:18:24.080> assumptions<00:18:24.600> except<00:18:24.919> for<00:18:25.120> one<00:18:25.360> time<00:18:25.600> pad 00:18:26.390 --> 00:18:26.400 align:start position:0% on assumptions except for one time pad 00:18:26.400 --> 00:18:29.430 align:start position:0% on assumptions except for one time pad which<00:18:26.640> doesn't<00:18:26.919> rely<00:18:27.159> on<00:18:27.280> any<00:18:27.480> assumptions 00:18:29.430 --> 00:18:29.440 align:start position:0% which doesn't rely on any assumptions 00:18:29.440 --> 00:18:32.789 align:start position:0% which doesn't rely on any assumptions is<00:18:29.600> there<00:18:29.799> any<00:18:30.120> physical<00:18:30.600> heart<00:18:31.039> limit<00:18:31.840> to<00:18:32.480> how 00:18:32.789 --> 00:18:32.799 align:start position:0% is there any physical heart limit to how 00:18:32.799 --> 00:18:37.870 align:start position:0% is there any physical heart limit to how fast<00:18:33.159> cryptography<00:18:34.159> ZK<00:18:34.919> Etc<00:18:35.600> can<00:18:36.159> get<00:18:37.159> uh<00:18:37.600> yes 00:18:37.870 --> 00:18:37.880 align:start position:0% fast cryptography ZK Etc can get uh yes 00:18:37.880 --> 00:18:40.430 align:start position:0% fast cryptography ZK Etc can get uh yes it<00:18:38.080> can<00:18:38.280> like<00:18:38.440> ZK<00:18:38.919> cannot<00:18:39.240> get<00:18:39.760> faster<00:18:40.200> than 00:18:40.430 --> 00:18:40.440 align:start position:0% it can like ZK cannot get faster than 00:18:40.440 --> 00:18:42.190 align:start position:0% it can like ZK cannot get faster than the<00:18:41.120> than<00:18:41.320> the<00:18:41.480> thing<00:18:41.640> you're<00:18:41.799> trying<00:18:42.000> to 00:18:42.190 --> 00:18:42.200 align:start position:0% the than the thing you're trying to 00:18:42.200 --> 00:18:44.270 align:start position:0% the than the thing you're trying to prove<00:18:42.799> you<00:18:43.039> at<00:18:43.159> least<00:18:43.480> have<00:18:43.600> to<00:18:44.080> like 00:18:44.270 --> 00:18:44.280 align:start position:0% prove you at least have to like 00:18:44.280 --> 00:18:45.470 align:start position:0% prove you at least have to like calculate<00:18:44.679> the 00:18:45.470 --> 00:18:45.480 align:start position:0% calculate the 00:18:45.480 --> 00:18:49.029 align:start position:0% calculate the witness<00:18:46.480> um<00:18:46.960> or<00:18:47.320> you<00:18:47.440> need<00:18:47.640> to<00:18:48.440> be<00:18:48.640> able<00:18:48.840> to 00:18:49.029 --> 00:18:49.039 align:start position:0% witness um or you need to be able to 00:18:49.039 --> 00:18:50.390 align:start position:0% witness um or you need to be able to like<00:18:49.200> do<00:18:49.440> the 00:18:50.390 --> 00:18:50.400 align:start position:0% like do the 00:18:50.400 --> 00:18:52.230 align:start position:0% like do the computation 00:18:52.230 --> 00:18:52.240 align:start position:0% computation 00:18:52.240 --> 00:18:55.710 align:start position:0% computation um<00:18:53.240> ZK<00:18:54.159> has<00:18:54.280> that<00:18:54.520> limit<00:18:54.799> and<00:18:54.919> so<00:18:55.120> does 00:18:55.710 --> 00:18:55.720 align:start position:0% um ZK has that limit and so does 00:18:55.720 --> 00:18:57.990 align:start position:0% um ZK has that limit and so does everything<00:18:56.240> I<00:18:56.440> guess<00:18:56.760> I<00:18:56.919> suppose<00:18:57.320> that<00:18:57.600> like 00:18:57.990 --> 00:18:58.000 align:start position:0% everything I guess I suppose that like 00:18:58.000 --> 00:18:59.789 align:start position:0% everything I guess I suppose that like you<00:18:58.200> at<00:18:58.320> least<00:18:58.520> need<00:18:58.880> to<00:18:59.280> understand<00:18:59.640> what 00:18:59.789 --> 00:18:59.799 align:start position:0% you at least need to understand what 00:18:59.799 --> 00:19:02.830 align:start position:0% you at least need to understand what you're<00:19:00.159> trying<00:19:00.520> to<00:19:00.880> do<00:19:01.880> I<00:19:02.000> need<00:19:02.159> to<00:19:02.360> think<00:19:02.559> more 00:19:02.830 --> 00:19:02.840 align:start position:0% you're trying to do I need to think more 00:19:02.840 --> 00:19:05.430 align:start position:0% you're trying to do I need to think more about<00:19:03.159> like<00:19:03.280> the<00:19:03.440> io<00:19:03.840> case<00:19:04.440> to<00:19:04.919> have<00:19:05.159> like<00:19:05.280> a 00:19:05.430 --> 00:19:05.440 align:start position:0% about like the io case to have like a 00:19:05.440 --> 00:19:07.710 align:start position:0% about like the io case to have like a more<00:19:05.720> coherent 00:19:07.710 --> 00:19:07.720 align:start position:0% more coherent 00:19:07.720 --> 00:19:11.270 align:start position:0% more coherent answer<00:19:08.720> when<00:19:08.960> will<00:19:09.240> IO<00:19:09.760> happen<00:19:10.320> one<00:19:10.600> year<00:19:11.000> five 00:19:11.270 --> 00:19:11.280 align:start position:0% answer when will IO happen one year five 00:19:11.280 --> 00:19:13.909 align:start position:0% answer when will IO happen one year five years<00:19:11.840> how<00:19:11.960> would<00:19:12.120> you<00:19:12.320> define<00:19:13.159> a<00:19:13.360> prediction 00:19:13.909 --> 00:19:13.919 align:start position:0% years how would you define a prediction 00:19:13.919 --> 00:19:16.950 align:start position:0% years how would you define a prediction market<00:19:14.360> for<00:19:14.640> this<00:19:15.360> H<00:19:15.679> yeah<00:19:15.840> that<00:19:15.960> sounds<00:19:16.320> good 00:19:16.950 --> 00:19:16.960 align:start position:0% market for this H yeah that sounds good 00:19:16.960 --> 00:19:19.149 align:start position:0% market for this H yeah that sounds good uh<00:19:17.080> an<00:19:17.240> IO<00:19:17.520> prediction<00:19:17.840> Market<00:19:18.559> I<00:19:18.640> think<00:19:18.880> that 00:19:19.149 --> 00:19:19.159 align:start position:0% uh an IO prediction Market I think that 00:19:19.159 --> 00:19:21.990 align:start position:0% uh an IO prediction Market I think that like<00:19:19.600> we<00:19:20.600> like<00:19:20.720> it<00:19:20.919> did<00:19:21.120> like<00:19:21.320> I<00:19:21.400> think<00:19:21.600> the<00:19:21.760> key 00:19:21.990 --> 00:19:22.000 align:start position:0% like we like it did like I think the key 00:19:22.000 --> 00:19:23.750 align:start position:0% like we like it did like I think the key thing<00:19:22.159> to<00:19:22.400> ask<00:19:22.679> in<00:19:22.840> that<00:19:23.039> question<00:19:23.280> is<00:19:23.440> from 00:19:23.750 --> 00:19:23.760 align:start position:0% thing to ask in that question is from 00:19:23.760 --> 00:19:26.110 align:start position:0% thing to ask in that question is from like<00:19:24.159> what<00:19:24.360> kind<00:19:24.520> of<00:19:24.679> assumptions<00:19:25.600> that<00:19:25.880> like 00:19:26.110 --> 00:19:26.120 align:start position:0% like what kind of assumptions that like 00:19:26.120 --> 00:19:27.789 align:start position:0% like what kind of assumptions that like we<00:19:26.360> historically<00:19:27.000> we've<00:19:27.200> had<00:19:27.320> a<00:19:27.440> whole<00:19:27.640> bunch 00:19:27.789 --> 00:19:27.799 align:start position:0% we historically we've had a whole bunch 00:19:27.799 --> 00:19:29.350 align:start position:0% we historically we've had a whole bunch of<00:19:27.960> IO<00:19:28.280> schemes 00:19:29.350 --> 00:19:29.360 align:start position:0% of IO schemes 00:19:29.360 --> 00:19:31.590 align:start position:0% of IO schemes that<00:19:29.679> have<00:19:29.880> been<00:19:30.159> from<00:19:30.440> like<00:19:30.600> standard<00:19:31.400> from 00:19:31.590 --> 00:19:31.600 align:start position:0% that have been from like standard from 00:19:31.600 --> 00:19:33.110 align:start position:0% that have been from like standard from non-standard<00:19:32.159> assumptions<00:19:32.679> but<00:19:32.799> they've<00:19:33.000> all 00:19:33.110 --> 00:19:33.120 align:start position:0% non-standard assumptions but they've all 00:19:33.120 --> 00:19:36.789 align:start position:0% non-standard assumptions but they've all been<00:19:33.760> broken<00:19:34.760> um<00:19:35.640> so<00:19:36.159> I<00:19:36.240> think<00:19:36.400> it's<00:19:36.520> just<00:19:36.679> a 00:19:36.789 --> 00:19:36.799 align:start position:0% been broken um so I think it's just a 00:19:36.799 --> 00:19:39.990 align:start position:0% been broken um so I think it's just a matter<00:19:37.039> of<00:19:37.280> time<00:19:38.280> on<00:19:38.840> like<00:19:39.240> so<00:19:39.440> so<00:19:39.640> like<00:19:39.799> that's 00:19:39.990 --> 00:19:40.000 align:start position:0% matter of time on like so so like that's 00:19:40.000 --> 00:19:41.350 align:start position:0% matter of time on like so so like that's the<00:19:40.120> important<00:19:40.440> thing<00:19:40.559> to<00:19:40.760> include<00:19:41.080> if<00:19:41.200> you're 00:19:41.350 --> 00:19:41.360 align:start position:0% the important thing to include if you're 00:19:41.360 --> 00:19:42.830 align:start position:0% the important thing to include if you're thinking<00:19:41.640> about<00:19:42.120> when<00:19:42.200> you're<00:19:42.360> asking<00:19:42.640> this 00:19:42.830 --> 00:19:42.840 align:start position:0% thinking about when you're asking this 00:19:42.840 --> 00:19:44.510 align:start position:0% thinking about when you're asking this question<00:19:43.440> so<00:19:43.640> from<00:19:43.840> like<00:19:43.960> nonstandard 00:19:44.510 --> 00:19:44.520 align:start position:0% question so from like nonstandard 00:19:44.520 --> 00:19:46.190 align:start position:0% question so from like nonstandard assumptions<00:19:45.000> I<00:19:45.080> think<00:19:45.360> pretty<00:19:45.679> soon<00:19:46.080> like 00:19:46.190 --> 00:19:46.200 align:start position:0% assumptions I think pretty soon like 00:19:46.200 --> 00:19:48.149 align:start position:0% assumptions I think pretty soon like it's<00:19:46.400> already<00:19:46.720> the<00:19:46.919> case<00:19:47.640> that<00:19:47.799> there's 00:19:48.149 --> 00:19:48.159 align:start position:0% it's already the case that there's 00:19:48.159 --> 00:19:50.310 align:start position:0% it's already the case that there's practical<00:19:49.039> IO<00:19:49.320> schemes<00:19:49.640> from<00:19:49.760> non-standard 00:19:50.310 --> 00:19:50.320 align:start position:0% practical IO schemes from non-standard 00:19:50.320 --> 00:19:51.510 align:start position:0% practical IO schemes from non-standard assumptions<00:19:50.760> but<00:19:50.880> we<00:19:50.960> don't<00:19:51.080> know<00:19:51.240> if<00:19:51.320> they'll 00:19:51.510 --> 00:19:51.520 align:start position:0% assumptions but we don't know if they'll 00:19:51.520 --> 00:19:53.510 align:start position:0% assumptions but we don't know if they'll be<00:19:51.640> broken<00:19:51.960> or<00:19:52.080> not<00:19:52.679> so<00:19:52.880> like<00:19:53.039> that's<00:19:53.240> another 00:19:53.510 --> 00:19:53.520 align:start position:0% be broken or not so like that's another 00:19:53.520 --> 00:19:55.029 align:start position:0% be broken or not so like that's another interesting<00:19:54.000> thing<00:19:54.200> we<00:19:54.320> could<00:19:54.480> do<00:19:54.679> prediction 00:19:55.029 --> 00:19:55.039 align:start position:0% interesting thing we could do prediction 00:19:55.039 --> 00:19:56.549 align:start position:0% interesting thing we could do prediction markets<00:19:55.400> of<00:19:55.600> whether<00:19:55.799> a<00:19:56.159> particular 00:19:56.549 --> 00:19:56.559 align:start position:0% markets of whether a particular 00:19:56.559 --> 00:19:58.270 align:start position:0% markets of whether a particular assumption<00:19:56.960> will<00:19:57.080> be<00:19:57.200> broken<00:19:57.960> that<00:19:58.080> could<00:19:58.159> be 00:19:58.270 --> 00:19:58.280 align:start position:0% assumption will be broken that could be 00:19:58.280 --> 00:19:59.830 align:start position:0% assumption will be broken that could be really<00:19:58.400> fun 00:19:59.830 --> 00:19:59.840 align:start position:0% really fun 00:19:59.840 --> 00:20:05.470 align:start position:0% really fun um<00:20:01.320> yeah<00:20:02.320> do<00:20:02.480> we<00:20:02.600> need<00:20:02.840> eteron<00:20:03.799> if<00:20:04.120> IO<00:20:04.520> works 00:20:05.470 --> 00:20:05.480 align:start position:0% um yeah do we need eteron if IO works 00:20:05.480 --> 00:20:07.430 align:start position:0% um yeah do we need eteron if IO works yeah<00:20:05.799> yeah<00:20:06.000> I<00:20:06.120> think<00:20:06.480> I<00:20:06.679> think<00:20:06.960> that<00:20:07.159> there's 00:20:07.430 --> 00:20:07.440 align:start position:0% yeah yeah I think I think that there's 00:20:07.440 --> 00:20:09.950 align:start position:0% yeah yeah I think I think that there's still<00:20:08.440> these<00:20:08.679> things<00:20:09.000> kind<00:20:09.120> of<00:20:09.280> like<00:20:09.480> add 00:20:09.950 --> 00:20:09.960 align:start position:0% still these things kind of like add 00:20:09.960 --> 00:20:11.909 align:start position:0% still these things kind of like add together<00:20:10.960> uh<00:20:11.080> so<00:20:11.280> there's<00:20:11.440> a<00:20:11.600> couple<00:20:11.799> of 00:20:11.909 --> 00:20:11.919 align:start position:0% together uh so there's a couple of 00:20:11.919 --> 00:20:14.070 align:start position:0% together uh so there's a couple of things<00:20:12.080> that<00:20:12.240> IO<00:20:12.520> is<00:20:12.640> not<00:20:12.760> able<00:20:13.000> to<00:20:13.159> do<00:20:13.760> one<00:20:13.919> of 00:20:14.070 --> 00:20:14.080 align:start position:0% things that IO is not able to do one of 00:20:14.080 --> 00:20:16.230 align:start position:0% things that IO is not able to do one of them<00:20:14.280> is<00:20:14.440> like<00:20:14.720> data<00:20:15.240> proof<00:20:15.520> of<00:20:15.760> publication 00:20:16.230 --> 00:20:16.240 align:start position:0% them is like data proof of publication 00:20:16.240 --> 00:20:19.310 align:start position:0% them is like data proof of publication or<00:20:16.440> data<00:20:16.919> availability<00:20:17.919> uh<00:20:18.200> cryptography<00:20:19.200> as 00:20:19.310 --> 00:20:19.320 align:start position:0% or data availability uh cryptography as 00:20:19.320 --> 00:20:22.950 align:start position:0% or data availability uh cryptography as far<00:20:19.520> as<00:20:19.679> we<00:20:19.840> know<00:20:20.559> is<00:20:20.720> not<00:20:20.960> able<00:20:21.320> to<00:20:22.000> make<00:20:22.320> sure 00:20:22.950 --> 00:20:22.960 align:start position:0% far as we know is not able to make sure 00:20:22.960 --> 00:20:25.430 align:start position:0% far as we know is not able to make sure that<00:20:23.080> you<00:20:23.240> have<00:20:23.880> published<00:20:24.480> something 00:20:25.430 --> 00:20:25.440 align:start position:0% that you have published something 00:20:25.440 --> 00:20:28.710 align:start position:0% that you have published something because<00:20:25.720> that's<00:20:25.960> like<00:20:26.600> a<00:20:27.600> it's<00:20:28.039> it's<00:20:28.240> like<00:20:28.360> an 00:20:28.710 --> 00:20:28.720 align:start position:0% because that's like a it's it's like an 00:20:28.720 --> 00:20:31.669 align:start position:0% because that's like a it's it's like an objective<00:20:29.400> reality<00:20:30.400> to<00:20:30.960> be<00:20:31.240> confident 00:20:31.669 --> 00:20:31.679 align:start position:0% objective reality to be confident 00:20:31.679 --> 00:20:34.190 align:start position:0% objective reality to be confident something<00:20:31.880> has<00:20:32.039> been<00:20:32.559> published<00:20:33.559> is<00:20:33.919> not 00:20:34.190 --> 00:20:34.200 align:start position:0% something has been published is not 00:20:34.200 --> 00:20:36.789 align:start position:0% something has been published is not possible<00:20:34.559> to<00:20:34.799> do<00:20:35.799> with<00:20:36.039> just<00:20:36.280> compute<00:20:36.720> you 00:20:36.789 --> 00:20:36.799 align:start position:0% possible to do with just compute you 00:20:36.799 --> 00:20:39.270 align:start position:0% possible to do with just compute you need<00:20:36.960> to<00:20:37.080> have<00:20:37.200> some<00:20:37.400> consensus<00:20:38.400> so<00:20:38.840> ethereum 00:20:39.270 --> 00:20:39.280 align:start position:0% need to have some consensus so ethereum 00:20:39.280 --> 00:20:40.789 align:start position:0% need to have some consensus so ethereum is<00:20:39.400> still<00:20:39.640> useful<00:20:39.960> for 00:20:40.789 --> 00:20:40.799 align:start position:0% is still useful for 00:20:40.799 --> 00:20:44.350 align:start position:0% is still useful for this<00:20:41.799> what<00:20:41.960> are<00:20:42.080> you<00:20:42.280> personally<00:20:43.120> excited<00:20:44.080> to 00:20:44.350 --> 00:20:44.360 align:start position:0% this what are you personally excited to 00:20:44.360 --> 00:20:47.669 align:start position:0% this what are you personally excited to work<00:20:45.039> on<00:20:45.360> almost<00:20:45.880> the<00:20:46.159> end<00:20:46.559> of<00:20:46.760> cryptography 00:20:47.669 --> 00:20:47.679 align:start position:0% work on almost the end of cryptography 00:20:47.679 --> 00:20:50.710 align:start position:0% work on almost the end of cryptography research<00:20:48.480> is<00:20:48.760> reached<00:20:49.520> I<00:20:49.600> don't 00:20:50.710 --> 00:20:50.720 align:start position:0% research is reached I don't 00:20:50.720 --> 00:20:55.430 align:start position:0% research is reached I don't know<00:20:51.720> I<00:20:51.799> don't<00:20:52.039> know<00:20:52.679> yeah<00:20:53.679> I<00:20:53.799> don't<00:20:54.039> know<00:20:54.760> I<00:20:55.320> I 00:20:55.430 --> 00:20:55.440 align:start position:0% know I don't know yeah I don't know I I 00:20:55.440 --> 00:20:56.990 align:start position:0% know I don't know yeah I don't know I I feel<00:20:55.720> like<00:20:55.880> I'm<00:20:56.039> just<00:20:56.200> secretly<00:20:56.600> going<00:20:56.679> to<00:20:56.799> try 00:20:56.990 --> 00:20:57.000 align:start position:0% feel like I'm just secretly going to try 00:20:57.000 --> 00:21:02.390 align:start position:0% feel like I'm just secretly going to try and<00:20:57.280> sabotage<00:20:57.799> our<00:20:58.000> efforts 00:21:02.390 --> 00:21:02.400 align:start position:0% 00:21:02.400 --> 00:21:05.590 align:start position:0% yeah<00:21:02.559> there<00:21:02.640> is<00:21:02.799> a<00:21:03.000> lot<00:21:03.440> of<00:21:03.799> questions<00:21:04.679> here 00:21:05.590 --> 00:21:05.600 align:start position:0% yeah there is a lot of questions here 00:21:05.600 --> 00:21:08.549 align:start position:0% yeah there is a lot of questions here but<00:21:05.799> I<00:21:05.960> do<00:21:06.240> wanted<00:21:06.640> to<00:21:06.960> find<00:21:07.480> one<00:21:08.039> maybe<00:21:08.360> like 00:21:08.549 --> 00:21:08.559 align:start position:0% but I do wanted to find one maybe like 00:21:08.559 --> 00:21:10.630 align:start position:0% but I do wanted to find one maybe like one<00:21:08.880> last 00:21:10.630 --> 00:21:10.640 align:start position:0% one last 00:21:10.640 --> 00:21:15.149 align:start position:0% one last question<00:21:11.640> if<00:21:11.760> you<00:21:11.919> can<00:21:12.200> compare<00:21:13.200> IO<00:21:14.039> with<00:21:14.240> food 00:21:15.149 --> 00:21:15.159 align:start position:0% question if you can compare IO with food 00:21:15.159 --> 00:21:17.470 align:start position:0% question if you can compare IO with food what<00:21:15.320> would 00:21:17.470 --> 00:21:17.480 align:start position:0% what would 00:21:17.480 --> 00:21:18.520 align:start position:0% what would be 00:21:18.520 --> 00:21:18.530 align:start position:0% be 00:21:18.530 --> 00:21:21.269 align:start position:0% be [Music] 00:21:21.269 --> 00:21:21.279 align:start position:0% [Music] 00:21:21.279 --> 00:21:24.310 align:start position:0% [Music] um<00:21:22.279> I<00:21:22.360> don't<00:21:22.720> know<00:21:23.440> probably<00:21:23.799> the<00:21:23.919> hardest 00:21:24.310 --> 00:21:24.320 align:start position:0% um I don't know probably the hardest 00:21:24.320 --> 00:21:27.630 align:start position:0% um I don't know probably the hardest question<00:21:24.600> you've<00:21:24.840> got<00:21:25.039> in<00:21:25.679> this<00:21:26.679> I<00:21:26.799> see<00:21:27.360> it 00:21:27.630 --> 00:21:27.640 align:start position:0% question you've got in this I see it 00:21:27.640 --> 00:21:30.190 align:start position:0% question you've got in this I see it seems<00:21:27.919> to<00:21:28.080> be<00:21:28.240> some<00:21:28.720> kind<00:21:28.880> of<00:21:29.120> like<00:21:29.640> food<00:21:30.039> that 00:21:30.190 --> 00:21:30.200 align:start position:0% seems to be some kind of like food that 00:21:30.200 --> 00:21:33.310 align:start position:0% seems to be some kind of like food that consumes<00:21:30.679> all<00:21:30.840> of<00:21:31.000> the<00:21:31.159> food<00:21:31.760> so<00:21:32.039> like 00:21:33.310 --> 00:21:33.320 align:start position:0% consumes all of the food so like 00:21:33.320 --> 00:21:38.070 align:start position:0% consumes all of the food so like atoms<00:21:34.320> yeah<00:21:34.799> okay<00:21:35.480> yeah<00:21:36.080> yeah<00:21:36.799> okay<00:21:37.200> carbon 00:21:38.070 --> 00:21:38.080 align:start position:0% atoms yeah okay yeah yeah okay carbon 00:21:38.080 --> 00:21:41.269 align:start position:0% atoms yeah okay yeah yeah okay carbon yeah<00:21:38.440> that's<00:21:38.960> a<00:21:39.440> good<00:21:40.360> that's<00:21:40.480> a<00:21:40.640> good<00:21:40.880> closing 00:21:41.269 --> 00:21:41.279 align:start position:0% yeah that's a good that's a good closing 00:21:41.279 --> 00:21:44.029 align:start position:0% yeah that's a good that's a good closing for<00:21:41.480> your<00:21:41.640> present<00:21:42.320> bar<00:21:42.720> thank<00:21:42.919> you<00:21:43.200> so<00:21:43.440> much 00:21:44.029 --> 00:21:44.039 align:start position:0% for your present bar thank you so much 00:21:44.039 --> 00:21:46.870 align:start position:0% for your present bar thank you so much it's<00:21:44.279> very<00:21:44.559> cool<00:21:44.760> to<00:21:44.880> learn<00:21:45.200> more<00:21:45.559> about<00:21:46.080> IO 00:21:46.870 --> 00:21:46.880 align:start position:0% it's very cool to learn more about IO 00:21:46.880 --> 00:21:50.840 align:start position:0% it's very cool to learn more about IO everyone<00:21:47.240> give<00:21:47.360> it<00:21:47.480> up<00:21:47.640> for<00:21:47.840> Barry