Connect a testnet wallet and interact with the real deployed contracts.
Deposit collateral as an underwriter, or buy cover as a bondholder.
Your cover is committed privately, and only a verified proof can ever pay out.
Needs the Freighter browser wallet, set to Test SDF Network and funded from Friendbot. This is testnet: no real funds.
Factory-deployed credit_v1 instruments on testnet. Reserve + cover read live from the chain.
Fund the reserve with native XLM. A real signed transaction; the reserve grows by your deposit. Withdrawals stay open outside a settlement.
Buy protection. Your position is committed in your browser with the guest's exact Poseidon (byte-identical, so it's genuinely settleable) and folded into the on-chain position root. Save your opening (cover + salt) to settle later. On this transparent credit_v1 instrument the cover amount is public; confidential cover (built; see the suite below) hides it behind a solvency proof.
One generic vault + settlement core carries a whole family of instruments, each a per-type RISC Zero guest proving its own published rule, on the same four frozen surfaces. credit_v1 is live on testnet (above); the rest are built and tested in the repo, deployable the same way.
credit_v1 Live on testnetParametric cover on a tokenised bond. The guest scans real coupon history across every holder, proves the shortfall, and pays cover × shortfall ⁄ owed, authorized by a proof, never a committee. The instance you interact with above.
credit_v2 · credit_v3 Built · testedThe issuer's payment snapshot is Ed25519-signed and the signature is checked inside the proof (v2); v3 binds a per-epoch record date. "Trust the keeper's data" becomes "trust the issuer's signature": no keeper can fabricate or omit a payment and still produce a proof.
solvency_v1 · confidential_vault Built · testedThe total cover sold is a Poseidon commitment, never public. Buying and withdrawing are gated by a zero-knowledge solvency proof, so even aggregate exposure stays sealed while the cover ≤ reserve invariant still holds.
tranched_vault Built · testedA senior/junior capital structure: a default is absorbed junior-first, premium split by seniority weight. A confidential-tranche variant composes the waterfall with hidden cover sizes.
claim_credit_v1 · claim_factory Built · testedPermissionless settlement plus a buyer self-claim after a keeper-grace window: payout liveness without trusting any single operator. Same proof guarantee, two independent paths to it.
yield_vault · yield_router · yield_factory Built · testedWrap a bond into a protected share class: gross coupon in → premium to the reserve → net protected yield out (e.g. 14% → 12%). A risk-tiered factory prices the premium per tier.
settle_weather_v1 Built · instance #2The same generic core, a different guest: payout when a published index (e.g. rainfall over a window) breaches its threshold. Proof that Parallar is a family of instruments, not a single product.
Every card above the dotted line is in this repository with passing tests. Going live for each is the same beat as credit_v1: register the type, then factory-deploy. See the mechanism and the live contracts on the explorer ↗.