Witness Encryption Rust implementation of ADP-based witness encryption scheme as stated in Bartusek et al., 2020.