Building a Verifiable Internet

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.

Install Oxide View on GitHub

index.js

Verifier.js

const { Prover, Verifier } = require("./circuits/gte")
const { ethers } = require("ethers");
require('dotenv').config({ path: __dirname + '/.env' })

async function main() {
    // Generate a proof
    const ourAge = 17;
    const minimumAge = 18;

    const proof = await Prover.generateProof(ourAge, minimumAge);

    const provider = new ethers.AlchemyProvider(
        "sepolia",
        process.env.ALCHEMY_API_KEY
    );

    // Verify the proof
    const result = await Verifier.verifyOnchain(proof, provider);
}

main();