# Programmable Cryptography and Smart Contract

- Speakers: [Shouki Tsuda](https://streameth.org/speakers/shouki-tsuda)
- Channel: [Devcon 7 SEA](https://streameth.org/devcon_7_sea)
- Date: 2024-11-13
- Duration: 05:55
- Watch: https://streameth.org/watch/67343c949dbb7a90e1b18d92

## Description

Overview
In some use cases, developers may want to execute smart contracts based on the results of FHE or MPC execution. This session will introduce several design patterns for such use cases and show how Programmable Cryptography can be applied to dApps.

In detail
The results of FHE executions are encrypted and need to be designed to be processed by smart contracts. In addition, the MPC+ZK-based method can solve the private state problem relatively easily using the conventional SNARK verifier.

## About the speakers

### Shouki Tsuda

I'm a developer and researcher working in the blockchain industry since 2018. I have worked on the development of protocol layers in several projects. Mainly based in Japan, in recent years I have been researching a wide range of cryptographic theory applications, including zero-knowledge proofs, MPC and FHE.I'm also active in community building and have led Bitpickers, a developer community, for the past few years. Recently organised the Progcrypto Camp, a cryptography camp in Japan.


## Transcript

音楽通常のクリプトグラフィックスタッフのRCとして今回はZKPとセキュアコンピューティングを オフチェーンエクスクションに基づくスマートコントラクトを 運用する方法についてお話ししますまずはZKPとスマートコントラーって コーディハーブソリッティベイファイアーウェッチネイルと プレディアスベイファイアーコントラークそれキャンベルファイザー gkp オンチェーン トランスファーズアセットエニア次回はZKP、FHE、NPCでのコンピュータを発表します。後で話します。このセクションでは、FHEとスマートコントラクトをどうインテグレートするかについて話します。FHEの基本理由はエンクリプトエバリエーションです。エンクリプトをできる人レーションand only who can decrypt is just clientso it is difficult to integrate with smart contract by defaultif we using smart contractwe need to share the encrypted resultand also decryption key by client sidebut it does not make sense to achieve the secure computingrightおそびでクリアンサイトバーイティズノーメッセンスとアチーブさせてよかんぴょーてぃんばーさまーふぃーはばーそーしょん コンバイウェイズ jkp を mpcそば5 fhe is a カンティークリーンプルーザー fh エヴァレーションアンド b キャンベルファー8音ちゃーんアザイメーション b 4 b ジャイユーザー3 db ファイアーアンマーチケースチーズリトルビッドファーエンスコンセプト s スペインディクションキーアンシェア8ツーザーサーブパティコントラクトは何でもいいです2つのスタッフはとてもクールですがどうしてもスマートコントラクトにインテグレートしやすくなっています時間の証明とディアの問題に重ねています次のセクションはNPCとスマートコントラクトのインテグレートですNPCのコンセプトはコラボレーションを評価することです各パーティーはコンフィニシャルデータを コラボレーションを評価し結果を得るためにコンポジションを 作成しますこの時はスマートコントラクトと インテグレートを使いませんしかしこの問題を解決する方法を想像できます。例えば、ZKPやFHEと組み合わせることができます。NPCのベリファイアは、FHEのベリファイアと同じコンセプトです。NPCのエクスクをベリファイアで、Smart Contractでベリファイアを使認することで、Smart Contractを使用して、Solidity Verifierを使用します。また、コラボレーションスナックはNPCと同じように、ZKPとNPCを組み合わせます。しかし、これはコラボレーションスナックの場合は、コラボレーションナックスの サービスはコラボレーターにプログラムを生成していますユーザーはNPCにプログラムを 送ることができませんではセッションを終わりにしますオフチェーンのエクスクションや クリプトグラフィーのプログラム化クリプトグラフィーで スマートコントラクトを運用する方法を紹介します主なアイデアは ソリッドベリファイアとオンチェーンベラフィーはクールでサイリアムやブロックチェーンテクノロジーをエンパワーできることができます私は何か問題について考えていますプログラムの時間やデーラーの問題以上ですありがとうございましたありがとうございました質問は Thank you. Thank you, Shoki, for the session. Do we have questions for our speaker? No question? Oh, good. I forgot my volleyball lessons. Yeah, I wanted to understand what other implementations are there, like any use cases or example of FHE? Yeah, one of the FHE use cases is kind of evaluation of stats, like off-chain stats, like a bank account or 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 get some break you Okay. All right. Since there's no more questions, I'd love to give some break. You know, when the classroom is tense like this, you need to allow people to have some time. So please, you can get up.