prove evm app in pico brevis-network/zkvm.

A opensource blazing fast EVM relayer - built in rust.

C++ library for zkSNARKs

Solarity Solidity Library

Community edition of Nightfall_4

An transformer based LLM. Written completely in Rust

Next Generation Agentic Proxy for AI Agents and MCP servers

An order book dex powered by zkVM (and BFT)

zkVM with only 10 instructions using Halo2

Deploying AI model with spring boot

Sign In With Ethereum Using Rust

The `io_uring` library for Rust

A flexible toolkit for building real-time blockchains

A concise, beginner-friendly introduction to the core ideas of linear algebra.

OptionStratLib is a comprehensive Rust library for options trading and strategy development across multiple asset classes.

A drop-in replacement for react-markdown, designed for AI-powered streaming.

A compact EVM implementation with rust

A comprehensive quantitative trading system with AI-powered analysis, real-time data processing, and advanced risk management

A Trust-minimized Bitcoin Bridge

BitVM Groth16 Verifier Toolkit - WIP

A mini Solana layer2 (network extension) project.

Super-fast Merklized Embedded Key-Value Store for blockchain nodes

A high-performance, thread-safe limit order book implementation written in Rust. This project provides a comprehensive order matching engine designed for low-latency trading systems, with a focus o…

What are the principles we can use to build LLM-powered software that is actually good enough to put in the hands of production customers?

Solana list of zk shiz

The ZK Compression Protocol For Solana