Function hiding

[Michael-EY]

Overview

Currently, in starlight, the function a client calls is not private.

Tasks

Investigate making private the function a client is calling. This can be done by providing a proof that one of a set of verification keys was used to verify a proof without revealing which key and hence hiding what function is being called.
Investigate alternative solutions, for example, how this might be done elsewhere. Do we want to necessarily do it in the above way?

Optional

Investigate whether we can hide the contract being interacted with as well. Can this be done without the use of a recursive proving/folding L2 solution?

Definition of done

Can present and justify a solution to the rest of the team in a show & tell.

Links

No links