A FastAPI service in front of an SP1 host pool. Submit a job, poll for the folded proof, certify on mainnet. The marketplace publishes certified results as Pyth-style feeds.
POST /fold accepts a circuit id, an input blob and a callback. The handler queues the job, the host produces the sub-proofs, the folding adapter compresses them, and the worker returns the final proof bytes.
The Anchor program exposes verify_proof(proof_bytes, public_inputs, circuit_id). On success it writes a ProofRecord PDA seeded by [b"proof", &proof_hash]. Distinct certifications never contend.
External dApps subscribe to ProofRecord accounts by hash. Producers publish certified facts; consumers read them. The proof bytes themselves stay off-chain.
Hand the proof bytes to the verifier program. It checks the folded SNARK in under 200K CU and writes a permanent ProofRecord — the certificate any dApp can read.