[Music]
so today I want talking about my current
research program cryptography and smart
contract so program cryptography is more
flexible than traditional cryptography
Styles like uh RC so this time I'm
talking about how to run smart contract
based on uh offchain execution
by zkp and secure
Computing at first let's talk about zkp
and smart
contract so it is easy to integrate with
smart contract because we have a
solier which en to uh produce a verifier
contract so we can verify the zkp on
chain and transfer asset to any other
appr or something like
that and so we can combine with zkp and
FH and NPC and produce a veriable
computation I will talking about this
later yeah so this section I am talking
about how to integrate with f smart
contract the basic principle of fhe is
encrypted
evaluation and only F can de is just
client so it is difficult to integrate
with smart contract by default if we
using smart contract we need to share
the encryp result and uh also decretion
Key by client side but it does not make
sense to achieve the secure Computing
right but somehow we have a solution to
combine with gkp or
NPC so verifiable FH is a kind of
technique to prove
the FH evaluation and we can verify it
on chain as I mention before we can use
a
cier and m is little bit different
concept it's spit the decretion key and
share it to the third party like a smart
contract
whatever both of two stuff is so cool
but somehow it is difficult to integrate
the smart contract on top of the proof
of time and data
problem okay so next section is how to
integrate NPC and smart
contract the concept of NPC is uh evalu
collaboratory so each party share on
bits of uh confidential data and cabor
evaluate it and compose it to get the
result
so in this time we don't integrate with
smart
contract however I think you can imagine
how to solve this problem you know we
can combine with zkp or F like that so
verifiable NPC is similar concept of
verifiable fhe so we can prove the
execution of NPC and verify it uh by
smart contract using a b 3D verier
also collaborative snack is similar to B
NPC because we combine the dkp and NPC
but this is different from you know uh
in term of cor snacks uh this is just
generate proof collaborat so user Ena to
delegate the proving to
NPC okay so let's wrap up my
session uh I introduce how to run the
smart contract by uh offchain execution
of program cryptography and main idea is
using the Sol verifier and on
verification also we can combine with uh
each Primitives to overcome the con or
some
Primitives so program cryptography is so
cool and we can ower the isum and
blockchain Technology as well and I
think it is is uh we need to more uh try
to some issue as I mentioned before like
approving time or datas problem yeah
that's it thank
you thank you shi for the session do we
have questions for our
speaker no question oh
good h
I sorry I forgot my volleyball
lessons yeah I wanted to understand uh
what other implementations are there
like any use cases or example where F
yeah uh one of the big FH is use case is
kind of evaluation of uh stats like
offchain stats like a bank account or
GPA or something like that I
think next question
okay next
question okay all right since there's no
more question I love to give some break
you know when the classroom stands like
this you need to allow people to have
some time so please you can get up