可證明安全

PRG的擴展