Skip to content

@distributed-lab Distributed Lab

Change the repository type filter

All

    Repositories list

    58 repositories

    • circom-parser

      Public
      Circom circuits parser built with ANTLR4
      parserantlrantlr4zkcircom
      TypeScript
      •
      MIT License
      •0•4•1•0•Updated Dec 31, 2024Dec 31, 2024

    • circom-g4-grammar

      Public
      G4 grammar for Circom
      grammarantlr4circom
      Circom
      •0•4•0•0•Updated Dec 30, 2024Dec 30, 2024

    • aptos-ts-sdk

      Public
      TypeScript
      •
      Apache License 2.0
      •0•0•0•1•Updated Dec 30, 2024Dec 30, 2024

    • circom-dl

      Public
      Circom
      •
      MIT License
      •1•5•0•1•Updated Dec 28, 2024Dec 28, 2024

    • papers

      Public
      The registry with Distributed Lab papers
      MIT License
      •0•0•0•0•Updated Dec 27, 2024Dec 27, 2024

    • Plonky3

      Public
      A toolkit for polynomial IOPs (PIOPs)
      Rust
      •
      Apache License 2.0
      •219•0•0•1•Updated Dec 27, 2024Dec 27, 2024

    • .github

      Public
      0•0•0•0•Updated Dec 27, 2024Dec 27, 2024

    • pollard-kangaroo

      Public
      0•0•0•0•Updated Dec 26, 2024Dec 26, 2024

    • 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
      •36•1•0•0•Updated Dec 26, 2024Dec 26, 2024

    • aptos-wasm-bindings

      Public
      Rust
      •0•0•0•0•Updated Dec 26, 2024Dec 26, 2024

    • plonky2-verifier

      Public
      Plonky2 Verifier.
      no-stdverifierplonky2
      Rust
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Dec 26, 2024Dec 26, 2024

    • plonky2

      Public
      Fork of plonky2 to be used in zkVerify.
      stableplonky2zkverify
      Rust
      •
      Apache License 2.0
      •298•0•0•0•Updated Dec 26, 2024Dec 26, 2024

    • aptos-developer-docs

      Public
      Source for the Aptos developer docs
      MDX
      •
      Apache License 2.0
      •108•0•0•2•Updated Dec 26, 2024Dec 26, 2024

    • pollard-kangaroo-plus-testing

      Public
      C++
      •1•1•0•0•Updated Dec 24, 2024Dec 24, 2024

    • nero

      Public
      Practical implementation of the BitVM2 protocol
      rustbitcoinzkbitcoin-scriptbitvmbitvm2
      Rust
      •
      MIT License
      •1•10•0•0•Updated Dec 24, 2024Dec 24, 2024

    • zksync-crypto

      Public
      Cryptography libraries for ZKsync
      Rust
      •
      Apache License 2.0
      •7•0•0•0•Updated Dec 19, 2024Dec 19, 2024

    • zksync-protocol

      Public
      ZKsync protocol libraries
      Rust
      •
      Apache License 2.0
      •3•0•0•0•Updated Dec 18, 2024Dec 18, 2024

    • react-template

      Public template
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Dec 11, 2024Dec 11, 2024

    • 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.7k•0•0•1•Updated Dec 4, 2024Dec 4, 2024

    • bitcoin-window-mul

      Public
      Windowed big integer multiplication implementation on Bitcoin Script
      rustbigintbitcoin-scriptbitvm
      Rust
      •2•12•0•0•Updated Nov 27, 2024Nov 27, 2024

    • 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
      •57•0•0•1•Updated Nov 22, 2024Nov 22, 2024

    • noir-plume

      Public
      Implementation of the PLUME protocol in Noir.
      signatureplumenoirzkp
      Noir
      •
      MIT License
      •1•8•0•1•Updated Nov 14, 2024Nov 14, 2024

    • bpcon

      Public
      Generic Rust library for BPCon (Byzantine Paxos).
      rustconsensusbftpaxosstacks
      Rust
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Oct 18, 2024Oct 18, 2024

    • test-contract

      Public
      Utilities to generate end-to-end test data for test-harness.
      test-harnesszksync
      Solidity
      •2•0•0•1•Updated Oct 17, 2024Oct 17, 2024

    • zksync-era

      Public
      zkSync era
      rustnodezksync
      Rust
      •
      Apache License 2.0
      •2.1k•0•0•0•Updated Oct 17, 2024Oct 17, 2024

    • era-contracts

      Public
      Smart Contract Submodule For zkSync Era
      soliditycontractsevmyulzksync
      Solidity
      •
      MIT License
      •357•0•0•0•Updated Oct 15, 2024Oct 15, 2024

    • circom

      Public
      zkSnark circuit compiler
      WebAssembly
      •
      GNU General Public License v3.0
      •281•0•0•0•Updated Oct 9, 2024Oct 9, 2024

    • circom-wasm

      Public
      zk-SNARK WASM circuit compiler
      rustwasmzero-knowledgesnarkjscircom
      WebAssembly
      •
      GNU General Public License v3.0
      •281•15•0•0•Updated Oct 8, 2024Oct 8, 2024

    • react-tw-template

      Public
      React tailwind template
      TypeScript
      •0•0•0•0•Updated Oct 7, 2024Oct 7, 2024

    • blockchain-and-decentralized-systems-book

      Public
      Blockchain and Decentralized Systems Book
      Other
      •7•52•0•1•Updated Oct 1, 2024Oct 1, 2024