Stars
A modern runtime for JavaScript and TypeScript.
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
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
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
Distributed AI/LLM for the people. Share compute privately or publicly to power your agents and chat.
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 performant and modular zkVM framework built for customization and extensibility.
A STARK-based VM focused on code reuse, performance, and modularity
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
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
A smart contract wallet controlled using email
Open source toolkit created to enable easy adoption of software enclaves