Use mimc-based hash function for nested verification key digest

clearmatics / zecale

General purpose aggregator using recursive composition of SNARKs: https://arxiv.org/abs/2008.05958

https://clearmatics.github.io/zecale

GNU Lesser General Public License v3.0

8 stars 3 forks source link

Closed dtebbs closed 3 years ago

dtebbs commented 3 years ago

Use the mimc-based hash for the nested verification key.
Requires a modification fo the verification key object, and a scalar versio nof the vk hashing gadget
Large number of bit variables in VK are no longer required, so scalar versions of these objects have been added.