Arithmetic and polynomial operations in finite fields.

A minimal KZG polynominal commitment library with a Solidity verifier

Step by step implementation of KZG

EIP-1559 gas estimation library, using the estimation strategy of MyCrypto.

A typescript package to execute JavaScript and TypeScript code in a webassembly quickjs sandbox

A Spotify player in the terminal with full feature parity

Truly independent web browser

Zero-Knowledge Proof Systems Circuit Compiler

MUD is a framework for building autonomous worlds

Container runtimes on macOS (and Linux) with minimal setup

Incentives For Transforming Ethereum Validator Dynamics

World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.

In-EVM Mina State Verification

Experimental folding schemes library

A Solidity implementation of Halo2's Pasta curves

Nova Verifier in Circom so it can be verified onChain

List of halo2-related resources

📡 PostgreSQL LISTEN & NOTIFY for node.js that finally works.

P256 signature verification solidity contract

Dafny is a verification-aware programming language

Baby SNARK (do do dodo dodo)

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

Scrape the Twitter frontend API without authentication with Golang.

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

General number field sieve for python

Poseidon hash function implemented in Solidity

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.