A modern runtime for JavaScript and TypeScript.

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

A command-line benchmarking tool

Unified developer tools for JavaScript, TypeScript, and the web

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

zkSync: trustless scaling and privacy engine for Ethereum

Source code spell checker

The Stacks blockchain implementation

The Nexus zkVM: The zero-knowledge virtual machine

A fast, secure, and portable multichain light client for Ethereum

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

An extensible open-source framework for creating private/permissioned blockchain applications

The Halo2 zero-knowledge proving system

A toolkit for polynomial IOPs (PIOPs)

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

Performance and security acceleration for zkVMs.

A STARK-based VM focused on code reuse, performance, and modularity

A performant and modular zkVM framework built for customization and extensibility.

A compiler for fully homomorphic encryption and zero knowledge proofs

Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.

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

Experimental folding schemes library

Making client-side ZK proving on mobile simple.

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

A smart contract wallet controlled using email

zkBitcoin: zero-knowledge proofs on Bitcoin!

Open source toolkit created to enable easy adoption of software enclaves