gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation - View it on GitHub