This is a hackathon build on Stellar testnet, not a launched market.
The contracts are live, and a full default-to-payout has executed on-chain.
Every address and transaction below is yours to verify on the explorer.
One factory, one verifier, one settlement type.
Every instrument is an instance of that type.
The same generic core, instantiated three times.
Adding one is a single transaction.
A bondholder went unpaid.
The reserve paid the cover buyer, and only a proof made it happen.
The settlement program proved exactly what was owed for the epoch, the contract verified the Groth16 proof on Stellar, and the payout left the reserve. The cover amount stayed private throughout. No admin touched it.
The verification is real. The framing around it is labelled.
The four contracts, the factory deployment, the on-chain solvency checks, and the Groth16 proof are real. The settled instrument used real config roots, and its proof was verified on-chain by the deployed verifier before the reserve paid out.
Two of the three instruments use placeholder roots, so they are correctly not settleable. The reference bond is modeled on a live Stellar corporate issuance, unnamed. A proof guarantees computation over the inputs it was supplied, not that those inputs are the canonical truth; hardening the input source is the path to a pilot.