As far as I know, iO can "hide" programs written as boolean circuits, but I'm interested in understanding if state machines can be hidden as well. I know state changes can be modelled as boolean circuits by means of Karnaugh maps, however what I'm seeking is if iO could also embed the ACTUAL state to avoid any tampering of it. I think my question could lead to sub-questions:
- can I instantiate a SM as a "pure" boolean circuit?
- in iO idea, is there anything which definitely restricts the obfuscation to work only with stateless programs, excluding stateful ("remembering" previous calls) ones?
- embedding the state in the program seems a generalization of embedding (and hiding) a secret: the secret is a static bitstring, while a state should be a variable bitstring
I know I'm quite confused... any hints? Thanks
