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 2 months ago
- On-chain Ethereum light client built with SP1☆81Dec 16, 2025Updated 3 months ago
- MNIST image classification neural network implemented entirely on the EVM☆29Mar 8, 2025Updated last year
- SimpleSerialize (SSZ) implementation optimised for speed and security☆28Mar 19, 2026Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆158Mar 6, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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 last year
- 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 11 months ago
- 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
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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 2 years ago
- ☆17Apr 25, 2023Updated 2 years ago
- A ZK-VM for the Brainfuck language, based on Stwo☆34Apr 3, 2025Updated 11 months ago
- 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 5 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Dec 10, 2025Updated 3 months ago
- ☆39Jul 30, 2025Updated 7 months ago
- ☆17Dec 16, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Simple implementation of KZG commitments in C☆13Nov 19, 2022Updated 3 years ago
- Cryptography libraries for ZKsync☆43Updated this week
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 10 months ago
- A curated list of zkVM, zero-knowledge virtual machine☆306Sep 29, 2025Updated 6 months ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆51Mar 20, 2026Updated last week
- Internal git helper for the InvArch INV4 protocol☆16Dec 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
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Vibe. Prove. Verify.☆38Feb 27, 2026Updated last month
- Ethereum Portal Network Client written in Go☆16Nov 24, 2025Updated 4 months ago
- Zig EVM☆34Nov 22, 2025Updated 4 months ago
- ☆31May 21, 2025Updated 10 months ago
- ☆46Updated 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☆22Jan 15, 2025Updated last year