Verifiable Threshold Encryption using Circom It allows a prover to verifiably secret share a symmetric key and encrypts a message under that key