Can an assertion ever come from code that is not revealed?

This question was asked at chia_network.public on Keybase.

1 Like

You can hide logic branches not taken with something like taproot, but otherwise if it gets executed, it must be revealed and verified by the network.