Thomas Coratger's Projects
Libraries for finite field, elliptic curve, and polynomial arithmetic
Transports, Middleware, and Networks for the Alloy project
Apache Avro is a data serialization system.
A list of awesome Reth-related resources
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
Write and publish your own blockchain in less than 200 lines of Go
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Implementation of the BLS12-381 pairing-friendly elliptic curve group
A library to generate bindings from Cairo ABI.
Cairo is the first Turing-complete language for creating provable programs for general computation.
cairo-vm 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 without the need for this party to re-execute the same program.
A typescript implementation of the Cairo VM
โก Cairo VM in Zig โก
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
High-performance, well-tested & documented core libraries for Ethereum, in Rust
Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
Dojo is a provable game engine and toolchain for building onchain games and autonomous worlds with Cairo
Test runner for ethereum foundation tests
EVM Execution Hooks.
Specification for the Execution Layer. Tracking network upgrades.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Official Go implementation of the Ethereum protocol