zama-ai/tfhe-rs

If/else branching

VladChernenko opened this issue · 2 comments

VladChernenko commented

GM, guys!

I appreciate your projects and would like to ask a question:

On the Internet, I noticed that the issue of branching (if/else) is an area for research, but judging by the presence of functionality select in your Solidity contract for fhevm you allow the logic to be executed.

We would like to use Zama's capabilities in our Klyntar project, since we have support for two virtual machines - WASM and EVM. We already have support for ZK natively(afer hooking CALL opcode) and we would like to add FHE functionality to create FHE XVM so that users can use this from their smart contracts.

But we really had problems with the fact that without understanding how we can add if/else, it will be impossible to write Turing complete logic.

Initially, we wanted to use your Rust library, but I did not see an alternative to select in this library.

Maybe you could give us some code snippet that would help us?

Or maybe it’s worth considering the option of an off-chain oracle? But how can this process be decentralized in this case?

Thanks in advance for your answer!

VladChernenko commented

UPD: OMG, just noticed appropriate operation in this lib🤣 🤣 🤣 . Here. Sorry, going to close the issue)

Thank for your work guys!

P.S: Honestly, we follow you and going to use maximum of your functionality in our project, so looking forward for cooperation🤝

  1. For example, we want to add FHE to $KLY - our L1 promising project with tons of cool tech-features, including FHE for easy usage within EVM/WASM VMs

  2. We have a cool feature like RWX(real-world-execution) smart-contracts - a codeless approach to create deals in real world verbally and protect it using blockchain & decentralization. In our roadmap we add the AI as a third step and FHE / ZK ML as the last stage to help to mediate conflicts from real world. You even liked the Twitter(X) post here. Also, noticed that you have a good demo on HuggingFace related to FHE in GPT model(here). Awesome🔥 Exactly what we need.

For example, this is a high-level scheme of conflict resolution using FHE ML and decentralized pool of validators

FHE_ML_RWX_KLY drawio

We keep follow your progress and amazing work for future coop)

  • 👍1