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.
Add a description, image, and links to the bytemuck topic page so that developers can more easily learn about it.
To associate your repository with the bytemuck topic, visit your repo's landing page and select "manage topics."