🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

llama3 implementation one matrix multiplication at a time

Deep Reinforcement Learning: Zero to Hero!

bybit simple market maker

A performant, 100% open-source, contributor-friendly zkVM.

Complete collection of code files (*.java/js/py/cpp/etc.) published on Project Nayuki website.

A smart contract implementation of the Ethereum light client sync protocol

🦀 Rust support library for semaphore

A symbolic execution engine for EVM smart contract binaries.

🦄 UniswapV3 fork that leverages a zkVM to compute swaps off-chain.

Delve into low-level RISC Zero machine

A summary of 100+ CTF blockchain challenges

A tool for analyzing the security and parameters of a solidity smart contract

CVP "trick" for CTF challenges

Plonky2 implementation for intmax ZK rollup

A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy

Guidelines and training material to write secure smart contracts

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.

Simple, intentionally-limited versions of web3 protocols & apps.

Reproduce DeFi hacked incidents using Foundry.

Lightning ⚡️ fast forecasting with statistical and econometric models.

Cairo is the first Turing-complete language for creating provable programs for general computation.

The Senior Solidity Engineer's Book is a resource meant to transform you into a Senior Solidity Engineer.