/gkr-mimc

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

Primary LanguageGoApache License 2.0Apache-2.0

GKR

gkr-mimc is a POC-grade gnark gadget to accelerate the proving time of MiMc hash computations. It can take a batch of hash inputs and output a batch of hash outputs along with a gkr proof that can be verified from inside a SNARK circuit.

It is a toy implementation of this post for MiMC. Over time, it will into a more generic library, that can support other use cases than MiMC.