A small, formally verified Solana program in Pinocchio: hermetic builds, zero-copy wire data, Creusot proofs. Companion repo for a 3-part article series.
-
Updated
Jul 13, 2026 - Rust
A small, formally verified Solana program in Pinocchio: hermetic builds, zero-copy wire data, Creusot proofs. Companion repo for a 3-part article series.
A high-performance, dual-implementation (Anchor reference + native zero-copy) Solana stablecoin payment rail with enterprise-grade orchestrator, idempotent APIs, webhook reliability, and future-proof on-chain state
Ultra fast 64-bit unique ID generator and parser.
To associate your repository with the bytemuck topic, visit your repo's landing page and select "manage topics."