Mím

Mím is a research prototype for verifying committee rotation in quorum-based blockchains using folding-based SNARKs.

Key Features

• RFC9380-compliant hash-to-curve implementation for BLS12 curves in the arkworks R1CS framework
• R1CS circuit for verifying BLS signatures, supporting both native and emulated fields
• Integration with sonobe's FCircuit, enabling proof generation via folding schemes
• On-circuit and off-circuit implementation of Leveled Merkle Forests (LMFs)

Getting Started

Add Mím as a dependency in your Cargo.toml:

[dependencies]
mim = { git = "https://github.com/yuxqiu/mim", package = "sig" }

Module Overview

• bc — Abstractions for quorum-based blockchains and committee structures
• bls — BLS signature implementation (off-circuit and on-circuit)
• folding — Folding circuits for verifying committee rotation
• hash — Hash-to-curve R1CS gadgets for BLS12 curves
• merkle — Merkle tree and Leveled Merkle Forest implementations (off-circuit and on-circuit)
• tests — Test harnesses and debug utilities, including a known issue with EmulatedFpVar causing unsatisfiable constraints

Example usage and benchmarking experiments are located in sig/benches, with experiment outputs stored in exp.

License

This project is licensed under the MIT License.

Acknowledgments

This work builds on the excellent libraries developed by:

• arkworks
• sonobe

Special thanks to Philipp Jovanovic and Alberto Sonnino for their insightful discussions and valuable feedback during development.