0
$\begingroup$

Homomorphic encryption allows to store data on a blockchain encrypted, but a smart contract is a program that is executed on a node on the blockchain, therefore the "source code" of the contract is not private; therefore it is desirable to build a monotone compiler that would convert an ordinary function into a set of computations that when executed on the node machine do not reveal any meaningful info, yet when its result is read back by the transaction owner, the results would be tangible to her (as she has the private key). Can this be done with a state machine rather that formal logic like here "TOWARDS" HOMOMORPHIC COMPUTATION FOR DISTRIBUTED COMPUTING

OPERATIONAL SEMANTICS: MLINKS

Are there existing algorithms to do that precisely?

asked Dec 9, 2024 at 8:19
$\endgroup$

0

Know someone who can answer? Share a link to this question via email, Twitter, or Facebook.

Your Answer

Draft saved
Draft discarded

Sign up or log in

Sign up using Google
Sign up using Email and Password

Post as a guest

Required, but never shown

Post as a guest

Required, but never shown

By clicking "Post Your Answer", you agree to our terms of service and acknowledge you have read our privacy policy.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.