IronMill is building the Verifiable Internet. IronMill’s software tools bridge the gap between scientific advances in zero knowledge proofs and trustworthy, Internet-scale systems. Emerging applications for the Verifiable Internet include privacy-preserving technologies, fraud prevention, regulatory compliance, and blockchain integrity tools.
IronMill is building an integrated solution for software developers who want to deploy zero knowledge systems. The platform provides tooling for circuit selection, integration into popular on-chain and off-chain programming environments, and optimized deployment across several infrastructure platforms.