Is it possible to share more information about how the MPCHMAC circuit is generated? Specifically, I would like to understand the process or methodology used to create the MPCHMAC circuit file. Any insights or documentation regarding the steps involved would be greatly appreciated. Thank you in advance for your assistance.