zobront/halmos-solady

Stars
50
Rank 577,233 (Top 12 %)
Language
Solidity
Created almost 2 years ago
Updated 4 months ago

zobront/halmos-solady

zobront

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Formally verifying consistency between Solmate and Solady using Halmos

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

nft-snapshot

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

homerolled-zk

simple zk implementations in python

ethernaut

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

aztec-poker

proof of concept zk-based trustless poker game on aztec

pv4d

private voting for dummies

tla-specs

dna-computing-simulator

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

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

rps

Dummy project to play with The Graph

gist

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

Jupyter Notebook

obrontcom

billy-the-bull

aztec-hipster-airdrop

use proof of historic private state to claim an airdrop

multisig

A simple multisig wallet with voting for fund release.

http-rs

benft3-frontend

blog

swirl-and-mint

Use AI neural style transfer to artistically combine two images, then mint as an NFT with one click.

regal-raptors

Regal Raptors are a collection of Ethereum NFTs created by multiple artists with 100% of proceeds going to raptor conservation (hawk, falcon, eagle, and owl). Each image is a Founding Member token redeemable for in-person raptor experiences coming 2022-2024.