Stars
A modular stack for zkVMs, with a focus on productivity, security and performance.
Trustless access web2 from web3. Proveable TLS for all chains.
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
📰 Must-read papers and blogs on LLM based Long Context Modeling 🔥
Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting yo…
🤯 Lobe Chat - an open-source, modern-design AI chat framework. Supports Multi AI Providers( OpenAI / Claude 3 / Gemini / Ollama / Azure / DeepSeek), Knowledge Base (file upload / knowledge manageme…
Privacy-preserving Bitcoin light-client implementation in Rust
Bitcoin Script interpreter implemented in Rust
OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.
A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
A storage system inspired by Besu using Starknet Merkle Trees
Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
⚙️ Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.