Skip to content
This repository was archived by the owner on Jun 11, 2025. It is now read-only.

docs: add fhevm/fundamentals #6

Merged
merged 1 commit into from
Aug 16, 2024
Merged

Conversation

dartdart26
Copy link
Collaborator

No description provided.

@dartdart26 dartdart26 self-assigned this Aug 15, 2024

Symbolic execution on the blockchain is implemented via the [Coprocessor](https://github.com/zama-ai/fhevm/blob/main/lib/TFHEExecutor.sol) contract. One of the main responsibilites of the Coprocessor contract is to deterministically generate ciphertext handles. For this, we hash the FHE operation requested and the inputs to produce the result handle H:
Symbolic execution on the blockchain is implemented via the [TFHEExecutor](https://github.com/zama-ai/fhevm/blob/main/lib/TFHEExecutor.sol) contract. One of the main responsibilites of the TFHEExecutor contract is to deterministically generate ciphertext handles. For this, we hash the FHE operation requested and the inputs to produce the result handle H:
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

In the future, we'll talk about the coprocessor. Can we agree that TFHEExecutor will be the contract name for both?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I wanted to avoid using coprocessor for fhEVM-native case to avoid confusion. Maybe we can keep them separate, because payment will potentially be different anyway. Execution itself will be the same, though, AFAICT.

@dartdart26 dartdart26 merged commit a811acb into main Aug 16, 2024
3 checks passed
@dartdart26 dartdart26 deleted the petar/fhevm-fundamentals-pr branch August 16, 2024 09:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants