greged93's repositories
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
keth
Integration of the Kakarot Ethereum execution layer in the Reth client.
trie
Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
kakarot-rpc
Kakarot ZK EVM Ethereum RPC adapter
dna
Apibara is the fastest platform to build production-grade indexers that connect onchain data to web2 services.
compute-graph
A computational graph implementation in Rust
dojo
An Onchain Game Engine implemented in Cairo 1.0
kakarot
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
ef-tests
test runner for ethereum foundation tests
aligned_layer
Aligned Layer is a verification layer for zero-knowledge proofs using Eigen Layer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum..
cairo_native
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
alloy
Transports, Middleware, and Networks for the Alloy project
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
revm
Ethereum Virtual Machine written in rust that is fast and simple to use
hack_compiler
Hack compiler from the nand2tetris project written in Rust
hack_assembler
nand2Tetris hack assembler implementation in Rust
starknet_in_rust
A Rust implementation of Starknet execution logic
monnaie-sdk
Monnaie SDK for standardized EVM transfers
solana-program-library
A collection of Solana programs maintained by Solana Labs
madara
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
starkli
Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀
stark-anatomy
Translation of the "Anatomy of a STARK" Python code to Rust
cairo-rs
cairo-rs is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
kakarot-ssj
Kakarot ZK-EVM in Cairo 1.0 🐺 ⚡
cairo-native-example
Small example of running cairo-native
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
starknet-jsonrpc-codegen
Tool for generating the Starknet JSON-RPC code used in `starknet-rs`
tests
Common tests for all Ethereum implementations
cairo-vm-go
A virtual machine for Cairo 1 written in Go