Add Borsh serialization and Solana support#207

Open

AHartNtkn wants to merge 13 commits into

anthony/arm-dep-minimumfrom

anthony/arm-solana-support

Commits on Feb 25, 2026

Add Solana deps, Borsh feature flags, Digest safety, and VK constants

AHartNtkn
and
claude
committed
Add Borsh derives on all public types

AHartNtkn
and
claude
committed
Feature-conditional serialization and journal changes

AHartNtkn
and
claude
committed
Add solana_delta module for on-chain delta verification

AHartNtkn
and
claude
committed
Add borsh/bin feature forwarding to circuit guests

AHartNtkn
and
claude
committed
fix: bind logic journals to action context and harden guest feature gating
AHartNtkn
committed
fix: remove unused solana_delta test import
AHartNtkn
committed
fix: enforce backend feature exclusivity and tighten compliance cfgs
AHartNtkn
committed
Add test demonstrating DeltaWitness bincode serde roundtrip failure

AHartNtkn
and
claude
committed
Fix DeltaWitness serde Deserialize to match Serialize

AHartNtkn
and
claude
committed
Fix placeholder DeltaWitness serde and remove stale test comment

AHartNtkn
and
claude
committed
fix: replace unstable is_multiple_of with modulo check

AHartNtkn
and
claude
committed
fix: restore zkvm/k256 features in trivial-logic-guest lost during rebase

AHartNtkn
and
claude
committed