Comments, Follow-up work, Updates and Corrections

• The system has been implemented and is freely available on github, as well as running as a cloud service found here..
• The implementation of pairings was anticipated in this past paper, but later was done slightly different in the actual implementation. In the paper, it was proposed as the declaration of its own data type, whereas the actual system now offers a built-in function TLPairing for that purpose. This is a small change to what the paper said.