Optimize prompts, code, and more with AI-powered Reflective Text Evolution

AI Observability & Evaluation

The Valida execution engine, prover, and verifier

JAX - A curated list of resources https://github.com/google/jax

Open-source framework for the research and development of foundation models.

A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.

revm/reth block proving on Valida

Public releases for the Valida toolchain

The entry point for Rust projects to be run on Valida

Spring Framework

convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to [email protected] to contribute / productionize.

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

A toolkit for polynomial IOPs (PIOPs)

Old, obsolete version of the Valida compiler; its replacement will become public later

Performance and security acceleration for zkVMs.

compiler tooling for Stark-based zkVMs

comparing the performance of different zero-knowledge proof libraries

1wallet | Modulo OTP Wallet - unconventional keyless, non-custodial wallet secured by Google Authenticator. EVM-compatible, smart contract operated, with composable security.

knowledge base of ZKP including applications, hardware, technical discussions and more.

A curated list of awesome ZK resources, libraries, tools and more.