feat: add Quasar variants for checking-accounts, create-account, program-derived-addresses, pda-rent-payer

Author: mikemaccana-edwardbot

basics/checking-accounts/quasar/.gitignore

@@ -0,0 +1,12 @@
+# Build artifacts
+/target
+
+# Dependencies
+node_modules
+
+# Environment
+.env
+.env.*
+
+# OS
+.DS_Store

basics/checking-accounts/quasar/Cargo.toml

@@ -0,0 +1,34 @@
+[package]
+name = "quasar-checking-accounts"
+version = "0.1.0"
+edition = "2021"
+
+# Standalone workspace — not part of the root program-examples workspace.
+# Quasar uses a different resolver and dependency tree.
+[workspace]
+
+[lints.rust.unexpected_cfgs]
+level = "warn"
+check-cfg = [
+    'cfg(target_os, values("solana"))',
+]
+
+[lib]
+crate-type = ["cdylib"]
+
+[features]
+alloc = []
+client = []
+debug = []
+
+[dependencies]
+quasar-lang = "0.0"
+solana-instruction = { version = "3.2.0" }
+
+[dev-dependencies]
+quasar-checking-accounts-client = { path = "target/client/rust/quasar-checking-accounts-client" }
+quasar-svm = { version = "0.1" }
+solana-account = { version = "3.4.0" }
+solana-address = { version = "2.2.0", features = ["decode"] }
+solana-instruction = { version = "3.2.0", features = ["bincode"] }
+solana-pubkey = { version = "4.1.0" }

basics/checking-accounts/quasar/Quasar.toml

@@ -0,0 +1,21 @@
+[project]
+name = "quasar_checking_accounts"
+
+[toolchain]
+type = "solana"
+
+[testing]
+language = "rust"
+
+[testing.rust]
+framework = "quasar-svm"
+
+[testing.rust.test]
+program = "cargo"
+args = [
+    "test",
+    "tests::",
+]
+
+[clients]
+languages = ["rust"]

basics/checking-accounts/quasar/src/instructions/check_accounts.rs

@@ -0,0 +1,31 @@
+use quasar_lang::prelude::*;
+
+/// Demonstrates Quasar's account type constraints:
+/// - `Signer`: automatically verified as a transaction signer
+/// - `UncheckedAccount`: no runtime checks (opt-in unchecked access)
+/// - `Program<System>`: verified as the system program (executable + address check)
+///
+/// Note: Anchor's `#[account(owner = id())]` owner constraint is not directly available
+/// in Quasar. Owner checks can be done manually in the instruction body if needed.
+#[derive(Accounts)]
+pub struct CheckAccounts<'info> {
+    /// Checks that this account signed the transaction.
+    pub payer: &'info Signer,
+    /// No checks performed — the caller is responsible for validation.
+    #[account(mut)]
+    pub account_to_create: &'info mut UncheckedAccount,
+    /// No automatic owner check in Quasar; see note above.
+    #[account(mut)]
+    pub account_to_change: &'info mut UncheckedAccount,
+    /// Checks the account is executable and matches the system program address.
+    pub system_program: &'info Program<System>,
+}
+
+impl<'info> CheckAccounts<'info> {
+    #[inline(always)]
+    pub fn check_accounts(&self) -> Result<(), ProgramError> {
+        // All validation happens declaratively via the account types above.
+        // If any check fails, the runtime rejects the transaction before this runs.
+        Ok(())
+    }
+}

basics/checking-accounts/quasar/src/instructions/mod.rs

@@ -0,0 +1,3 @@
+pub mod check_accounts;
+
+pub use check_accounts::*;

basics/checking-accounts/quasar/src/lib.rs

@@ -0,0 +1,24 @@
+#![cfg_attr(not(test), no_std)]
+
+use quasar_lang::prelude::*;
+
+mod instructions;
+use instructions::*;
+#[cfg(test)]
+mod tests;
+
+declare_id!("ECWPhR3rJbaPfyNFgphnjxSEexbTArc7vxD8fnW6tgKw");
+
+#[program]
+mod quasar_checking_accounts {
+    use super::*;
+
+    /// Account validation in Quasar is done using the types in #[derive(Accounts)] structs:
+    /// - Signer: checks the account has signed the transaction
+    /// - UncheckedAccount: no validation (opt-in to unchecked access)
+    /// - Program<System>: checks account is executable and is the system program
+    #[instruction(discriminator = 0)]
+    pub fn check_accounts(ctx: Ctx<CheckAccounts>) -> Result<(), ProgramError> {
+        ctx.accounts.check_accounts()
+    }
+}

basics/checking-accounts/quasar/src/tests.rs

@@ -0,0 +1,62 @@
+use quasar_svm::{Account, Instruction, Pubkey, QuasarSvm};
+use solana_address::Address;
+
+use quasar_checking_accounts_client::CheckAccountsInstruction;
+
+fn setup() -> QuasarSvm {
+    let elf = include_bytes!("../target/deploy/quasar_checking_accounts.so");
+    QuasarSvm::new().with_program(&Pubkey::from(crate::ID), elf)
+}
+
+fn signer(address: Pubkey) -> Account {
+    quasar_svm::token::create_keyed_system_account(&address, 10_000_000_000)
+}
+
+fn system_account(address: Pubkey, lamports: u64) -> Account {
+    Account {
+        address,
+        lamports,
+        data: vec![],
+        owner: quasar_svm::system_program::ID,
+        executable: false,
+    }
+}
+
+fn program_owned_account(address: Pubkey, lamports: u64) -> Account {
+    Account {
+        address,
+        lamports,
+        data: vec![0u8; 32],
+        owner: Pubkey::from(crate::ID),
+        executable: false,
+    }
+}
+
+#[test]
+fn test_check_accounts_succeeds() {
+    let mut svm = setup();
+
+    let payer = Pubkey::new_unique();
+    let account_to_create = Pubkey::new_unique();
+    let account_to_change = Pubkey::new_unique();
+    let system_program = quasar_svm::system_program::ID;
+
+    let instruction: Instruction = CheckAccountsInstruction {
+        payer: Address::from(payer.to_bytes()),
+        account_to_create: Address::from(account_to_create.to_bytes()),
+        account_to_change: Address::from(account_to_change.to_bytes()),
+        system_program: Address::from(system_program.to_bytes()),
+    }
+    .into();
+
+    let result = svm.process_instruction(
+        &instruction,
+        &[
+            signer(payer),
+            system_account(account_to_create, 0),
+            program_owned_account(account_to_change, 1_000_000),
+        ],
+    );
+
+    result.assert_success();
+}

basics/create-account/quasar/.gitignore

@@ -0,0 +1,12 @@
+# Build artifacts
+/target
+
+# Dependencies
+node_modules
+
+# Environment
+.env
+.env.*
+
+# OS
+.DS_Store

basics/create-account/quasar/Cargo.toml

@@ -0,0 +1,34 @@
+[package]
+name = "quasar-create-account"
+version = "0.1.0"
+edition = "2021"
+
+# Standalone workspace — not part of the root program-examples workspace.
+# Quasar uses a different resolver and dependency tree.
+[workspace]
+
+[lints.rust.unexpected_cfgs]
+level = "warn"
+check-cfg = [
+    'cfg(target_os, values("solana"))',
+]
+
+[lib]
+crate-type = ["cdylib"]
+
+[features]
+alloc = []
+client = []
+debug = []
+
+[dependencies]
+quasar-lang = "0.0"
+solana-instruction = { version = "3.2.0" }
+
+[dev-dependencies]
+quasar-create-account-client = { path = "target/client/rust/quasar-create-account-client" }
+quasar-svm = { version = "0.1" }
+solana-account = { version = "3.4.0" }
+solana-address = { version = "2.2.0", features = ["decode"] }
+solana-instruction = { version = "3.2.0", features = ["bincode"] }
+solana-pubkey = { version = "4.1.0" }

basics/create-account/quasar/Quasar.toml

@@ -0,0 +1,21 @@
+[project]
+name = "quasar_create_account"
+
+[toolchain]
+type = "solana"
+
+[testing]
+language = "rust"
+
+[testing.rust]
+framework = "quasar-svm"
+
+[testing.rust.test]
+program = "cargo"
+args = [
+    "test",
+    "tests::",
+]
+
+[clients]
+languages = ["rust"]