スマートコントラクトなどの高保証が求められるソフトウェアにおいて、数学的な手法を用いてプログラムの仕様と実装が一致していることを厳密に証明する技術はどれか。

プライバシーエンジニアリングの目標の一つで、攻撃者がシステム内の対象（ユーザーやアイテム）に関心を持っているかどうか、あるいはシステムを利用しているかどうかを外部から区別できない性質を何と呼ぶか。