A typescript package to execute javascript 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.

Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)

Background Remover lets you Remove Background from images and video using AI with a simple command line interface that is free and open source.

Low-Budget Password Strength Estimation

Elliptic Curve arithmetic operations written in Noir