Một quan sát liên quan đến mật mã bất đối xứng là một số chức năng (được cho là) dễ thực hiện theo một hướng nhưng khó đảo ngược. Hơn nữa, nếu tồn tại một số thông tin 'cửa bẫy' cho phép thao tác nghịch đảo được tính toán nhanh chóng thì vấn đề sẽ trở thành ứng cử viên cho sơ đồ mã hóa khóa công khai.
Các vấn đề bẫy cổ điển, nổi tiếng bởi RSA, bao gồm vấn đề bao thanh toán và vấn đề nhật ký rời rạc. Cũng trong khoảng thời gian RSA được xuất bản, Rabin đã phát minh ra một hệ thống mật mã khóa công khai dựa trên việc tìm ra các căn bậc hai rời rạc (điều này sau đó đã được chứng minh là ít nhất là khó khăn như bao thanh toán).
Các ứng cử viên khác đã cắt lên trong những năm qua. KNAPSACK (ngay sau RSA), "Logarit" đường cong Elliptic với các tham số cụ thể và Lattice Các vấn đề cơ bản ngắn nhất là các ví dụ về các vấn đề mà các vấn đề về bẫy được sử dụng trong các sơ đồ được xuất bản khác. Cũng dễ dàng nhận thấy rằng các vấn đề như vậy phải nằm ở đâu đó trong NP.
Điều này làm cạn kiệt kiến thức của tôi về các chức năng bẫy. Nó dường như cũng làm cạn kiệt danh sách trên Wikipedia .
Tôi hy vọng rằng chúng ta có thể có được một danh sách wiki cộng đồng về các ngôn ngữ chấp nhận bẫy và tài liệu liên quan. Danh sách này sẽ hữu ích. Sự phát triển của nhu cầu về mật mã cũng thay đổi chức năng bẫy nào có thể là nền tảng của hệ thống mật mã. Sự bùng nổ của lưu trữ trên máy tính làm cho các kế hoạch với các phím lớn có thể. Bóng ma lờ mờ liên tục của Máy tính lượng tử làm mất hiệu lực các sơ đồ có thể bị phá vỡ bằng một lời sấm truyền để tìm các nhóm con abelian ẩn. Hệ thống mật mã hoàn toàn đồng nhất của Gentry chỉ hoạt động vì chúng tôi đã phát hiện ra các hàm bẫy liên quan đến sự đồng hình.
Tôi đặc biệt quan tâm đến các vấn đề không phải là NP-Complete.