Practical security checklist and auditing guide for engineers reviewing SP1/RISC-V guest programs (also useful for Risc0). Covers input...

Sublinear-space ZKP system in Rust: a streaming prover that uses only O(√T) memory to commit wires/Z/Q via KZG (BN254) with blocked IFFT and aggregate-only Fiat–Shamir. Supports eval/coeff bases, d...

Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc. - GitHub - riscv/learn: Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.

P-token is a new drop-in replacement for the SPL Token program that delivers an impressive 95%+ reduction in compute unit consumption.

A practical deep dive into game theory, correlation, and mechanism design for LayerZero (split), CCIP (quorums), and Across (optimistic)Most bridges don’t fa...

EDB: The Ethereum Project Debugger. Contribute to edb-rs/edb development by creating an account on GitHub.

This is the story of how Payy transformed their ZK ecosystem from one bottlenecked by a single developer to a system their entire team can modify and maintain.

Building a Solana ELF from scratch. Contribute to bidhan-a/solana-elf-from-scratch development by creating an account on GitHub.

A curated collection of Foundry-based tests reproducing real-world EVM attacks.

Impersonate any Ethereum Account and Login into DApps via WalletConnect, iframe or Extension!

# Fusaka Auditor Handbook ## Local devnets for testing A Kurtosis package that deploys a private, p

This article starts a series on the AST interpretation of Vyper. I built Ivy, an AST interpreter for Vyper, with the goal of an easy-to-read executable specification of the language in Python. Ivy primarily serves as a fuzzing oracle for differential testing…

An ultra-high performance and flexible EVM. Written in zig - evmts/guillotine

Sui’s Move language significantly improves flash loan security by replacing Solidity’s reliance on callbacks and runtime checks with a “hot potato” model that enforces repayment at the language level. This shift makes flash loan security a language guarantee…

Contribute to cryptography-camp/workbook development by creating an account on GitHub.

Learn all about proprietary AMMs, a new market-making primitive pioneered on Solana

The biggest financial impact expected to be the millions of dollars of SaaS contracts signed with security vendors