DOCUMENTATION

The insurance pool is a Solana PDA (Program Derived Address) that holds premiums from insured transactions. It operates on actuarial principles:

The pool tracks: total premiums collected, total refunds paid, active policy count, base rate in basis points, and creation/update timestamps.

Every week, 50% of insurance pool profits are used to buy back $HARNS tokens from the open market and burn them permanently. All buyback transactions are posted publicly on-chain.

More insured transactions = larger pool = more buyback pressure. The protocol creates sustained demand for $HARNS through usage, not speculation.

PDA Seeds

Instructions

• initialize_poolCreate a new insurance pool with base rate
• deposit_premiumPay premium and create a policy for a TX
• process_refundAuthority refunds a failed TX from the pool

The Harns TypeScript SDK provides programmatic access to insurance pool operations.

import { HarnsClient } from "@harns/sdk";

const client = new HarnsClient({
  rpcUrl: "https://api.harns.fun/api/rpc",
});

// Derive pool address
const [poolAddr] = await client.findPoolAddress(
  authority,
  new BN(1)
);

// Fetch pool state
const pool = await client.getPool(poolAddr);
console.log("Total premiums:", pool.totalPremiums.toString());
console.log("Active policies:", pool.activePolicies);

// Calculate premium for a 0.015 SOL fee
const premium = client.calculatePremium(15_000_000, 250);
// -> 375000 lamports (0.000375 SOL)

Source code: github.com/harns-labs/harns-core