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

Basic slippage check instruction for Blueshift

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

Blueshift memo challenge, hand-written sBPF assembly

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

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

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