Skip to content

@distributed-lab Distributed Lab

Change the repository type filter

All

    Repositories list

    79 repositories

    • aws-nitro-enclaves-av

      Public
      AWS Nitro Enclave Attestation Verifier allows you to replace attestation document verification with digital signature verification, which in many cases can be cheaper to verify.
      Go
      •
      MIT License
      •1•0•0•0•Updated Oct 29, 2025Oct 29, 2025

    • circom-dl

      Public archive
      Circom
      •
      MIT License
      •2•9•0•0•Updated Oct 29, 2025Oct 29, 2025

    • spv-gateway

      Public
      SPV Gateway: Bitcoin Light Client on EVM
      bitcoinsmart-contractsevmspv
      Solidity
      •
      MIT License
      •1•5•0•4•Updated Oct 28, 2025Oct 28, 2025

    • runes-spark-bridge

      Public
      Bridge from Runes tokens to Spark and vice versa
      Rust
      •
      MIT License
      •1•4•0•2•Updated Oct 28, 2025Oct 28, 2025

    • simplicityhl-lsp

      Public
      Rust
      •
      MIT License
      •0•5•0•1•Updated Oct 27, 2025Oct 27, 2025

    • enclave-extras

      Public
      Go
      •
      MIT License
      •1•5•0•2•Updated Oct 24, 2025Oct 24, 2025

    • nitro-espresso-integration

      Public
      Nitro goes vroom and fixes everything
      Go
      •
      Other
      •651•1•0•2•Updated Oct 20, 2025Oct 20, 2025

    • SimplicityHL

      Public
      Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.
      Rust
      •17•0•0•0•Updated Oct 20, 2025Oct 20, 2025

    • bitcoin-prover

      Public
      bitcoinnoirnoir-lang
      Noir
      •
      MIT License
      •0•7•0•0•Updated Oct 10, 2025Oct 10, 2025

    • wrapless-lightning-node

      Public
      Lightning Network (LND) node that supports Wrapless payments
      Rust
      •
      Apache License 2.0
      •99•0•0•0•Updated Sep 30, 2025Sep 30, 2025

    • simplicityhl-lsp-vscode

      Public
      VSCode extension for SimplicityHL language
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Sep 24, 2025Sep 24, 2025

    • react-tw-template

      Public
      React tailwind template
      TypeScript
      •1•0•0•0•Updated Sep 16, 2025Sep 16, 2025

    • zkp

      Public
      Experimental zero-knowledge proof compiler in Rust macros
      Rust
      •38•0•0•1•Updated Sep 8, 2025Sep 8, 2025

    • papers

      Public
      The registry with Distributed Lab papers
      identityprivacybitcoinethereumpaymentspaperszkp
      MIT License
      •5•64•0•0•Updated Sep 2, 2025Sep 2, 2025

    • sigma-proofs

      Public
      Rust
      •0•0•0•0•Updated Aug 28, 2025Aug 28, 2025

    • awesome-simplicity

      Public
      MIT License
      •0•0•0•0•Updated Aug 27, 2025Aug 27, 2025

    • gripmock

      Public
      gRPC Mock Server
      Go
      •
      Apache License 2.0
      •168•0•0•0•Updated Aug 21, 2025Aug 21, 2025

    • vortex-rs

      Public
      The Vortex List Polynomial Commitment Scheme (Vortex LPCS) Rust implementation
      Rust
      •
      MIT License
      •1•0•0•0•Updated Aug 12, 2025Aug 12, 2025

    • linea-monorepo

      Public
      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.
      Go
      •
      Other
      •121•0•0•3•Updated Jul 11, 2025Jul 11, 2025

    • linea-dev-edition

      Public
      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.
      docker-composelineazk-rollup
      Solidity
      •
      MIT License
      •0•4•0•2•Updated Jul 1, 2025Jul 1, 2025

    • nitro-tee

      Public
      Nitro goes vroom and fixes everything
      Go
      •
      Other
      •651•0•0•0•Updated Jun 27, 2025Jun 27, 2025

    • op_rand

      Public
      Trustless Randomness Generation on Bitcoin
      rustbitcoinzknoirvrf
      Noir
      •
      MIT License
      •1•12•5•0•Updated Jun 18, 2025Jun 18, 2025

    • noir-ripemd160

      Public
      Noir
      •
      MIT License
      •0•2•0•0•Updated Jun 15, 2025Jun 15, 2025

    • crypto-lectures

      Public
      Source materials for the Distributed Lab Cryptography Course
      lecturescryptography
      TeX
      •
      MIT License
      •0•3•0•0•Updated Jun 12, 2025Jun 12, 2025

    • circom-wasm

      Public
      zk-SNARK WASM circuit compiler
      rustwasmzero-knowledgesnarkjscircom
      WebAssembly
      •
      GNU General Public License v3.0
      •341•16•0•0•Updated Jun 2, 2025Jun 2, 2025

    • circom

      Public
      zkSnark circuit compiler
      WebAssembly
      •
      GNU General Public License v3.0
      •341•0•0•0•Updated Jun 2, 2025Jun 2, 2025

    • go-bip39

      Public
      Fork of go-bip39
      Go
      •
      MIT License
      •1•4•0•0•Updated May 27, 2025May 27, 2025

    • vue-template

      Public template
      Vue based SPA
      Vue
      •
      MIT License
      •1•2•0•0•Updated Mar 31, 2025Mar 31, 2025

    • gnark-mpc-kzg-srs

      Public
      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.
      srskzgzkptrusted-setupbn254bls12-377bw6-761
      Go
      •
      MIT License
      •1•2•1•0•Updated Mar 27, 2025Mar 27, 2025

    • zkVerify

      Public
      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.
      plonky2zkverifyhorizenlabs
      Rust
      •
      Apache License 2.0
      •113•2•0•0•Updated Mar 17, 2025Mar 17, 2025