Pinned Repositories
4byte-collider
Simple Rust script for finding colliding 4byte function selectors
audits
public audit & bug reports
dna-computing-simulator
A simple Python simulator that mirrors Adleman's 1994 DNA computing paper.
ethernaut
Complete solutions to all of OpenZeppelin's Ethernaut security challenges.
halmos-solady
Formally verifying consistency between Solmate and Solady using Halmos
homerolled-zk
simple zk implementations in python
nft-snapshot
A script to scrape owners of a given NFT. Helpful for snapshots for airdrops, white lists, etc.
paradigm-ctf
template for efficient paradigm ctf testing & scripts
quickpoc
easy POC template generation from the command line
xchain
Cross chain call library for Solidity
zobront's Repositories
zobront/quickpoc
easy POC template generation from the command line
zobront/audits
public audit & bug reports
zobront/paradigm-ctf
template for efficient paradigm ctf testing & scripts
zobront/4byte-collider
Simple Rust script for finding colliding 4byte function selectors
zobront/halmos-solady
Formally verifying consistency between Solmate and Solady using Halmos
zobront/homerolled-zk
simple zk implementations in python
zobront/aztec-poker
proof of concept zk-based trustless poker game on aztec
zobront/fogofwar
a simple 2 player card game, with an pinch of zk mystery
zobront/vyper-halmos
a (work in progress) pipeline for testing vyper contracts with halmos
zobront/zkdna
zk proof of variant
zobront/aztec-hipster-airdrop
use proof of historic private state to claim an airdrop
zobront/billy-the-bull
zobront/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
zobront/foundry-book
A book on all things Foundry, available at https://book.getfoundry.sh.
zobront/halmos
Symbolic Bounded Model Checker for Ethereum Smart Contracts Bytecode
zobront/kona
A suite of libraries and build pipelines for developing verifiable Rust programs targeting Fault Proof VMs.
zobront/root
Core library for DeFi.
zobront/tiny-merkle
zobront/z3
The Z3 Theorem Prover
zobront/zobront.github.io
source for zachobront.com
zobront/alloy
Transports, Middleware, and Networks for the Alloy project
zobront/alloy-core
High-performance, well-tested & documented core libraries for Ethereum, in Rust
zobront/aztec-rps
toy examples of rock paper scissors on aztec
zobront/clones-with-immutable-args
zobront/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
zobront/snekmate
State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.
zobront/solidity
Solidity, the Smart Contract Programming Language
zobront/sp1
A performant, 100% open-source, contributor-friendly zkVM.
zobront/vyper
Pythonic Smart Contract Language for the EVM
zobront/wait-timeout
Waiting on a child process with a timeout in Rust