MiMC in Halo2

An implementation of the MiMC block cipher and hash function circuits in Halo2. Reference implementations in Sage can be found at https://github.com/avras/pasta-mimc.

• The spec directory has a specification document.
• src/mimc has MiMC the block cipher and hash function circuits
• src/mimc_feistel has MiMC Feistel block and hash function circuits

Run cargo test --all-features to generate PNG files showing the chip layouts.

This code was written as part of 0xPARC's Halo2 Learning Group.