Code used in a recent presentation showing off noir storage proofs

Circom to Gnark Groth16 parser and recursion example

The pioneer blockchain explorer dedicated to navigate and visualize shard blob transactions.

A STARK prover and verifier for arbitrary computations

Advanced crypto library for the Go language

Pure-Rust implementation of the UC-secure "Tiresias: Scalable, Maliciously Secure Threshold Paillier"

Threshold Paillier implementation in Go, based on "A generalization of Paillier’s public-key system with applicationsto electronic voting" paper.

Virtual whiteboard for sketching hand-drawn like diagrams

🏔 Love Freedom - ❌ Block Mass Surveillance

eRPC — fault-tolerant evm rpc proxy

Platform to experiment with the AI Software Engineer. Terminal based. NOTE: Very different from https://gptengineer.app

The first real AI developer

Smart contracts for Degen Communities

A collection of Solidity libraries for interacting with the Farcaster messages on-chain

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

EVM storage proof helpers empowering ERC token based governance

storage proof made by sp1

A farcaster frame for voting with Vocdoni a.k.a. Votecaster

Implementation of PLUME: nullifier friendly signature scheme on ECDSA

💌 A beautiful, fast and fully open source mail client for Mac, Windows and Linux.

Scripts to create and run a zk-ceremony for circom circuits.

Aragon OSx plugin that enables off-chain voting using the Vocdoni protocol

CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

Golang library and a HTTP/API service that can be used to fetch an updated list of token holders for a Ethereum ERC20, ERC721, ERC777, or other external providers (ex. POAPs or GitcoinPassport).

🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming

.ptau deserializer for gnark groth16 bn254 trusted setup