feat: pinocchio sdk (#1783)

* feat: add pinocchio-sdk

feat: add cpi_signer_macro

feat: add light-program-test, light-client docs

Co-authored-by: Swen Schäferjohann <42959314+SwenSchaeferjohann@users.noreply.github.com>

* refactor: unify CpiAccounts in sdk-types

* feat: add PackedTreeInfo::get_tree_pubkey()

* refactor: small ix into sdk-types

* fix: don't run light-client doc test

* cleanup

* refactor: AddressTreeInfo

* simplify error conversion

* fix: typo

* unify program id constants

* fix enum typo

* Revert "simplify error conversion"

This reverts commit ff99942.

* fixed stuff

* refactor: rename duplicate AccountInfoTrait -> CompressedAccountInfoTrait

* revert: remove program changes from pinocchio-sdk commit

Reverts only the changes made to the programs/ directory in commit
b3f14e7 while preserving all other changes from that commit.

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>

* cleanup

* feat: add select_state_tree_info, chore: return Result from get_random_state_tree_info

* fix: account compression tests

* refactor: add result to handle out of bounds errors

* cleanup

* refactor: migrate light sdk errors to 16k namespace

---------

Co-authored-by: Swen Schäferjohann <42959314+SwenSchaeferjohann@users.noreply.github.com>
Co-authored-by: Claude <noreply@anthropic.com>

Author: 3 people

.github/workflows/light-examples-tests.yml

@@ -56,7 +56,7 @@ jobs:
           - program: sdk-test-program
             sub-tests: '["cargo-test-sbf -p sdk-test"]'
           - program: sdk-anchor-test-program
-            sub-tests: '["cargo-test-sbf -p sdk-anchor-test"]'
+            sub-tests: '["cargo-test-sbf -p sdk-anchor-test", "cargo-test-sbf -p sdk-pinocchio-test"]'
 
     steps:
       - name: Checkout sources

Cargo.lock

@@ -21,6 +21,8 @@ members = [
     "sdk-libs/client",
     "sdk-libs/macros",
     "sdk-libs/sdk",
+    "sdk-libs/sdk-pinocchio",
+    "sdk-libs/sdk-types",
     "sdk-libs/photon-api",
     "sdk-libs/program-test",
     "xtask",
@@ -38,6 +40,7 @@ members = [
     # Issue is that anchor discriminator now returns a slice instead of an array
     "program-tests/sdk-anchor-test/programs/sdk-anchor-test",
     "program-tests/sdk-test",
+    "program-tests/sdk-pinocchio-test",
     "program-tests/create-address-test-program",
     "program-tests/utils",
     "program-tests/merkle-tree",
@@ -153,7 +156,9 @@ light-merkle-tree-reference = { path = "program-tests/merkle-tree", version = "2
 light-heap = { path = "program-libs/heap", version = "1.1.0" }
 light-prover-client = { path = "prover/client", version = "1.3.0" }
 light-sdk = { path = "sdk-libs/sdk", version = "0.12.0" }
+light-sdk-pinocchio = { path = "sdk-libs/sdk-pinocchio", version = "0.12.0" }
 light-sdk-macros = { path = "sdk-libs/macros", version = "0.6.0" }
+light-sdk-types = { path = "sdk-libs/sdk-types", version = "0.9.1" }
 light-compressed-account = { path = "program-libs/compressed-account", version = "0.2.0" }
 light-account-checks = { path = "program-libs/account-checks", version = "0.2.0" }
 light-verifier = { path = "program-libs/verifier", version = "2.0.0" }

Cargo.toml

@@ -23,6 +23,7 @@ idl-build = ["anchor-lang/idl-build", "light-sdk/idl-build"]
 anchor-lang = { workspace = true }
 light-hasher = { workspace = true, features = ["solana"] }
 light-sdk = { workspace = true, features = ["anchor"] }
+light-sdk-types = { workspace = true }
 light-compressed-account = { workspace = true }
 
 [dev-dependencies]

examples/anchor/counter/Cargo.toml

@@ -4,16 +4,20 @@ use anchor_lang::{prelude::*, AnchorDeserialize, Discriminator};
 use light_sdk::{
     account::LightAccount,
     address::v1::derive_address,
-    cpi::{CpiAccounts, CpiInputs},
+    cpi::{CpiAccounts, CpiInputs, CpiSigner},
+    derive_light_cpi_signer,
     instruction::{
         account_meta::{CompressedAccountMeta, CompressedAccountMetaClose},
-        tree_info::PackedAddressTreeInfo,
+        PackedAddressTreeInfo, ValidityProof,
     },
-    LightDiscriminator, LightHasher, ValidityProof,
+    LightDiscriminator, LightHasher,
 };
 
 declare_id!("GRLu2hKaAiMbxpkAM1HeXzks9YeGuz18SEgXEizVvPqX");
 
+pub const LIGHT_CPI_SIGNER: CpiSigner =
+    derive_light_cpi_signer!("GRLu2hKaAiMbxpkAM1HeXzks9YeGuz18SEgXEizVvPqX");
+
 #[program]
 pub mod counter {
 
@@ -33,15 +37,14 @@ pub mod counter {
         let light_cpi_accounts = CpiAccounts::new(
             ctx.accounts.signer.as_ref(),
             ctx.remaining_accounts,
-            crate::ID,
-        )
-        .map_err(ProgramError::from)?;
+            crate::LIGHT_CPI_SIGNER,
+        );
 
         let (address, address_seed) = derive_address(
             &[b"counter", ctx.accounts.signer.key().as_ref()],
-            &light_cpi_accounts.tree_accounts()
-                [address_tree_info.address_merkle_tree_pubkey_index as usize]
-                .key(),
+            &address_tree_info
+                .get_tree_pubkey(&light_cpi_accounts)
+                .map_err(|_| ErrorCode::AccountNotEnoughKeys)?,
             &crate::ID,
         );
 
@@ -94,9 +97,8 @@ pub mod counter {
         let light_cpi_accounts = CpiAccounts::new(
             ctx.accounts.signer.as_ref(),
             ctx.remaining_accounts,
-            crate::ID,
-        )
-        .map_err(ProgramError::from)?;
+            crate::LIGHT_CPI_SIGNER,
+        );
 
         let cpi_inputs = CpiInputs::new(
             proof,
@@ -133,9 +135,8 @@ pub mod counter {
         let light_cpi_accounts = CpiAccounts::new(
             ctx.accounts.signer.as_ref(),
             ctx.remaining_accounts,
-            crate::ID,
-        )
-        .map_err(ProgramError::from)?;
+            crate::LIGHT_CPI_SIGNER,
+        );
 
         let cpi_inputs = CpiInputs::new(
             proof,
@@ -170,9 +171,8 @@ pub mod counter {
         let light_cpi_accounts = CpiAccounts::new(
             ctx.accounts.signer.as_ref(),
             ctx.remaining_accounts,
-            crate::ID,
-        )
-        .map_err(ProgramError::from)?;
+            crate::LIGHT_CPI_SIGNER,
+        );
         let cpi_inputs = CpiInputs::new(
             proof,
             vec![counter.to_account_info().map_err(ProgramError::from)?],
@@ -207,9 +207,8 @@ pub mod counter {
         let light_cpi_accounts = CpiAccounts::new(
             ctx.accounts.signer.as_ref(),
             ctx.remaining_accounts,
-            crate::ID,
-        )
-        .map_err(ProgramError::from)?;
+            crate::LIGHT_CPI_SIGNER,
+        );
 
         let cpi_inputs = CpiInputs::new(
             proof,

examples/anchor/counter/src/lib.rs

@@ -10,8 +10,7 @@ use light_sdk::{
     address::v1::derive_address,
     instruction::{
         account_meta::{CompressedAccountMeta, CompressedAccountMetaClose},
-        accounts::SystemAccountMetaConfig,
-        pack_accounts::PackedAccounts,
+        PackedAccounts, SystemAccountMetaConfig,
     },
 };
 use solana_sdk::{
@@ -138,7 +137,7 @@ where
         .value;
 
     let output_state_tree_index = rpc
-        .get_random_state_tree_info()
+        .get_random_state_tree_info()?
         .pack_output_tree_index(&mut remaining_accounts)?;
     let packed_address_tree_info = rpc_result
         .pack_tree_infos(&mut remaining_accounts)

examples/anchor/counter/tests/test.rs

@@ -17,7 +17,7 @@ use light_sdk::{
     address::derive_address,
     instruction_data::LightInstructionData,
     tree_info::{AddressTreeInfo, PackedAccounts},
-    utils::get_cpi_authority_pda,
+    find_cpi_signer_macro,
     verify::find_cpi_signer,
     PROGRAM_ID_ACCOUNT_COMPRESSION, PROGRAM_ID_LIGHT_SYSTEM, PROGRAM_ID_NOOP,
 };
@@ -66,7 +66,7 @@ async fn test_memo_program() {
         &memo::ID,
     );
 
-    let account_compression_authority = get_cpi_authority_pda(&PROGRAM_ID_LIGHT_SYSTEM);
+    let account_compression_authority = find_cpi_signer_macro!(&PROGRAM_ID_LIGHT_SYSTEM);
     let registered_program_pda = Pubkey::find_program_address(
         &[PROGRAM_ID_LIGHT_SYSTEM.to_bytes().as_slice()],
         &PROGRAM_ID_ACCOUNT_COMPRESSION,

examples/anchor/memo/tests/test.rs

@@ -20,7 +20,7 @@ use light_sdk::{
     error::LightSdkError,
     instruction_data::LightInstructionData,
     tree_info::{AddressTreeInfo, PackedAccounts},
-    utils::get_cpi_authority_pda,
+    find_cpi_signer_macro,
     verify::find_cpi_signer,
     PROGRAM_ID_ACCOUNT_COMPRESSION, PROGRAM_ID_LIGHT_SYSTEM, PROGRAM_ID_NOOP,
 };
@@ -76,7 +76,7 @@ async fn test_name_service() {
         &name_service_without_macros::ID,
     );
 
-    let account_compression_authority = get_cpi_authority_pda(&PROGRAM_ID_LIGHT_SYSTEM);
+    let account_compression_authority = find_cpi_signer_macro!(&PROGRAM_ID_LIGHT_SYSTEM);
     let registered_program_pda = Pubkey::find_program_address(
         &[PROGRAM_ID_LIGHT_SYSTEM.to_bytes().as_slice()],
         &PROGRAM_ID_ACCOUNT_COMPRESSION,

examples/anchor/name-service-without-macros/tests/test.rs

@@ -20,7 +20,7 @@ use light_sdk::{
         pack_address_merkle_context, pack_merkle_context, AddressTreeInfo, MerkleContext,
         PackedAddressTreeInfo, PackedMerkleContext, PackedAccounts,
     },
-    utils::get_cpi_authority_pda,
+    find_cpi_signer_macro,
     verify::find_cpi_signer,
     PROGRAM_ID_ACCOUNT_COMPRESSION, PROGRAM_ID_LIGHT_SYSTEM, PROGRAM_ID_NOOP,
 };
@@ -83,7 +83,7 @@ async fn test_name_service() {
     let address_merkle_context =
         pack_address_merkle_context(&address_merkle_context, &mut remaining_accounts);
 
-    let account_compression_authority = get_cpi_authority_pda(&PROGRAM_ID_LIGHT_SYSTEM);
+    let account_compression_authority = find_cpi_signer_macro!(&PROGRAM_ID_LIGHT_SYSTEM);
     let registered_program_pda = Pubkey::find_program_address(
         &[PROGRAM_ID_LIGHT_SYSTEM.to_bytes().as_slice()],
         &PROGRAM_ID_ACCOUNT_COMPRESSION,

examples/anchor/name-service/tests/test.rs

@@ -27,6 +27,7 @@ account-compression = { workspace = true, features = ["cpi"] }
 light-hasher = { workspace = true }
 light-sdk = { workspace = true }
 light-compressed-account = { workspace = true, features = ["anchor"] }
+light-sdk-types = { workspace = true }
 
 [target.'cfg(not(target_os = "solana"))'.dependencies]
 solana-sdk = { workspace = true }