Zach Obront

quickpoc. easy POC template generation from the command line

audits. public audit & bug reports

paradigm-ctf. template for efficient paradigm ctf testing & scripts

xchain. Cross chain call library for Solidity

4byte-collider. Simple Rust script for finding colliding 4byte function selectors

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.

pv4d. private voting for dummies

aztec-poker. proof of concept zk-based trustless poker game on aztec

ethernaut. Complete solutions to all of OpenZeppelin's Ethernaut security challenges.

dna-computing-simulator. A simple Python simulator that mirrors Adleman's 1994 DNA computing paper.

tla-specs. TLA

dapp-template. A simple minimal structure for a DApp built with Ethers, Hardhat, Mocha and NextJS

vyper-halmos. a (work in progress) pipeline for testing vyper contracts with halmos

fogofwar. a simple 2 player card game, with an pinch of zk mystery

token-ping. An npm package for easily querying ERC20, ERC721, or ERC1155 data with no setup.

zkdna. zk proof of variant

aztec-hipster-airdrop. use proof of historic private state to claim an airdrop

billy-the-bull. Solidity

obrontcom. JavaScript