haythemsellami
Follow
Rust
x402 payments in Rust: verify, settle, and monitor payments over HTTP 402 flows
An LC-3 virtual machine written in Rust for learning purposes.
A repository containing succinct SP1 programs and prover service for proving zk evm chains on celestia
An transformer based LLM. Written completely in Rust
Transparent cross-chain transaction routing for EIP-7702 accounts
Call graph-based analysis tools for Solidity smart contracts. Visualize contract interactions, generate Foundry tests, analyze storage patterns, and trace execution paths.
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
Generates zero-knowledge proofs of Ethereum smart contract execution.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
A opensource blazing fast EVM relayer - built in rust.
Open-source solver implementation, tooling, and libraries to easy start filling cross-chain intents.
A blazingly fast general purpose blockchain analytics engine specialized in systematic mev detection
Rust implementation of the Ethereum Virtual Machine.
Multi-agent framework for design, simulation, and auditing.
A fast, secure, and portable multichain light client for Ethereum
The Ultimate Parallel EVM Engine: Transaction Execution, State Root Calculation, Shred Broadcasting. All in One and at Once!
EVM transactions querying CLI/TUI powered by Revm
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.