succinctlabs / zk-residencyView external linksLinks
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
Sorting:
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 2 weeks ago
- On-chain Ethereum light client built with SP1☆80Dec 16, 2025Updated 2 months ago
- MNIST image classification neural network implemented entirely on the EVM☆29Mar 8, 2025Updated 11 months ago
- SimpleSerialize (SSZ) implementation optimised for speed and security☆27Jan 28, 2026Updated 2 weeks ago
- Solidity Function Selector Miner (AVX2 + Multithreaded)☆10Nov 27, 2023Updated 2 years ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Dec 10, 2025Updated 2 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated last year
- ☆17Apr 25, 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 4 months ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- Zig EVM☆34Nov 22, 2025Updated 2 months ago
- Data & code accompanying Paradigm's How to Raise the Gas Limit post.☆32Mar 4, 2024Updated last year
- Cryptography libraries for ZKsync☆39Updated this week
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 9 months ago
- A TUI application used to create and modify assets for games written in Rust☆15Mar 23, 2025Updated 10 months ago
- World Chain monorepo☆94Updated this week
- ☆38Jul 30, 2025Updated 6 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆152Updated this week
- A ZK-VM for the Brainfuck language, based on Stwo☆34Apr 3, 2025Updated 10 months ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆41Feb 6, 2026Updated last week
- Refund Protocol: a smart contract for stablecoin payment disputes.☆24Oct 30, 2025Updated 3 months 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
- Yan (炎) is a high-performance CUDA operator library designed for learning purposes while emphasizing clean code and maximum performance.☆18Jul 21, 2025Updated 6 months ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆48Jan 23, 2026Updated 3 weeks ago
- The gas-analyzer is a tool for Ethereum developers seeking to enhance the efficiency and gas optimization of their Solidity code by Lever…☆18Apr 22, 2024Updated last year
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- An efficient constant gas function dispatch pattern for solidity external libraries.☆15Sep 1, 2023Updated 2 years ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- Pure Rust implementation of of the post-quantum CRYSTALS-Dilithium algorithm☆27Updated this week
- ☆95Updated this week
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- ☆17Dec 16, 2021Updated 4 years ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆21Jan 15, 2025Updated last year
- 👩💻 Circom compiler, snippets, hover and language support for Visual Studio Code☆16Apr 20, 2023Updated 2 years ago
- ☆46Feb 2, 2026Updated 2 weeks ago