The registry with Distributed Lab papers
☆68Nov 9, 2025Updated 3 months ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below
Sorting:
- Hardhat template typescript project for ad-hoc solidity development☆32Nov 27, 2025Updated 3 months ago
- RLN on KZG☆21Sep 20, 2023Updated 2 years ago
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Sep 4, 2024Updated last year
- Matcha Monday Webring☆12Feb 22, 2026Updated last week
- ☆10Apr 24, 2022Updated 3 years ago
- ☆10Oct 24, 2022Updated 3 years ago
- Parallel EVM inspired by BlockSTM☆38Updated this week
- Bulletproofs++ implementation on Go☆29Jun 20, 2024Updated last year
- ☆14Aug 29, 2024Updated last year
- ☆14Feb 20, 2026Updated last week
- A curated list of Plonky3 resources, libraries, tools and more.☆43Dec 1, 2025Updated 3 months ago
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆87Jun 30, 2025Updated 8 months ago
- Private multisig implementation☆18Dec 12, 2025Updated 2 months ago
- Copilot source provider for blink.cmp☆13Nov 5, 2024Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 7 months ago
- Circom circuits library for magnificent ZK applications☆14Jun 4, 2025Updated 8 months ago
- Spire Labs' litepaper (it's pretty based bro)☆16Oct 31, 2024Updated last year
- A Reth Execution Extension (ExEx) with shared object (.so / .dylib) plugins☆16Oct 12, 2024Updated last year
- Taprootized Atomic Swaps (TAS) is an extension for Atomic Swaps that presumes the untraceability of transactions related to a particular …☆68Mar 13, 2025Updated 11 months ago
- The ultimate TypeScript environment for Circom development☆96Jan 3, 2026Updated last month
- Solarity Solidity Library☆392Feb 2, 2026Updated 3 weeks ago
- Token Balance Storage Slot Searcher☆15May 9, 2024Updated last year
- A Rust library to interact with ERC-20 contracts using Alloy.☆15Feb 21, 2026Updated last week
- A network control-plane simulator☆19Jan 29, 2026Updated last month
- sudoku game verify by zksnark.☆21Dec 21, 2022Updated 3 years ago
- Proof of slashed validator inside the EVM☆20Apr 30, 2024Updated last year
- This repo explains the design and usage of Unified Bridge and Bridge-and-Call.☆18Apr 24, 2025Updated 10 months ago
- Get smart contract diagrams☆39Oct 27, 2025Updated 4 months ago
- A curated list of awesome EIP-7702 delegation destinations.☆73Dec 1, 2025Updated 3 months ago
- A monorepo of reusable Noir circuits.☆50Jan 24, 2026Updated last month
- Source files for ZKDL Lectures☆24Nov 17, 2025Updated 3 months ago
- EraVM implementation☆19Sep 5, 2024Updated last year
- A collection of awesome Miden links, resources and shiny things.☆18Jun 12, 2025Updated 8 months ago
- Introduction to various ZK languages☆89Sep 5, 2025Updated 5 months ago
- SSZ-compatible tree hash implementation optimised for speed and security☆23Feb 5, 2026Updated 3 weeks ago
- AI Framework for Socials and onchain actions☆20Dec 30, 2024Updated last year
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- Technical analysis library for Rust language☆49Feb 22, 2026Updated last week
- ☆34Sep 4, 2024Updated last year