From 9078a76b48db6498682a92c690894c84b8a1abad Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 30 Jun 2026 22:31:31 +0000 Subject: [PATCH 1/3] docs: add keyword-rich tagline and surface DeFi in finance heading Add a scannable subtitle naming the supported frameworks and example categories, and surface "DeFi" in the financial software heading, to improve discoverability for common Solana search terms. --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index d0c0874c..7bede02b 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,8 @@ ![Quicknode Solana Program Examples](assets/banner.png?v=1) +_Solana smart contract examples in Anchor, Quasar, Pinocchio, native Rust, and sBPF assembly — covering the basics, SPL tokens, Token Extensions, NFTs, state compression, and DeFi._ + Working, tested, up-to-date examples of common Solana programs (what other chains call smart contracts), maintained by [Quicknode](https://www.quicknode.com/chains/solana). Every example builds and passes CI on a current toolchain — **Anchor 1.1**, the current multi-file program layout (one file per instruction handler, account type, etc), and [LiteSVM](https://github.com/LiteSVM/litesvm) tests rather than the older `solana-test-validator` / web3.js stack. [![Anchor](../../actions/workflows/anchor.yml/badge.svg)](../../actions/workflows/anchor.yml) [![Quasar](../../actions/workflows/quasar.yml/badge.svg)](../../actions/workflows/quasar.yml) [![Pinocchio](../../actions/workflows/pinocchio.yml/badge.svg)](../../actions/workflows/pinocchio.yml) [![Native](../../actions/workflows/native.yml/badge.svg)](../../actions/workflows/native.yml) [![ASM](../../actions/workflows/solana-asm.yml/badge.svg)](../../actions/workflows/solana-asm.yml) @@ -23,9 +25,9 @@ You need [Rust](https://www.rust-lang.org/tools/install), [Solana CLI](https://d To deploy to mainnet or devnet you'll need an RPC endpoint. [Quicknode](https://www.quicknode.com/chains/solana) provides free and paid Solana endpoints - create one and set it as your cluster in `Anchor.toml` or with `solana config set --url `. -## Financial Software +## DeFi and Financial Software -The programs are examples of common financial primitives on Solana. As well as tests these all have formal verification. Every finance program ships with [Kani](https://github.com/model-checking/kani) proofs that verify its money-math invariants exhaustively over all inputs. See each program's `kani-proofs/` directory for the harnesses and what they prove. +The programs are examples of common DeFi and financial primitives on Solana. As well as tests these all have formal verification. Every finance program ships with [Kani](https://github.com/model-checking/kani) proofs that verify its money-math invariants exhaustively over all inputs. See each program's `kani-proofs/` directory for the harnesses and what they prove. ### Escrow From 68140017b7f0b87b64d2c810a34458d29963af64 Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 30 Jun 2026 23:00:56 +0000 Subject: [PATCH 2/3] docs: lead tagline with 'program examples', drop em-dash, tighten Kani link --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 7bede02b..0d797a42 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ ![Quicknode Solana Program Examples](assets/banner.png?v=1) -_Solana smart contract examples in Anchor, Quasar, Pinocchio, native Rust, and sBPF assembly — covering the basics, SPL tokens, Token Extensions, NFTs, state compression, and DeFi._ +_Solana program examples in Anchor, Quasar, Pinocchio, native Rust, and sBPF assembly, covering the basics, tokens, Token Extensions, NFTs, state compression, and DeFi._ Working, tested, up-to-date examples of common Solana programs (what other chains call smart contracts), maintained by [Quicknode](https://www.quicknode.com/chains/solana). Every example builds and passes CI on a current toolchain — **Anchor 1.1**, the current multi-file program layout (one file per instruction handler, account type, etc), and [LiteSVM](https://github.com/LiteSVM/litesvm) tests rather than the older `solana-test-validator` / web3.js stack. @@ -27,7 +27,7 @@ To deploy to mainnet or devnet you'll need an RPC endpoint. [Quicknode](https:// ## DeFi and Financial Software -The programs are examples of common DeFi and financial primitives on Solana. As well as tests these all have formal verification. Every finance program ships with [Kani](https://github.com/model-checking/kani) proofs that verify its money-math invariants exhaustively over all inputs. See each program's `kani-proofs/` directory for the harnesses and what they prove. +The programs are examples of common DeFi and financial primitives on Solana. As well as tests these all have [formal verification using Kani](https://github.com/model-checking/kani). Every finance program ships with proofs that verify its money-math invariants exhaustively over all inputs. See each program's `kani-proofs/` directory for the harnesses and what they prove. ### Escrow From 4cc4afc681a9f7d81b4b448c243666bb1b6389b7 Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 1 Jul 2026 15:09:00 +0000 Subject: [PATCH 3/3] docs: focus tagline and heading on Solana financial software --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 0d797a42..b9d3c94d 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ ![Quicknode Solana Program Examples](assets/banner.png?v=1) -_Solana program examples in Anchor, Quasar, Pinocchio, native Rust, and sBPF assembly, covering the basics, tokens, Token Extensions, NFTs, state compression, and DeFi._ +_Solana program examples ('smart contracts') in Anchor, Quasar, Pinocchio, native Rust, and sBPF assembly. Focused on financial software ('DeFi'), plus the basics, tokens, Token Extensions, state compression, and more._ Working, tested, up-to-date examples of common Solana programs (what other chains call smart contracts), maintained by [Quicknode](https://www.quicknode.com/chains/solana). Every example builds and passes CI on a current toolchain — **Anchor 1.1**, the current multi-file program layout (one file per instruction handler, account type, etc), and [LiteSVM](https://github.com/LiteSVM/litesvm) tests rather than the older `solana-test-validator` / web3.js stack. @@ -25,9 +25,9 @@ You need [Rust](https://www.rust-lang.org/tools/install), [Solana CLI](https://d To deploy to mainnet or devnet you'll need an RPC endpoint. [Quicknode](https://www.quicknode.com/chains/solana) provides free and paid Solana endpoints - create one and set it as your cluster in `Anchor.toml` or with `solana config set --url `. -## DeFi and Financial Software +## Financial software ("DeFi") -The programs are examples of common DeFi and financial primitives on Solana. As well as tests these all have [formal verification using Kani](https://github.com/model-checking/kani). Every finance program ships with proofs that verify its money-math invariants exhaustively over all inputs. See each program's `kani-proofs/` directory for the harnesses and what they prove. +The programs are examples of common financial primitives on Solana. As well as tests these all have [formal verification using Kani](https://github.com/model-checking/kani). Every finance program ships with proofs that verify its money-math invariants exhaustively over all inputs. See each program's `kani-proofs/` directory for the harnesses and what they prove. ### Escrow