Skip to content

feat: compressed attestations #97

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 18 commits into
base: master
Choose a base branch
from
Open

feat: compressed attestations #97

wants to merge 18 commits into from

Conversation

@ananas-block
Copy link

@ananas-block ananas-block commented Oct 6, 2025

Changes:

  1. new instructions including tests
  2. ci tests (integration, examples, rust lint)
  3. bump dependencies (pinocchio 0.9, forked pinocchio-token to bump the pinocchio version, solana 2.3.0)
  4. add rust format and lint scripts
  5. extend generate-clients.js with static compression accounts
  6. regenerate idls & clients
    • ts-client, added helpers:
      • deriveCompressedAttestationPda
      • fetchCompressedAttestation
  7. demos (compression rust, typescript gill and kit)
  8. fixed pinocchio-token initialize metadata instruction builder (tests didn't pass at least post version bump)

New Instructions:

  1. create compressed attestation
    • Same behavior as create attestation.
  2. close compressed attestation
    • Same behavior as close attestation.
  3. compress attestations
    • Only the credential authority can compress attestations.
    • Attestation pdas can be closed or not closed up on compression.

Tests

  1. create compressed attestation
    1. create_compressed_attestation_success
    2. create_compressed_attestation_invalid_data
    3. create_compressed_attestation_paused_schema
    4. create_compressed_attestation_unauthorized_signer
    5. create_compressed_attestation_expired
    6. create_compressed_attestation_wrong_credential
    7. create_compressed_attestation_wrong_address_tree
  2. close compressed attestation
    1. close_compressed_attestation_success
    2. close_compressed_attestation_unauthorized_signer
    3. close_compressed_attestation_wrong_credential
    4. close_compressed_attestation_paused_schema_success
    5. close_compressed_attestation_invalid_attestation_data
    6. close_compressed_attestation_max_data_size
  3. compress attestations
    1. test_compress_1_attestation_no_close
    2. test_compress_2_attestations_no_close
    3. test_compress_1_attestation_with_close
    4. test_compress_2_attestations_with_close
    5. test_compress_attestation_unauthorized_signer
    6. test_compress_attestation_wrong_credential
    7. test_compress_attestation_invalid_address_tree

TODO:

  • replace light git dependencies, and bump stateless.js version as soon as packages are released
  • add light cli to ci tests as soon as released
  • cleanup

@ananas-block
chore: bump pinocchio deps to 0.9
55d9c07 
feat: add lint and format scripts, chore: remove version bump warnings

feat: create compressed account

test: create compressed attestation

feat: add close compressed attestation

test: close compressed attestation

feat: compress attestations

test: compress attestations

fix: add minimum account size validation to prevent panics

- Add MIN_ATTESTATION_SIZE (173 bytes) check in attestation.rs
- Add MIN_CREDENTIAL_SIZE (41 bytes) check in credential.rs
- Add MIN_SCHEMA_SIZE (51 bytes) check in schema.rs
- Add MIN_INSTRUCTION_SIZE (174 bytes) check in create_compressed_attestation.rs
- Return InvalidAccountData/InvalidInstructionData on undersized buffers

fix: add account size validation for compressed attestations

- Add minimum size constants to prevent panics in try_from_bytes
- Add MAX_COMPRESSED_ATTESTATION_SIZE (350 bytes) to fit in 1232 byte mainnet MTU
- Apply validation in create_compressed_attestation and compress_attestations
- Add test verifying transaction sizes with 350 byte data

refactor: compress attestations, add constant accounts to codama clients

feat: add rust demo

feat: add gill example

feat: add kit example

fix: token22 tests

chore: add ci
dev-jodee
dev-jodee reviewed Oct 21, 2025
View reviewed changes
Copy link
Contributor

@dev-jodee dev-jodee left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just a couple of small optimizations / nits :)

@ananas-block
chore: add examples & compressed attestations to ci
5d036f8
@ananas-block
chore: update to latest light-sdk no-std
570a233
@ananas-block
refactor: use confirmTransactionIndexed instead of sleep
08c6ba4
@ananas-block
refactor: add PDA utilities to Rust SDK and update tests
4f0cb11 
- Add clients/rust/src/pdas.rs with centralized PDA derivation functions
- Fix derive_schema_pda to use u8 version (1 byte) instead of u32 (4 bytes)
- Use const-evaluated PDAs for EVENT_AUTHORITY and SAS_AUTHORITY
- Update all compressed test files to use SDK PDA functions
- Update compression-demo example to use SDK PDA functions
- Move TestData and TestFixtures to helpers module
@ananas-block
refactor: add error codes to IDL and use named constants in tests
e84cb4e 
- Add thiserror derive to program errors for IDL export
- Generate error enum in Rust client
- Replace hardcoded error numbers with SolanaAttestationServiceError constants in tests
@ananas-block
refactor: add compress account event
4d472df
@ananas-block
refactor: use CompressedProof::from and ValidityProof::try_from
2289ed4
@ananas-block
refactor: unify create compressed account code
8358cb9
@ananas-block
refactor: use nostd light-hasher::Sha256BE instead of manual syscall …
d218d46 
…impl
@ananas-block
chore: add make file, remove lint and format scripts
fdd1f43
@ananas-block ananas-block marked this pull request as ready for review October 23, 2025 02:07
@ellipsis-dev
Copy link

ellipsis-dev bot commented Oct 23, 2025

⚠️ This PR is too big for Ellipsis, but support for larger PRs is coming soon. If you want us to prioritize this feature, let us know at [email protected]

Generated with ❤️ by ellipsis.dev

@ananas-block ananas-block force-pushed the jorrit/feat-compressed-attestations branch 6 times, most recently from 6c885f6 to c1fc8e8 Compare October 23, 2025 03:29
@ananas-block
Copy link
Author

ananas-block commented Oct 23, 2025 •
edited
Loading

Thanks for the comments addressed all of them.

remaining TODOs:

  • add lookup table to test to relax the 350 bytes size constraint
  • fix versions (still need to do releases)
  • double check open questions see slack

@ananas-block ananas-block force-pushed the jorrit/feat-compressed-attestations branch from c1fc8e8 to 7da5fd3 Compare October 23, 2025 03:44
@ananas-block ananas-block force-pushed the jorrit/feat-compressed-attestations branch 4 times, most recently from 3901b7d to 0514263 Compare October 23, 2025 18:11
@ananas-block ananas-block force-pushed the jorrit/feat-compressed-attestations branch from 0514263 to e4fa189 Compare October 23, 2025 18:46
@ananas-block ananas-block force-pushed the jorrit/feat-compressed-attestations branch from 6cc51cb to f72fd84 Compare October 28, 2025 18:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@dev-jodee dev-jodee dev-jodee left review comments

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@ananas-block @dev-jodee