数学的理論と計算を用いて情報を暗号化および復号化を行う科学分野。
トランザクションの正統性を維持しながらプライバシーを保護したうえで、トランザクションに関する情報を一切明らかにすることなくトランザクションが有効であることを検証する手法。