Emulated elements and visibility

[maoudia-via]

The emulated example on the develop branch only shows default visibility on the circuit definition.
When trying to define a circuit with different visibility for some variables I see the following error:

Y_limbs (secret) has a parent with different visibility attribute

This is my Circuit definition (at least the struct)

type MyCircuit struct {
	X             emulated.Element[emulated.Goldilocks] `gnark:"X,"`
	Y             emulated.Element[emulated.Goldilocks] `gnark:"Y,public"`
}

Is there a way to define an emulated element with public visibility ?

[ivokub]

This is most likely a bug. I'll try to understand and fix it.

[ivokub]

Thanks. I already created the issue #385. I already understand where the problem is, but will try to figure out if this wouldn't break anything.

[ivokub]

Sorry for the delay. I was traveling last week. Could you try with this PR #387?

[maoudia-via]

Thank you ! I will try it this week and get back to you.

[maoudia-via]

I can confirm my scenario/test is fixed by with PR #387.
Thank you for the prompt feedback and fix !

[ivokub]

Great! Thanks for testing out. The field emulation feature is still very new and we need to figure out a clean way to provide it to the users. Any feedback is greatly appreciated!