WEBVTT
Kind: captions
Language: en

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

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

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

00:00:09.230 --> 00:00:09.240 align:start position:0%
[Music]
 

00:00:09.240 --> 00:00:11.350 align:start position:0%
[Music]
so<00:00:09.599><c> today</c><00:00:09.880><c> I</c><00:00:09.960><c> want</c><00:00:10.200><c> talking</c><00:00:10.480><c> about</c><00:00:10.759><c> my</c><00:00:10.920><c> current</c>

00:00:11.350 --> 00:00:11.360 align:start position:0%
so today I want talking about my current
 

00:00:11.360 --> 00:00:15.029 align:start position:0%
so today I want talking about my current
research<00:00:12.160><c> program</c><00:00:12.559><c> cryptography</c><00:00:13.280><c> and</c><00:00:13.480><c> smart</c>

00:00:15.029 --> 00:00:15.039 align:start position:0%
research program cryptography and smart
 

00:00:15.039 --> 00:00:18.750 align:start position:0%
research program cryptography and smart
contract<00:00:16.039><c> so</c><00:00:16.440><c> program</c><00:00:16.960><c> cryptography</c><00:00:17.960><c> is</c><00:00:18.400><c> more</c>

00:00:18.750 --> 00:00:18.760 align:start position:0%
contract so program cryptography is more
 

00:00:18.760 --> 00:00:21.550 align:start position:0%
contract so program cryptography is more
flexible<00:00:19.760><c> than</c><00:00:20.359><c> traditional</c><00:00:20.960><c> cryptography</c>

00:00:21.550 --> 00:00:21.560 align:start position:0%
flexible than traditional cryptography
 

00:00:21.560 --> 00:00:25.109 align:start position:0%
flexible than traditional cryptography
Styles<00:00:22.119><c> like</c><00:00:22.560><c> uh</c><00:00:23.080><c> RC</c><00:00:24.080><c> so</c><00:00:24.439><c> this</c><00:00:24.640><c> time</c><00:00:24.880><c> I'm</c>

00:00:25.109 --> 00:00:25.119 align:start position:0%
Styles like uh RC so this time I'm
 

00:00:25.119 --> 00:00:27.589 align:start position:0%
Styles like uh RC so this time I'm
talking<00:00:25.480><c> about</c><00:00:25.920><c> how</c><00:00:26.039><c> to</c><00:00:26.240><c> run</c><00:00:26.599><c> smart</c><00:00:26.960><c> contract</c>

00:00:27.589 --> 00:00:27.599 align:start position:0%
talking about how to run smart contract
 

00:00:27.599 --> 00:00:30.550 align:start position:0%
talking about how to run smart contract
based<00:00:27.880><c> on</c><00:00:28.720><c> uh</c><00:00:28.840><c> offchain</c><00:00:29.279><c> execution</c>

00:00:30.550 --> 00:00:30.560 align:start position:0%
based on uh offchain execution
 

00:00:30.560 --> 00:00:33.150 align:start position:0%
based on uh offchain execution
by<00:00:30.800><c> zkp</c><00:00:31.640><c> and</c><00:00:31.880><c> secure</c>

00:00:33.150 --> 00:00:33.160 align:start position:0%
by zkp and secure
 

00:00:33.160 --> 00:00:36.190 align:start position:0%
by zkp and secure
Computing<00:00:34.160><c> at</c><00:00:34.399><c> first</c><00:00:34.960><c> let's</c><00:00:35.160><c> talk</c><00:00:35.360><c> about</c><00:00:35.600><c> zkp</c>

00:00:36.190 --> 00:00:36.200 align:start position:0%
Computing at first let's talk about zkp
 

00:00:36.200 --> 00:00:37.549 align:start position:0%
Computing at first let's talk about zkp
and<00:00:36.360><c> smart</c>

00:00:37.549 --> 00:00:37.559 align:start position:0%
and smart
 

00:00:37.559 --> 00:00:41.310 align:start position:0%
and smart
contract<00:00:38.559><c> so</c><00:00:38.879><c> it</c><00:00:39.000><c> is</c><00:00:39.239><c> easy</c><00:00:39.640><c> to</c><00:00:40.120><c> integrate</c><00:00:40.760><c> with</c>

00:00:41.310 --> 00:00:41.320 align:start position:0%
contract so it is easy to integrate with
 

00:00:41.320 --> 00:00:44.270 align:start position:0%
contract so it is easy to integrate with
smart<00:00:41.719><c> contract</c><00:00:42.480><c> because</c><00:00:42.840><c> we</c><00:00:43.120><c> have</c><00:00:43.480><c> a</c>

00:00:44.270 --> 00:00:44.280 align:start position:0%
smart contract because we have a
 

00:00:44.280 --> 00:00:48.630 align:start position:0%
smart contract because we have a
solier<00:00:45.280><c> which</c><00:00:45.520><c> en</c><00:00:45.960><c> to</c><00:00:46.840><c> uh</c><00:00:47.399><c> produce</c><00:00:47.840><c> a</c><00:00:48.120><c> verifier</c>

00:00:48.630 --> 00:00:48.640 align:start position:0%
solier which en to uh produce a verifier
 

00:00:48.640 --> 00:00:51.670 align:start position:0%
solier which en to uh produce a verifier
contract<00:00:49.480><c> so</c><00:00:49.719><c> we</c><00:00:49.840><c> can</c><00:00:50.079><c> verify</c><00:00:50.559><c> the</c><00:00:50.840><c> zkp</c><00:00:51.440><c> on</c>

00:00:51.670 --> 00:00:51.680 align:start position:0%
contract so we can verify the zkp on
 

00:00:51.680 --> 00:00:54.869 align:start position:0%
contract so we can verify the zkp on
chain<00:00:52.559><c> and</c><00:00:52.800><c> transfer</c><00:00:53.559><c> asset</c><00:00:54.039><c> to</c><00:00:54.399><c> any</c><00:00:54.600><c> other</c>

00:00:54.869 --> 00:00:54.879 align:start position:0%
chain and transfer asset to any other
 

00:00:54.879 --> 00:00:57.270 align:start position:0%
chain and transfer asset to any other
appr<00:00:55.320><c> or</c><00:00:55.559><c> something</c><00:00:55.920><c> like</c>

00:00:57.270 --> 00:00:57.280 align:start position:0%
appr or something like
 

00:00:57.280 --> 00:01:01.349 align:start position:0%
appr or something like
that<00:00:58.280><c> and</c><00:00:58.440><c> so</c><00:00:58.879><c> we</c><00:00:59.199><c> can</c><00:00:59.559><c> combine</c><00:01:00.239><c> with</c><00:01:00.399><c> zkp</c><00:01:01.120><c> and</c>

00:01:01.349 --> 00:01:01.359 align:start position:0%
that and so we can combine with zkp and
 

00:01:01.359 --> 00:01:04.550 align:start position:0%
that and so we can combine with zkp and
FH<00:01:01.800><c> and</c><00:01:01.960><c> NPC</c><00:01:02.800><c> and</c><00:01:03.039><c> produce</c><00:01:03.519><c> a</c><00:01:03.800><c> veriable</c>

00:01:04.550 --> 00:01:04.560 align:start position:0%
FH and NPC and produce a veriable
 

00:01:04.560 --> 00:01:09.429 align:start position:0%
FH and NPC and produce a veriable
computation<00:01:05.560><c> I</c><00:01:05.640><c> will</c><00:01:05.920><c> talking</c><00:01:06.240><c> about</c><00:01:06.560><c> this</c>

00:01:09.429 --> 00:01:09.439 align:start position:0%
 
 

00:01:09.439 --> 00:01:12.870 align:start position:0%
 
later<00:01:10.439><c> yeah</c><00:01:10.680><c> so</c><00:01:11.159><c> this</c><00:01:11.720><c> section</c><00:01:12.200><c> I</c><00:01:12.320><c> am</c><00:01:12.560><c> talking</c>

00:01:12.870 --> 00:01:12.880 align:start position:0%
later yeah so this section I am talking
 

00:01:12.880 --> 00:01:16.870 align:start position:0%
later yeah so this section I am talking
about<00:01:13.400><c> how</c><00:01:13.600><c> to</c><00:01:13.799><c> integrate</c><00:01:14.400><c> with</c><00:01:15.040><c> f</c><00:01:16.040><c> smart</c>

00:01:16.870 --> 00:01:16.880 align:start position:0%
about how to integrate with f smart
 

00:01:16.880 --> 00:01:21.230 align:start position:0%
about how to integrate with f smart
contract<00:01:17.880><c> the</c><00:01:18.080><c> basic</c><00:01:18.560><c> principle</c><00:01:19.280><c> of</c><00:01:19.560><c> fhe</c><00:01:20.560><c> is</c>

00:01:21.230 --> 00:01:21.240 align:start position:0%
contract the basic principle of fhe is
 

00:01:21.240 --> 00:01:22.670 align:start position:0%
contract the basic principle of fhe is
encrypted

00:01:22.670 --> 00:01:22.680 align:start position:0%
encrypted
 

00:01:22.680 --> 00:01:27.830 align:start position:0%
encrypted
evaluation<00:01:23.680><c> and</c><00:01:24.000><c> only</c><00:01:24.360><c> F</c><00:01:24.640><c> can</c><00:01:24.840><c> de</c><00:01:25.520><c> is</c><00:01:26.119><c> just</c>

00:01:27.830 --> 00:01:27.840 align:start position:0%
evaluation and only F can de is just
 

00:01:27.840 --> 00:01:31.030 align:start position:0%
evaluation and only F can de is just
client<00:01:28.840><c> so</c><00:01:29.240><c> it</c><00:01:29.360><c> is</c><00:01:29.759><c> difficult</c><00:01:30.200><c> to</c><00:01:30.439><c> integrate</c>

00:01:31.030 --> 00:01:31.040 align:start position:0%
client so it is difficult to integrate
 

00:01:31.040 --> 00:01:35.109 align:start position:0%
client so it is difficult to integrate
with<00:01:31.280><c> smart</c><00:01:31.680><c> contract</c><00:01:32.560><c> by</c><00:01:33.280><c> default</c><00:01:34.280><c> if</c><00:01:34.520><c> we</c>

00:01:35.109 --> 00:01:35.119 align:start position:0%
with smart contract by default if we
 

00:01:35.119 --> 00:01:37.710 align:start position:0%
with smart contract by default if we
using<00:01:35.520><c> smart</c><00:01:35.880><c> contract</c><00:01:36.640><c> we</c><00:01:36.799><c> need</c><00:01:37.040><c> to</c><00:01:37.240><c> share</c>

00:01:37.710 --> 00:01:37.720 align:start position:0%
using smart contract we need to share
 

00:01:37.720 --> 00:01:41.590 align:start position:0%
using smart contract we need to share
the<00:01:38.600><c> encryp</c><00:01:39.159><c> result</c><00:01:39.720><c> and</c><00:01:40.159><c> uh</c><00:01:40.399><c> also</c><00:01:40.960><c> decretion</c>

00:01:41.590 --> 00:01:41.600 align:start position:0%
the encryp result and uh also decretion
 

00:01:41.600 --> 00:01:44.990 align:start position:0%
the encryp result and uh also decretion
Key<00:01:42.079><c> by</c><00:01:42.600><c> client</c><00:01:43.119><c> side</c><00:01:43.759><c> but</c><00:01:44.200><c> it</c><00:01:44.320><c> does</c><00:01:44.520><c> not</c><00:01:44.719><c> make</c>

00:01:44.990 --> 00:01:45.000 align:start position:0%
Key by client side but it does not make
 

00:01:45.000 --> 00:01:49.830 align:start position:0%
Key by client side but it does not make
sense<00:01:45.320><c> to</c><00:01:45.920><c> achieve</c><00:01:46.360><c> the</c><00:01:46.640><c> secure</c><00:01:47.079><c> Computing</c>

00:01:49.830 --> 00:01:49.840 align:start position:0%
sense to achieve the secure Computing
 

00:01:49.840 --> 00:01:54.030 align:start position:0%
sense to achieve the secure Computing
right<00:01:50.840><c> but</c><00:01:51.159><c> somehow</c><00:01:51.759><c> we</c><00:01:52.000><c> have</c><00:01:52.240><c> a</c><00:01:52.719><c> solution</c><00:01:53.719><c> to</c>

00:01:54.030 --> 00:01:54.040 align:start position:0%
right but somehow we have a solution to
 

00:01:54.040 --> 00:01:56.870 align:start position:0%
right but somehow we have a solution to
combine<00:01:54.600><c> with</c><00:01:55.119><c> gkp</c><00:01:55.880><c> or</c>

00:01:56.870 --> 00:01:56.880 align:start position:0%
combine with gkp or
 

00:01:56.880 --> 00:02:00.389 align:start position:0%
combine with gkp or
NPC<00:01:57.880><c> so</c><00:01:58.159><c> verifiable</c><00:01:58.799><c> FH</c><00:01:59.560><c> is</c><00:01:59.920><c> a</c><00:02:00.079><c> kind</c><00:02:00.240><c> of</c>

00:02:00.389 --> 00:02:00.399 align:start position:0%
NPC so verifiable FH is a kind of
 

00:02:00.399 --> 00:02:02.190 align:start position:0%
NPC so verifiable FH is a kind of
technique<00:02:00.840><c> to</c><00:02:01.039><c> prove</c>

00:02:02.190 --> 00:02:02.200 align:start position:0%
technique to prove
 

00:02:02.200 --> 00:02:06.510 align:start position:0%
technique to prove
the<00:02:03.200><c> FH</c><00:02:04.039><c> evaluation</c><00:02:05.039><c> and</c><00:02:05.320><c> we</c><00:02:05.479><c> can</c><00:02:05.799><c> verify</c><00:02:06.320><c> it</c>

00:02:06.510 --> 00:02:06.520 align:start position:0%
the FH evaluation and we can verify it
 

00:02:06.520 --> 00:02:09.070 align:start position:0%
the FH evaluation and we can verify it
on<00:02:06.759><c> chain</c><00:02:07.320><c> as</c><00:02:07.479><c> I</c><00:02:07.640><c> mention</c><00:02:08.039><c> before</c><00:02:08.479><c> we</c><00:02:08.599><c> can</c><00:02:08.800><c> use</c>

00:02:09.070 --> 00:02:09.080 align:start position:0%
on chain as I mention before we can use
 

00:02:09.080 --> 00:02:10.390 align:start position:0%
on chain as I mention before we can use
a

00:02:10.390 --> 00:02:10.400 align:start position:0%
a
 

00:02:10.400 --> 00:02:13.630 align:start position:0%
a
cier<00:02:11.400><c> and</c><00:02:11.560><c> m</c><00:02:12.319><c> is</c><00:02:12.520><c> little</c><00:02:12.720><c> bit</c><00:02:12.959><c> different</c>

00:02:13.630 --> 00:02:13.640 align:start position:0%
cier and m is little bit different
 

00:02:13.640 --> 00:02:17.270 align:start position:0%
cier and m is little bit different
concept<00:02:14.640><c> it's</c><00:02:15.120><c> spit</c><00:02:15.640><c> the</c><00:02:15.879><c> decretion</c><00:02:16.400><c> key</c><00:02:17.120><c> and</c>

00:02:17.270 --> 00:02:17.280 align:start position:0%
concept it's spit the decretion key and
 

00:02:17.280 --> 00:02:19.990 align:start position:0%
concept it's spit the decretion key and
share<00:02:17.680><c> it</c><00:02:17.920><c> to</c><00:02:18.200><c> the</c><00:02:18.519><c> third</c><00:02:18.879><c> party</c><00:02:19.400><c> like</c><00:02:19.519><c> a</c><00:02:19.680><c> smart</c>

00:02:19.990 --> 00:02:20.000 align:start position:0%
share it to the third party like a smart
 

00:02:20.000 --> 00:02:21.150 align:start position:0%
share it to the third party like a smart
contract

00:02:21.150 --> 00:02:21.160 align:start position:0%
contract
 

00:02:21.160 --> 00:02:24.150 align:start position:0%
contract
whatever<00:02:22.160><c> both</c><00:02:22.360><c> of</c><00:02:22.560><c> two</c><00:02:22.800><c> stuff</c><00:02:23.080><c> is</c><00:02:23.239><c> so</c><00:02:23.560><c> cool</c>

00:02:24.150 --> 00:02:24.160 align:start position:0%
whatever both of two stuff is so cool
 

00:02:24.160 --> 00:02:27.589 align:start position:0%
whatever both of two stuff is so cool
but<00:02:24.680><c> somehow</c><00:02:25.319><c> it</c><00:02:25.400><c> is</c><00:02:25.879><c> difficult</c><00:02:26.120><c> to</c><00:02:26.720><c> integrate</c>

00:02:27.589 --> 00:02:27.599 align:start position:0%
but somehow it is difficult to integrate
 

00:02:27.599 --> 00:02:30.550 align:start position:0%
but somehow it is difficult to integrate
the<00:02:27.840><c> smart</c><00:02:28.319><c> contract</c><00:02:29.319><c> on</c><00:02:29.519><c> top</c><00:02:29.720><c> of</c><00:02:30.080><c> the</c><00:02:30.200><c> proof</c>

00:02:30.550 --> 00:02:30.560 align:start position:0%
the smart contract on top of the proof
 

00:02:30.560 --> 00:02:34.309 align:start position:0%
the smart contract on top of the proof
of<00:02:30.800><c> time</c><00:02:31.160><c> and</c><00:02:31.560><c> data</c>

00:02:34.309 --> 00:02:34.319 align:start position:0%
 
 

00:02:34.319 --> 00:02:37.589 align:start position:0%
 
problem<00:02:35.319><c> okay</c><00:02:35.560><c> so</c><00:02:35.959><c> next</c><00:02:36.239><c> section</c><00:02:36.720><c> is</c><00:02:37.239><c> how</c><00:02:37.400><c> to</c>

00:02:37.589 --> 00:02:37.599 align:start position:0%
problem okay so next section is how to
 

00:02:37.599 --> 00:02:41.070 align:start position:0%
problem okay so next section is how to
integrate<00:02:38.200><c> NPC</c><00:02:38.920><c> and</c><00:02:39.200><c> smart</c>

00:02:41.070 --> 00:02:41.080 align:start position:0%
integrate NPC and smart
 

00:02:41.080 --> 00:02:47.190 align:start position:0%
integrate NPC and smart
contract<00:02:42.080><c> the</c><00:02:42.319><c> concept</c><00:02:42.800><c> of</c><00:02:43.599><c> NPC</c><00:02:44.400><c> is</c><00:02:44.800><c> uh</c><00:02:45.560><c> evalu</c>

00:02:47.190 --> 00:02:47.200 align:start position:0%
contract the concept of NPC is uh evalu
 

00:02:47.200 --> 00:02:50.750 align:start position:0%
contract the concept of NPC is uh evalu
collaboratory<00:02:48.200><c> so</c><00:02:49.080><c> each</c><00:02:49.360><c> party</c><00:02:49.760><c> share</c><00:02:50.159><c> on</c>

00:02:50.750 --> 00:02:50.760 align:start position:0%
collaboratory so each party share on
 

00:02:50.760 --> 00:02:55.790 align:start position:0%
collaboratory so each party share on
bits<00:02:51.400><c> of</c><00:02:52.200><c> uh</c><00:02:53.120><c> confidential</c><00:02:53.720><c> data</c><00:02:54.480><c> and</c><00:02:54.800><c> cabor</c>

00:02:55.790 --> 00:02:55.800 align:start position:0%
bits of uh confidential data and cabor
 

00:02:55.800 --> 00:02:59.390 align:start position:0%
bits of uh confidential data and cabor
evaluate<00:02:56.360><c> it</c><00:02:56.959><c> and</c><00:02:57.319><c> compose</c><00:02:58.000><c> it</c><00:02:58.239><c> to</c><00:02:58.640><c> get</c><00:02:58.879><c> the</c>

00:02:59.390 --> 00:02:59.400 align:start position:0%
evaluate it and compose it to get the
 

00:02:59.400 --> 00:03:00.509 align:start position:0%
evaluate it and compose it to get the
result

00:03:00.509 --> 00:03:00.519 align:start position:0%
result
 

00:03:00.519 --> 00:03:02.869 align:start position:0%
result
so<00:03:00.760><c> in</c><00:03:00.959><c> this</c><00:03:01.159><c> time</c><00:03:01.480><c> we</c><00:03:01.680><c> don't</c><00:03:02.280><c> integrate</c><00:03:02.720><c> with</c>

00:03:02.869 --> 00:03:02.879 align:start position:0%
so in this time we don't integrate with
 

00:03:02.879 --> 00:03:04.990 align:start position:0%
so in this time we don't integrate with
smart

00:03:04.990 --> 00:03:05.000 align:start position:0%
smart
 

00:03:05.000 --> 00:03:07.910 align:start position:0%
smart
contract<00:03:06.000><c> however</c><00:03:06.879><c> I</c><00:03:06.959><c> think</c><00:03:07.159><c> you</c><00:03:07.319><c> can</c><00:03:07.519><c> imagine</c>

00:03:07.910 --> 00:03:07.920 align:start position:0%
contract however I think you can imagine
 

00:03:07.920 --> 00:03:10.229 align:start position:0%
contract however I think you can imagine
how<00:03:08.040><c> to</c><00:03:08.159><c> solve</c><00:03:08.480><c> this</c><00:03:08.720><c> problem</c><00:03:09.519><c> you</c><00:03:09.640><c> know</c><00:03:10.040><c> we</c>

00:03:10.229 --> 00:03:10.239 align:start position:0%
how to solve this problem you know we
 

00:03:10.239 --> 00:03:15.030 align:start position:0%
how to solve this problem you know we
can<00:03:11.040><c> combine</c><00:03:11.480><c> with</c><00:03:11.720><c> zkp</c><00:03:12.480><c> or</c><00:03:13.080><c> F</c><00:03:13.640><c> like</c><00:03:13.879><c> that</c><00:03:14.720><c> so</c>

00:03:15.030 --> 00:03:15.040 align:start position:0%
can combine with zkp or F like that so
 

00:03:15.040 --> 00:03:17.750 align:start position:0%
can combine with zkp or F like that so
verifiable<00:03:15.560><c> NPC</c><00:03:16.239><c> is</c><00:03:16.519><c> similar</c><00:03:16.920><c> concept</c><00:03:17.519><c> of</c>

00:03:17.750 --> 00:03:17.760 align:start position:0%
verifiable NPC is similar concept of
 

00:03:17.760 --> 00:03:20.550 align:start position:0%
verifiable NPC is similar concept of
verifiable<00:03:18.480><c> fhe</c><00:03:19.440><c> so</c><00:03:19.640><c> we</c><00:03:19.760><c> can</c><00:03:19.959><c> prove</c><00:03:20.319><c> the</c>

00:03:20.550 --> 00:03:20.560 align:start position:0%
verifiable fhe so we can prove the
 

00:03:20.560 --> 00:03:24.869 align:start position:0%
verifiable fhe so we can prove the
execution<00:03:21.319><c> of</c><00:03:21.680><c> NPC</c><00:03:22.599><c> and</c><00:03:22.879><c> verify</c><00:03:23.319><c> it</c><00:03:24.080><c> uh</c><00:03:24.599><c> by</c>

00:03:24.869 --> 00:03:24.879 align:start position:0%
execution of NPC and verify it uh by
 

00:03:24.879 --> 00:03:30.070 align:start position:0%
execution of NPC and verify it uh by
smart<00:03:25.280><c> contract</c><00:03:26.080><c> using</c><00:03:26.440><c> a</c><00:03:26.599><c> b</c><00:03:27.239><c> 3D</c><00:03:27.720><c> verier</c>

00:03:30.070 --> 00:03:30.080 align:start position:0%
smart contract using a b 3D verier
 

00:03:30.080 --> 00:03:34.750 align:start position:0%
smart contract using a b 3D verier
also<00:03:30.480><c> collaborative</c><00:03:31.080><c> snack</c><00:03:32.080><c> is</c><00:03:33.080><c> similar</c><00:03:33.480><c> to</c><00:03:33.879><c> B</c>

00:03:34.750 --> 00:03:34.760 align:start position:0%
also collaborative snack is similar to B
 

00:03:34.760 --> 00:03:38.509 align:start position:0%
also collaborative snack is similar to B
NPC<00:03:35.439><c> because</c><00:03:36.120><c> we</c><00:03:36.360><c> combine</c><00:03:36.799><c> the</c><00:03:37.000><c> dkp</c><00:03:37.439><c> and</c><00:03:37.560><c> NPC</c>

00:03:38.509 --> 00:03:38.519 align:start position:0%
NPC because we combine the dkp and NPC
 

00:03:38.519 --> 00:03:41.789 align:start position:0%
NPC because we combine the dkp and NPC
but<00:03:38.840><c> this</c><00:03:39.040><c> is</c><00:03:39.280><c> different</c><00:03:39.840><c> from</c><00:03:40.439><c> you</c><00:03:40.599><c> know</c><00:03:41.400><c> uh</c>

00:03:41.789 --> 00:03:41.799 align:start position:0%
but this is different from you know uh
 

00:03:41.799 --> 00:03:45.350 align:start position:0%
but this is different from you know uh
in<00:03:42.159><c> term</c><00:03:42.400><c> of</c><00:03:42.599><c> cor</c><00:03:43.439><c> snacks</c><00:03:44.439><c> uh</c><00:03:44.640><c> this</c><00:03:44.840><c> is</c><00:03:45.159><c> just</c>

00:03:45.350 --> 00:03:45.360 align:start position:0%
in term of cor snacks uh this is just
 

00:03:45.360 --> 00:03:48.910 align:start position:0%
in term of cor snacks uh this is just
generate<00:03:45.879><c> proof</c><00:03:46.360><c> collaborat</c><00:03:47.360><c> so</c><00:03:47.640><c> user</c><00:03:48.200><c> Ena</c><00:03:48.680><c> to</c>

00:03:48.910 --> 00:03:48.920 align:start position:0%
generate proof collaborat so user Ena to
 

00:03:48.920 --> 00:03:53.789 align:start position:0%
generate proof collaborat so user Ena to
delegate<00:03:49.439><c> the</c><00:03:49.680><c> proving</c><00:03:50.319><c> to</c>

00:03:53.789 --> 00:03:53.799 align:start position:0%
 
 

00:03:53.799 --> 00:03:58.429 align:start position:0%
 
NPC<00:03:54.799><c> okay</c><00:03:55.040><c> so</c><00:03:55.360><c> let's</c><00:03:55.599><c> wrap</c><00:03:55.959><c> up</c><00:03:56.239><c> my</c>

00:03:58.429 --> 00:03:58.439 align:start position:0%
NPC okay so let's wrap up my
 

00:03:58.439 --> 00:04:01.390 align:start position:0%
NPC okay so let's wrap up my
session<00:03:59.439><c> uh</c><00:03:59.799><c> I</c><00:03:59.959><c> introduce</c><00:04:00.519><c> how</c><00:04:00.680><c> to</c><00:04:00.920><c> run</c><00:04:01.239><c> the</c>

00:04:01.390 --> 00:04:01.400 align:start position:0%
session uh I introduce how to run the
 

00:04:01.400 --> 00:04:05.429 align:start position:0%
session uh I introduce how to run the
smart<00:04:01.799><c> contract</c><00:04:02.840><c> by</c><00:04:03.840><c> uh</c><00:04:04.000><c> offchain</c><00:04:04.799><c> execution</c>

00:04:05.429 --> 00:04:05.439 align:start position:0%
smart contract by uh offchain execution
 

00:04:05.439 --> 00:04:09.190 align:start position:0%
smart contract by uh offchain execution
of<00:04:05.680><c> program</c><00:04:06.879><c> cryptography</c><00:04:07.879><c> and</c><00:04:08.120><c> main</c><00:04:08.439><c> idea</c><00:04:08.959><c> is</c>

00:04:09.190 --> 00:04:09.200 align:start position:0%
of program cryptography and main idea is
 

00:04:09.200 --> 00:04:12.429 align:start position:0%
of program cryptography and main idea is
using<00:04:09.760><c> the</c><00:04:10.000><c> Sol</c><00:04:10.519><c> verifier</c><00:04:11.480><c> and</c><00:04:11.680><c> on</c>

00:04:12.429 --> 00:04:12.439 align:start position:0%
using the Sol verifier and on
 

00:04:12.439 --> 00:04:15.910 align:start position:0%
using the Sol verifier and on
verification<00:04:13.439><c> also</c><00:04:13.760><c> we</c><00:04:13.920><c> can</c><00:04:14.159><c> combine</c><00:04:14.760><c> with</c><00:04:15.640><c> uh</c>

00:04:15.910 --> 00:04:15.920 align:start position:0%
verification also we can combine with uh
 

00:04:15.920 --> 00:04:19.030 align:start position:0%
verification also we can combine with uh
each<00:04:16.239><c> Primitives</c><00:04:17.120><c> to</c><00:04:17.400><c> overcome</c><00:04:17.959><c> the</c><00:04:18.199><c> con</c><00:04:18.600><c> or</c>

00:04:19.030 --> 00:04:19.040 align:start position:0%
each Primitives to overcome the con or
 

00:04:19.040 --> 00:04:20.150 align:start position:0%
each Primitives to overcome the con or
some

00:04:20.150 --> 00:04:20.160 align:start position:0%
some
 

00:04:20.160 --> 00:04:23.310 align:start position:0%
some
Primitives<00:04:21.160><c> so</c><00:04:21.519><c> program</c><00:04:21.959><c> cryptography</c><00:04:22.759><c> is</c><00:04:22.960><c> so</c>

00:04:23.310 --> 00:04:23.320 align:start position:0%
Primitives so program cryptography is so
 

00:04:23.320 --> 00:04:26.710 align:start position:0%
Primitives so program cryptography is so
cool<00:04:23.800><c> and</c><00:04:24.199><c> we</c><00:04:24.360><c> can</c><00:04:24.800><c> ower</c><00:04:25.639><c> the</c><00:04:25.840><c> isum</c><00:04:26.520><c> and</c>

00:04:26.710 --> 00:04:26.720 align:start position:0%
cool and we can ower the isum and
 

00:04:26.720 --> 00:04:29.110 align:start position:0%
cool and we can ower the isum and
blockchain<00:04:27.199><c> Technology</c><00:04:27.759><c> as</c><00:04:27.919><c> well</c><00:04:28.639><c> and</c><00:04:29.000><c> I</c>

00:04:29.110 --> 00:04:29.120 align:start position:0%
blockchain Technology as well and I
 

00:04:29.120 --> 00:04:33.189 align:start position:0%
blockchain Technology as well and I
think<00:04:29.440><c> it</c><00:04:29.600><c> is</c><00:04:29.800><c> is</c><00:04:30.360><c> uh</c><00:04:30.479><c> we</c><00:04:30.639><c> need</c><00:04:30.840><c> to</c><00:04:31.320><c> more</c><00:04:32.320><c> uh</c><00:04:32.800><c> try</c>

00:04:33.189 --> 00:04:33.199 align:start position:0%
think it is is uh we need to more uh try
 

00:04:33.199 --> 00:04:35.710 align:start position:0%
think it is is uh we need to more uh try
to<00:04:33.600><c> some</c><00:04:34.000><c> issue</c><00:04:34.400><c> as</c><00:04:34.520><c> I</c><00:04:34.680><c> mentioned</c><00:04:35.039><c> before</c><00:04:35.520><c> like</c>

00:04:35.710 --> 00:04:35.720 align:start position:0%
to some issue as I mentioned before like
 

00:04:35.720 --> 00:04:39.350 align:start position:0%
to some issue as I mentioned before like
approving<00:04:36.320><c> time</c><00:04:36.680><c> or</c><00:04:37.039><c> datas</c><00:04:37.520><c> problem</c><00:04:38.520><c> yeah</c>

00:04:39.350 --> 00:04:39.360 align:start position:0%
approving time or datas problem yeah
 

00:04:39.360 --> 00:04:42.790 align:start position:0%
approving time or datas problem yeah
that's<00:04:39.600><c> it</c><00:04:40.160><c> thank</c>

00:04:42.790 --> 00:04:42.800 align:start position:0%
 
 

00:04:42.800 --> 00:04:46.830 align:start position:0%
 
you<00:04:43.800><c> thank</c><00:04:44.000><c> you</c><00:04:44.240><c> shi</c><00:04:45.240><c> for</c><00:04:45.720><c> the</c><00:04:45.960><c> session</c><00:04:46.520><c> do</c><00:04:46.639><c> we</c>

00:04:46.830 --> 00:04:46.840 align:start position:0%
you thank you shi for the session do we
 

00:04:46.840 --> 00:04:53.510 align:start position:0%
you thank you shi for the session do we
have<00:04:47.160><c> questions</c><00:04:47.759><c> for</c><00:04:48.160><c> our</c>

00:04:53.510 --> 00:04:53.520 align:start position:0%
 
 

00:04:53.520 --> 00:04:58.390 align:start position:0%
 
speaker<00:04:54.520><c> no</c><00:04:55.240><c> question</c><00:04:56.240><c> oh</c>

00:04:58.390 --> 00:04:58.400 align:start position:0%
speaker no question oh
 

00:04:58.400 --> 00:05:00.189 align:start position:0%
speaker no question oh
good<00:04:59.400><c> h</c>

00:05:00.189 --> 00:05:00.199 align:start position:0%
good h
 

00:05:00.199 --> 00:05:04.029 align:start position:0%
good h
I<00:05:00.960><c> sorry</c><00:05:01.840><c> I</c><00:05:01.960><c> forgot</c><00:05:02.280><c> my</c><00:05:02.720><c> volleyball</c>

00:05:04.029 --> 00:05:04.039 align:start position:0%
I sorry I forgot my volleyball
 

00:05:04.039 --> 00:05:06.670 align:start position:0%
I sorry I forgot my volleyball
lessons<00:05:05.039><c> yeah</c><00:05:05.160><c> I</c><00:05:05.240><c> wanted</c><00:05:05.479><c> to</c><00:05:05.960><c> understand</c><00:05:06.520><c> uh</c>

00:05:06.670 --> 00:05:06.680 align:start position:0%
lessons yeah I wanted to understand uh
 

00:05:06.680 --> 00:05:08.510 align:start position:0%
lessons yeah I wanted to understand uh
what<00:05:06.880><c> other</c><00:05:07.199><c> implementations</c><00:05:08.039><c> are</c><00:05:08.320><c> there</c>

00:05:08.510 --> 00:05:08.520 align:start position:0%
what other implementations are there
 

00:05:08.520 --> 00:05:12.230 align:start position:0%
what other implementations are there
like<00:05:08.639><c> any</c><00:05:08.840><c> use</c><00:05:09.160><c> cases</c><00:05:09.360><c> or</c><00:05:09.560><c> example</c><00:05:10.440><c> where</c><00:05:11.240><c> F</c>

00:05:12.230 --> 00:05:12.240 align:start position:0%
like any use cases or example where F
 

00:05:12.240 --> 00:05:16.510 align:start position:0%
like any use cases or example where F
yeah<00:05:12.639><c> uh</c><00:05:12.919><c> one</c><00:05:13.080><c> of</c><00:05:13.240><c> the</c><00:05:13.520><c> big</c><00:05:14.520><c> FH</c><00:05:15.000><c> is</c><00:05:15.440><c> use</c><00:05:15.720><c> case</c><00:05:16.120><c> is</c>

00:05:16.510 --> 00:05:16.520 align:start position:0%
yeah uh one of the big FH is use case is
 

00:05:16.520 --> 00:05:20.430 align:start position:0%
yeah uh one of the big FH is use case is
kind<00:05:16.720><c> of</c><00:05:17.000><c> evaluation</c><00:05:17.960><c> of</c><00:05:18.960><c> uh</c><00:05:19.120><c> stats</c><00:05:19.919><c> like</c>

00:05:20.430 --> 00:05:20.440 align:start position:0%
kind of evaluation of uh stats like
 

00:05:20.440 --> 00:05:23.749 align:start position:0%
kind of evaluation of uh stats like
offchain<00:05:21.000><c> stats</c><00:05:21.880><c> like</c><00:05:22.000><c> a</c><00:05:22.199><c> bank</c><00:05:22.560><c> account</c><00:05:23.199><c> or</c>

00:05:23.749 --> 00:05:23.759 align:start position:0%
offchain stats like a bank account or
 

00:05:23.759 --> 00:05:27.909 align:start position:0%
offchain stats like a bank account or
GPA<00:05:24.479><c> or</c><00:05:24.720><c> something</c><00:05:25.080><c> like</c><00:05:25.319><c> that</c><00:05:25.759><c> I</c>

00:05:27.909 --> 00:05:27.919 align:start position:0%
 
 

00:05:27.919 --> 00:05:38.230 align:start position:0%
 
think<00:05:28.919><c> next</c><00:05:29.240><c> question</c>

00:05:38.230 --> 00:05:38.240 align:start position:0%
 
 

00:05:38.240 --> 00:05:44.350 align:start position:0%
 
okay<00:05:39.240><c> next</c>

00:05:44.350 --> 00:05:44.360 align:start position:0%
 
 

00:05:44.360 --> 00:05:47.430 align:start position:0%
 
question<00:05:45.360><c> okay</c><00:05:46.199><c> all</c><00:05:46.360><c> right</c><00:05:46.759><c> since</c><00:05:47.039><c> there's</c><00:05:47.280><c> no</c>

00:05:47.430 --> 00:05:47.440 align:start position:0%
question okay all right since there's no
 

00:05:47.440 --> 00:05:49.510 align:start position:0%
question okay all right since there's no
more<00:05:47.720><c> question</c><00:05:48.240><c> I</c><00:05:48.400><c> love</c><00:05:48.600><c> to</c><00:05:48.720><c> give</c><00:05:48.880><c> some</c><00:05:49.080><c> break</c>

00:05:49.510 --> 00:05:49.520 align:start position:0%
more question I love to give some break
 

00:05:49.520 --> 00:05:51.150 align:start position:0%
more question I love to give some break
you<00:05:49.639><c> know</c><00:05:49.840><c> when</c><00:05:50.000><c> the</c><00:05:50.160><c> classroom</c><00:05:50.639><c> stands</c><00:05:51.000><c> like</c>

00:05:51.150 --> 00:05:51.160 align:start position:0%
you know when the classroom stands like
 

00:05:51.160 --> 00:05:52.749 align:start position:0%
you know when the classroom stands like
this<00:05:51.319><c> you</c><00:05:51.400><c> need</c><00:05:51.520><c> to</c><00:05:51.759><c> allow</c><00:05:52.039><c> people</c><00:05:52.240><c> to</c><00:05:52.600><c> have</c>

00:05:52.749 --> 00:05:52.759 align:start position:0%
this you need to allow people to have
 

00:05:52.759 --> 00:05:57.199 align:start position:0%
this you need to allow people to have
some<00:05:53.000><c> time</c><00:05:53.360><c> so</c><00:05:53.520><c> please</c><00:05:53.800><c> you</c><00:05:53.960><c> can</c><00:05:54.840><c> get</c><00:05:54.960><c> up</c>