Skip to content

@distributed-lab Distributed Lab

Change the repository type filter

All

    Repositories list

    89 repositories

    • bitcoin-prover

      Public
      Noir
      •
      MIT License
      •0•2•0•1•Updated Sep 17, 2025Sep 17, 2025

    • spv-gateway

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

    • react-tw-template

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

    • SimplicityHL

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

    • nitro-espresso-integration

      Public
      Nitro goes vroom and fixes everything
      Go
      •
      Other
      •627•1•0•2•Updated Sep 15, 2025Sep 15, 2025

    • enclave-extras

      Public
      Go
      •
      MIT License
      •0•5•0•1•Updated Sep 15, 2025Sep 15, 2025

    • ark-xsk233

      Public
      Rust
      •1•0•0•0•Updated Sep 10, 2025Sep 10, 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•60•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

    • 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
      •0•0•0•0•Updated Aug 20, 2025Aug 20, 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
      •113•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

    • aptos-ts-sdk

      Public
      An SDK for accessing the Aptos blockchain data, submitting transactions, and more!
      TypeScript
      •
      Apache License 2.0
      •79•0•0•0•Updated Jun 27, 2025Jun 27, 2025

    • aptos-core

      Public
      Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
      Rust
      •
      Other
      •3.8k•0•0•0•Updated Jun 27, 2025Jun 27, 2025

    • nitro-tee

      Public
      Nitro goes vroom and fixes everything
      Go
      •
      Other
      •627•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

    • zk-recursive-research

      Public
      0•0•0•0•Updated Jun 11, 2025Jun 11, 2025

    • circom-wasm

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

    • circom

      Public
      zkSnark circuit compiler
      WebAssembly
      •
      GNU General Public License v3.0
      •332•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

    • developer-docs

      Public
      Source for the Aptos developer docs
      MDX
      •
      Apache License 2.0
      •158•0•0•0•Updated May 20, 2025May 20, 2025

    • confidential-payments-example

      Public
      An example payment dapp for confidential assets.
      2•0•0•0•Updated Apr 26, 2025Apr 26, 2025

    • confidential-asset-wasm-bindings

      Public
      1•0•0•0•Updated Apr 21, 2025Apr 21, 2025

    • aptos-pollard-kangaroo

      Public
      Rust
      •2•0•0•0•Updated Apr 16, 2025Apr 16, 2025