gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledg…

A DSL for generating optimal EVM bytecode

This repository implements a Python function that recovers the private key from two different signatures that use the same random nonce during signature generation.

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 th…

A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.

Circuit Implementation of zkVM for zkSync Era

An ether-rs middleware to access reth's db directly, bypassing JSON-RPC

like htop for Ethereum and other EVM chains

Transports, Middleware, and Networks for the Alloy project

Factory smart contract to make easier and safer usage of the `CREATE` and `CREATE2` EVM opcodes as well as of `CREATE3`-based (i.e. without an initcode factor) contract creations.

Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests

Boojum, the scariest SNARK implementation.

Portfolio of my work.

Collection of security reviews of ZK Protocols

Symbolic stack CFG generator for EVM

Developer Wallet & DevTools for Anvil

friend.tech mempool sniper

Resources for the budding field of risk modelling and analysis in DeFi

A simple template to perform whitehacks safely

Replay and track historical state

Helper functions enabling players to solve past curta puzzles on their own time.

barretenburg in rust (here we go)