vaughanlove
Follow
Stars
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
High-Performance Symbolic Regression in Python and Julia
Toolkit for linearizing PDFs for LLM datasets/training
Modern, opinionated, and gas optimized building blocks for smart contract development.
Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Generate any location from the real world in Minecraft Java Edition with a high level of detail.
A curated list of zkVM, zero-knowledge virtual machine
On-chain dark pool. MPC for anonymous crosses at midpoint prices.
A private payment system for Ethereum-based blockchains, with no trusted setup.
A fast, secure, and portable multichain light client for Ethereum
A performant and modular zkVM framework built for customization and extensibility.
A modular stack for zkVMs, with a focus on productivity, security and performance.
The Nexus zkVM: The zero-knowledge virtual machine
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.
Label Studio is a multi-type data labeling and annotation tool with standardized output format
Get your documents ready for gen AI
Tooling for creating collaborative SNARKs for Circom and Noir circuits.
Official inference framework for 1-bit LLMs