Annotations for zeroing the stack of "sensitive" functions which deal in transient secrets

9 posts were split to a new topic: Operational semantics and high-level vs low-level