Skip to content

@distributed-lab Distributed Lab

Change the repository type filter

All

    Repositories list

    85 repositories

    • ark-xsk233

      Public
      Rust
      •1•0•0•0•Updated Aug 29, 2025Aug 29, 2025

    • zkp

      Public
      Experimental zero-knowledge proof compiler in Rust macros
      Rust
      •37•0•0•1•Updated Aug 29, 2025Aug 29, 2025

    • nitro-espresso-integration

      Public
      Nitro goes vroom and fixes everything
      Go
      •
      Other
      •622•1•0•2•Updated Aug 27, 2025Aug 27, 2025

    • spv-contracts

      Public
      SPV Contract: Bitcoin Light Client on EVM
      bitcoinsmart-contractsevmspv
      TypeScript
      •
      MIT License
      •1•4•0•1•Updated Aug 26, 2025Aug 26, 2025

    • react-tw-template

      Public
      React tailwind template
      TypeScript
      •0•0•0•0•Updated Aug 24, 2025Aug 24, 2025

    • gripmock

      Public
      gRPC Mock Server
      Go
      •
      Apache License 2.0
      •167•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

    • papers

      Public
      The registry with Distributed Lab papers
      identityprivacybitcoinethereumpaymentspaperszkp
      MIT License
      •4•43•0•0•Updated Aug 1, 2025Aug 1, 2025

    • enclave-extras

      Public
      Go
      •
      MIT License
      •0•5•0•1•Updated Aug 1, 2025Aug 1, 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
      •111•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
      •72•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
      •622•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
      •330•15•0•0•Updated Jun 2, 2025Jun 2, 2025

    • circom

      Public
      zkSnark circuit compiler
      WebAssembly
      •
      GNU General Public License v3.0
      •330•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
      •159•0•0•0•Updated May 20, 2025May 20, 2025

    • confidential-payments-example

      Public
      An example payment dapp for confidential assets.
      1•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

    • 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
      •0•1•1•0•Updated Mar 27, 2025Mar 27, 2025

    • awesome-noir

      Public
      A curated list of awesome things related to learning and programming in Noir.
      Creative Commons Zero v1.0 Universal
      •119•0•0•0•Updated Mar 25, 2025Mar 25, 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
      •98•2•0•0•Updated Mar 17, 2025Mar 17, 2025