Closed vbgl closed 9 months ago
Adds make ct targets to check that the three main entry points are actually CT.
make ct
Adds a few #declassify annotations to express that the public key is actually public and that randomness is used securely.
#declassify
Adds
make cttargets to check that the three main entry points are actually CT.Adds a few
#declassifyannotations to express that the public key is actually public and that randomness is used securely.