Hàm trapdoor
Hàm trapdoor là một hàm số có thể tính theo một chiều dễ dàng, và được coi là rất khó để tính toán theo chiều ngược lại (tìm hàm đảo) nếu không có thông tin đặc biệt. Hàm trapdoor được sử dụng rộng rãi trong mật mã học.

Một hàm trapdoor được định nghĩa bao gồm 3 giải thuật: TDF=(G,F,F), trong đó:

"Điều kiện": 
∀(pk,sk),∀x∈X: F(sk,F(pk,x)) = x

Hàm secure trapdoor là một hàm trapdoor trong đó F là hàm một chiều, tức là có thể dễ dàng tính toán y=F(pk,x) ∀x∈X nhưng không thể tính được x từ y mà không có khóa bí mật sk hay xác suất tính được x từ y mà không có khóa bí mật sk là không đáng kể.

