zobront/vyper-halmos

Stars
6
Rank 2,539,459 (Top 51 %)
Language
Solidity
Created 12 months ago
Updated 12 months ago

zobront/vyper-halmos

zobront

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

a (work in progress) pipeline for testing vyper contracts with 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

halmos-solady

Formally verifying consistency between Solmate and Solady using Halmos

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

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.