Dependency-free static analyzer for zk circuit soundness bugs in o1js/Mina zkApps and Noir circuits
-
Updated
Oct 11, 2026 - Python
Dependency-free static analyzer for zk circuit soundness bugs in o1js/Mina zkApps and Noir circuits
Helpful scripts for working with the Mina Protocol
Reward calculation and payouts for a Mina Protocol block producer, running on your own archive node instead of dead explorer APIs. Mesa-ready: 90s slots, 360 MINA coinbase, protocol-era aware. Includes VRF slot prediction and a fixed archive block guardian.
Mina node monitoring solution
To associate your repository with the mina topic, visit your repo's landing page and select "manage topics."