Functional Encryption: New Proof Techniques And Advancing Capabilities