Projects from the Succinct ZK Residency
☆20Oct 23, 2024Updated last year
Alternatives and similar repositories for zk-residency
Users that are interested in zk-residency are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 3 months ago
- On-chain Ethereum light client built with SP1☆81Dec 16, 2025Updated 4 months ago
- MNIST image classification neural network implemented entirely on the EVM☆29Mar 8, 2025Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆160Apr 15, 2026Updated 3 weeks ago
- SimpleSerialize (SSZ) implementation optimised for speed and security☆28Apr 11, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Smart contracts for tokenizing creators & communities ✨☆11May 30, 2024Updated last year
- monorepo for dart/flutter packages☆15Dec 25, 2022Updated 3 years ago
- Parsers and formatters for person names, street addresses, city/state/zip, phone numbers, etc.☆37Feb 27, 2018Updated 8 years ago
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated 2 years ago
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- This project covers a frontend DApp that encrypts data using Lit and uploads, stores, and retrieves data from IPFS.☆14Sep 20, 2023Updated 2 years ago
- distributed sequencer with zk consensus☆31Apr 13, 2025Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A TUI application used to create and modify assets for games written in Rust☆15Mar 23, 2025Updated last year
- 👩💻 Circom compiler, snippets, hover and language support for Visual Studio Code☆16Apr 20, 2023Updated 3 years ago
- ☆17Apr 25, 2023Updated 3 years ago
- A ZK-VM for the Brainfuck language, based on Stwo☆34Apr 3, 2025Updated last year
- Solidity Function Selector Miner (AVX2 + Multithreaded)☆10Nov 27, 2023Updated 2 years ago
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Sep 30, 2025Updated 7 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Apr 14, 2026Updated 3 weeks ago
- ☆39Jul 30, 2025Updated 9 months ago
- ☆17Dec 16, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Simple implementation of KZG commitments in C☆14Nov 19, 2022Updated 3 years ago
- Cryptography libraries for ZKsync☆44Apr 28, 2026Updated last week
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 11 months ago
- A curated list of zkVM, zero-knowledge virtual machine☆312Sep 29, 2025Updated 7 months ago
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆51Updated this week
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- Internal git helper for the InvArch INV4 protocol☆15Dec 19, 2022Updated 3 years ago
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Ethereum Portal Network Client written in Go☆16Nov 24, 2025Updated 5 months ago
- Zig EVM☆34Nov 22, 2025Updated 5 months ago
- ☆31May 21, 2025Updated 11 months ago
- Vibe. Prove. Verify.☆40Feb 27, 2026Updated 2 months ago
- ☆48Updated this week
- An efficient constant gas function dispatch pattern for solidity external libraries.☆15Sep 1, 2023Updated 2 years ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆24Jan 15, 2025Updated last year