DoxigAlpha

declassify

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.

Function parameters

Parameters

#
ptr:anytype

Compares two arrays in constant time (for a given length) and returns whether they are equal.

Functions

#
eql
Compares two arrays in constant time (for a given length) and returns whether they are equal.
compare
Compare two integers serialized as arrays of the same size, in constant time.
add
Add two integers serialized as arrays of the same size, in constant time.
sub
Subtract two integers serialized as arrays of the same size, in constant time.
classify
Mark a value as sensitive or secret, helping to detect potential side-channel vulnerabilities.
declassify
Mark a value as non-sensitive or public, indicating it's safe from side-channel attacks.

Source

Implementation

#
pub fn declassify(ptr: anytype) void {
    markSecret(ptr, .declassify);
}