Autonomous agents for everyone

OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.

A set of case studies for the Wintermute Alpha Challenge

Cleaned code for paper "Natural Language Inference over Interaction Space"

Butler for your Telegram community

User-friendly secure computation engine based on secure multi-party computation

Go implementation of MEV-Auction for Ethereum

Jupyter notebooks for tutorial on the Z3 SMT solver

Simple gas tray app for macOS

Official continuation of the famous Blobby Volley 1.x arcade game.

💖 Things I care about 💖

Heiswap Dapp - Mix and Mask your Ethereum Transactions!

An API wrapper that fetches prices from the most popular Ethereum decentralized exchanges

🦄 The unofficial Python client for the Uniswap exchange.

PoC of SNARK-driven Plasma with up to 500 tx/sec

Code and data for paper "Deep Painterly Harmonization": https://arxiv.org/abs/1804.03189

A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.

utilities for Bitcoin SPV proof verification on (many!) other chains

An Introduction to CBC Casper Consensus Protocols

Example SDK Module Tutorial

PeaceRelay: Connecting the Ethereum blockchains

RaspiBolt v3: Bitcoin & Lightning full node on a Raspberry Pi

A tool that serves as a Proof of Concept for the research I presented at DEF CON 26, "Compromising online accounts by cracking voicemail systems"

A guide to available tools and platforms for developing on Ethereum.

Minimal implementation of the Mimblewimble protocol.