update feature list for tradfi

Author: imaginator

docs/index.md

@@ -4,6 +4,8 @@ hide:
   - toc
 ---
 
+## Simplicity for Bitcoiners
+
 <div class="grid cards" markdown>
 
 - ### :material-code-braces: Expressive Smart Contracts
@@ -32,6 +34,49 @@ Multi-party spending policies, staged cooperation, and recovery paths are expres
 
 </div>
 
+## Simplicity for Finance
+
+<div class="grid cards" markdown>
+
+- ### :material-handshake: Reduced Counterparty and Settlement Risk 
+  By encoding complex settlement logic directly on-chain, contracts become self-enforcing and physically settled without intermediaries, drastically reducing counterparty risk.
+
+- ### :material-receipt-text-check-outline: No More Surprise "Gas" Fees 
+  Every Simplicity contract has a statically bounded computational cost that can be determined before execution. This provides predictable, reliable operational fees, eliminating the unpredictable fee dynamics seen on other platforms.
+
+- ### :material-bank-plus: Build Complex TradFi Products On-Chain
+  Simplicity is expressive enough to create sophisticated, non-custodial financial instruments directly on-chain. Build trustless versions of traditional products like options, bonds, and collateralized loans without relying on intermediaries or oracles.
+
+- ### :material-treasure-chest: Programmable Treasury and Asset Control
+  Create powerful on-chain rules (covenants) for self-custodied, institutional-grade vaults. Enforce spending limits, require multi-party approval for large transactions, or programmatically enforce time-locked withdrawals and spending velocity limits—all without a trusted third party.
+
+</div>
+
+
+## Simplicity Examples
+
+<div class="grid cards" markdown>
+
+- ### :material-lock-clock: Hash Time-Locked Contracts (HTLCs)
+  The building block for payment channels and atomic swaps. Lock funds until a secret is revealed or a timeout is reached, enabling trustless, cross-chain exchanges and Layer 2 protocols like the Lightning Network.
+
+- ### :material-swap-horizontal-bold: Trustless Atomic Swaps
+  Execute peer-to-peer trades of different assets across blockchains without settlement risk. Simplicity ensures that either both parties receive their assets or the trade is atomically reverted.
+
+- ### :material-chart-line: Covered Call Options
+  Write and settle derivatives contracts directly on-chain. A seller can lock collateral to issue a call option, which a buyer can exercise at a predetermined strike price before an expiry date, all enforced by the Simplicity program.
+
+- ### :material-cash-lock: Collateralized Loans
+  Lock collateral in a Simplicity contract to borrow assets. The program guarantees that the lender can claim the collateral if the borrower defaults, or that the borrower can reclaim it upon repayment—all without a trusted intermediary.
+
+</div>
+
+
+# Write in a Language You Already Know
+
+You can use SimplicityHL, a high-level language with a clean, Rust-like syntax. This abstracts away low-level complexity, making it straightforward to write clear and reliable financial contracts with minimal code.
+
+
 ``` rust title="Hash Time-Locked Contract" 
 /*
  * The recipient can spend the coins by providing the secret preimage of a hash.