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.

Stage 4

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.