sbpf

ECVRF-EDWARDS25519-SHA512-TAI verification for Solana programs.

This video transcription explores techniques for optimizing Solana programs, focusing on the efficiency of computation, storage, and data. It includes practical tips, code examples, and performance comparisons between different frameworks such as Anchor and Pinocchio, as well as optimizations in assembly language.

Write Solana BPF programs in Swift using upstream Rust toolchain, LLVM, and sbpf-linker.

A collection of Solana programs exploring on-chain systems, program architecture, DeFi primitives, account models, cryptography, and low-level Solana development.

On-chain orderbook DEX on Solana — Pinocchio program, real-time indexer, and REST API. Built for raw SBPF with zero framework overhead.

A Ghidra processor module providing support for Solana eBPF.

rBPF exploration - done as preparation for writing Solana Programs that use sBPF for execution

Memo program for Blueshift

Time-based validation instruction for Blueshift

Local workbench to reverse-engineer, replay, and probe deployed Solana sBPF programs from bytecode, with a labeled bug-detector benchmark

Basic slippage check instruction for Blueshift

Blueshift memo challenge, hand-written sBPF assembly

Solisp - A LISP dialect for Solana blockchain automation, scripting, and sBPF compilation

A debugger for Solana sBPF programs (C)

Offline interface recovery for Solana sBPF programs: Anchor instructions, accounts and events, each backed by byte-offset evidence. Rust, CLI and WebAssembly.

Blueshift slippage challenge in sBPF assembly — runtime instruction-data offset, branchless align8

eBPF exploration, done as practice for better eBPF and sBPF udnerstanding

Blueshift timeout challenge in sBPF assembly — 48 bytes of .text, Clock read with zero syscalls

The circuit breaker your Solana protocol's own admin can't turn off.