Function declassify [src]

Mark a value as non-sensitive or public, indicating it's safe from side-channel attacks. Signals that a value has been securely processed and is no longer confidential, allowing for relaxed handling without fear of information leakage through conditional jumps or lookups.