Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

An index repository with submodules for different examples of Certora projects

An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.

Autonomous agents for everyone

ZerePy an open-source framework for AI agents written in Python

All you need account for authentication and payments on the web.

Notes on books I read, talks I watch, articles I study, and papers I love

A curated list of awesome things related to Telegram Mini Apps (TMA).

TON development for professionals - all-in-one tool for writing, testing and deploying smart contracts

A pirate-theme bootcamp for getting up to speed on Solana programming!

Template for jumpstarting production-ready Farcaster frames quickly. — no fuss, all fun!

An open source payments switch written in Rust to make payments fast, reliable and affordable

A ChatGPT UI. Stream OpenAI responses with Langchain and Nextjs

Extract the ABI (and resolve proxies, and get other metadata) from Ethereum bytecode, even without source code.

NoFWL Desktop Application

Provides tools for testing circom circuits.

Improved table navigation, formatting, and manipulation in Obsidian.md

RSA verification circuit using halo2 library.

Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.

Lowering client-side proving cost for private ZK signatures in circom

Zero Knowledge Proof for RSA

e-Passport NFC Reader Android app

A static analyzer and linter for the Circom zero-knowledge DSL

A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle

Circom circuit to permute an array from a hash value.

Build your zkp app with typescript, hardhat, circom, and snarkjs!

awesome-zkml repository