Distributed Lab's repositories
taprootized-atomic-swaps
Taprootized Atomic Swaps (TAS) is an extension for Atomic Swaps that presumes the untraceability of transactions related to a particular swap.
noir-semaphore
Semaphore Protocol with Noir.
circom-g4-grammar
G4 grammar for Circom
circom-parser
Circom circuits parser built with ANTLR4
linea-dev-edition
Here you can find the ready and easy for use Linea Rollup dev setup with full prover, all the configs and tips how to run that.
zkVerify
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.
gnark-mpc-kzg-srs
This tool allows you to convert KZG Structured Reference Strings (KZG SRS) generated by Celo, Aleo, Aztec protocols using multi-party computation for the BN254, BLS12-377, and BW6-761 elliptic curves to a format compatible with gnark.
react-tw-template
React tailwind template
vue-template
Vue based SPA
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
aptos-core
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
awesome-noir
A curated list of awesome things related to learning and programming in Noir.
crrl
Rust library for cryptographic research
linea-monorepo
The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generating ZK proofs, the coordinator responsible for multiple orchestrations, and the postman to execute bridge messages.
nitro-espresso-integration
Nitro goes vroom and fixes everything
plonky2
Fork of plonky2 to be used in zkVerify.
plonky2-verifier
Plonky2 Verifier.
Plonky3
A toolkit for polynomial IOPs (PIOPs)
zksync-crypto
Cryptography libraries for ZKsync
zksync-protocol
ZKsync protocol libraries