☆21Dec 1, 2025Updated 3 months ago
Alternatives and similar repositories for corset
Users that are interested in corset are comparing it to the libraries listed below
Sorting:
- ☆24Jan 10, 2024Updated 2 years ago
- Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM c…☆57Updated this week
- EraVM specification.☆18Updated this week
- ☆15Nov 22, 2025Updated 3 months ago
- This repo includes the base contracts and circuits for the Bank of JubJub.☆10Feb 18, 2025Updated last year
- Prover Manager☆25Feb 27, 2026Updated last week
- Linea Sequencer Implementation☆34May 28, 2025Updated 9 months ago
- Circom circuits library for magnificent ZK applications☆14Jun 4, 2025Updated 9 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Apr 20, 2024Updated last year
- devp2p implementation from akula☆15Mar 6, 2023Updated 3 years ago
- Caliptra MCU Software☆24Updated this week
- ☆18Jun 30, 2024Updated last year
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 10 months ago
- ☆19Jun 18, 2024Updated last year
- Decentralized Programmable Data, written in assembly☆33Jul 11, 2022Updated 3 years ago
- Proof of concept trade simulation using state overrides☆23Sep 8, 2022Updated 3 years ago
- Read dex state (e.g. Uniswap) from reth db☆30Oct 20, 2024Updated last year
- huff-neo marks a new dawn for the once-abandoned huff-rs, breathing fresh life into its legacy.☆57Feb 3, 2026Updated last month
- SPIR-🇹: shader-focused IR to target, transform and translate from 🦀☆30Dec 22, 2025Updated 2 months ago
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 11 months ago
- ☆23Jun 12, 2025Updated 8 months ago
- REST API for snarkjs prover☆19Mar 14, 2023Updated 2 years ago
- Procedural macro for automatically implementing metrics description and initialization.☆24Feb 11, 2026Updated 3 weeks ago
- fhevm-go is an open-source library used to easily integrate the fhEVM into an EVM-compatible blockchain.☆39Sep 13, 2024Updated last year
- ethereum indexer SDK 👻🦀☆22Nov 28, 2024Updated last year
- High performance EraVM for zkSync.☆23Feb 26, 2026Updated last week
- A Golang SHA256 library optimized for Merkle Trees☆23Aug 21, 2025Updated 6 months ago
- plonky2 proving over paladin☆22Jun 19, 2024Updated last year
- circom language server☆21Feb 22, 2026Updated last week
- Executable formal model of the EVM and Yul in Lean 4.☆65Nov 19, 2025Updated 3 months ago
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 7 months ago
- Like Safe... but secret 🥷🏽☆63Jan 8, 2025Updated last year
- ☆33Mar 27, 2024Updated last year
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- bignum☆29Feb 20, 2026Updated 2 weeks ago
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 3 months ago