zobront Goto Github PK

4byte-collider

Simple Rust script for finding colliding 4byte function selectors

alloy

Transports, Middleware, and Networks for the Alloy project

alloy-core

High-performance, well-tested & documented core libraries for Ethereum, in Rust

audits

public audit & bug reports

aztec-hipster-airdrop

use proof of historic private state to claim an airdrop

aztec-poker

proof of concept zk-based trustless poker game on aztec

aztec-rps

toy examples of rock paper scissors on aztec

benft3-frontend

billy-the-bull

biorxiv-sanity-preserver

Web interface for browsing, search and filtering recent bioRxiv submissions

blog

certora

Practical tutorials of Certora Prover

clones-with-immutable-args

dapp-template

A simple minimal structure for a DApp built with Ethers, Hardhat, Mocha and NextJS

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.

fastbook

The fastai book, published as Jupyter Notebooks

first-contributions

🚀✨ Help beginners to contribute to open source projects

fogofwar

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

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

foundry-book

A book on all things Foundry, available at https://book.getfoundry.sh.

gist

A simple script to extract the most relevant sentence in a body of text, using GloVe word embeddings.

halmos

Symbolic Bounded Model Checker for Ethereum Smart Contracts Bytecode

halmos-solady

Formally verifying consistency between Solmate and Solady using Halmos

homerolled-zk

simple zk implementations in python

http-rs

kona

A suite of libraries and build pipelines for developing verifiable Rust programs targeting Fault Proof VMs.

multisig

A simple multisig wallet with voting for fund release.

mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

nft-snapshot

A script to scrape owners of a given NFT. Helpful for snapshots for airdrops, white lists, etc.