zkVM · Funding
Not a pitch deck. An interpreter, a from-scratch AIR, a STARK prover/verifier on Winterfell, an HTTP + MCP proving service, and Foundry contracts with a documented trust model — all tested under CI on every push. Every gap that isn't closed yet is named, not hidden.
Recurring or one-time support through GitHub Sponsors, including crypto via the Drips integration (see FUNDING.json).
Sponsor on GitHubA fiat-friendly option for one-time or recurring gifts is being set up.
ETH, USDT, OP, ARB, and FIL across Ethereum, Optimism, Arbitrum, and Filecoin via wallet-connect below, plus direct-send Bitcoin and Solana addresses further down — no intermediary.
Neither chain speaks the Ethereum JSON-RPC the wallet-connect flow above uses, so these are direct-send addresses, not part of that flow — copy the address or scan the QR code from your own wallet.
This project fits the scope of a few real, public funding programs. See the Grant Pitch page for the full one-page case (also mirrored at docs/GRANT_PITCH.md), or reach out directly — codesbyfebin@gmail.com.
Funds core infra and zk tooling. Relevant here: a from-scratch AIR with a documented no-secret-witness soundness argument, and an on-chain verifier whose trust model is written down rather than glossed over (THREAT_MODEL.md).
Verifiable-compute research is directly in scope. The honest gap analysis in RECURSION.md — what real proof recursion would take, not a claim that it's already done — is exactly the kind of scoping this kind of program tends to want to see.
Public-goods, quadratic-funding round for open source. A small, testable, honestly-documented zkVM is a reasonable fit for a round aimed at public infrastructure rather than products.