Distributed Lab

All

54 repositories

aptos-developer-docs
Public
Source for the Aptos developer docs
MDX
•
Apache License 2.0
•105•0•0•2•Updated Dec 16, 2024Dec 16, 2024
pollard-kangaroo-plus-testing
Public
C++
•1•0•0•0•Updated Dec 16, 2024Dec 16, 2024
aptos-wasm-bindings
Public
Rust
•0•0•0•0•Updated Dec 13, 2024Dec 13, 2024
circom-dl
Public
Circom
•
MIT License
•0•1•0•0•Updated Dec 13, 2024Dec 13, 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.
plonky2 zkverify horizenlabs
Rust
•
Apache License 2.0
•35•1•0•0•Updated Dec 13, 2024Dec 13, 2024
zksync-protocol
Public
ZKsync protocol libraries
Rust
•
Apache License 2.0
•2•0•0•0•Updated Dec 13, 2024Dec 13, 2024
zksync-crypto
Public
Cryptography libraries for ZKsync
Rust
•
Apache License 2.0
•7•0•0•0•Updated Dec 13, 2024Dec 13, 2024
nero
Public
Practical implementation of the BitVM2 protocol
rust bitcoin zk bitcoin-script bitvm bitvm2
Rust
•
MIT License
•1•9•0•1•Updated Dec 11, 2024Dec 11, 2024
react-template
Public template
TypeScript
•
MIT License
•0•0•0•0•Updated Dec 11, 2024Dec 11, 2024
plonky2-verifier
Public
Plonky2 Verifier.
no-std verifier plonky2
Rust
•
GNU General Public License v3.0
•0•0•0•0•Updated Dec 6, 2024Dec 6, 2024
plonky2
Public
Fork of plonky2 to be used in zkVerify.
stable plonky2 zkverify
Rust
•
Apache License 2.0
•298•0•0•0•Updated Dec 6, 2024Dec 6, 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
rust bigint bitcoin-script bitvm
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
•48•0•0•1•Updated Nov 22, 2024Nov 22, 2024
circom-parser
Public
Circom circuits parser built with ANTLR4
parser antlr antlr4 zk circom
TypeScript
•
MIT License
•0•4•1•0•Updated Nov 22, 2024Nov 22, 2024
circom-g4-grammar
Public
G4 grammar for Circom
grammar antlr4 circom
Circom
•0•4•0•0•Updated Nov 21, 2024Nov 21, 2024
noir-plume
Public
Implementation of the PLUME protocol in Noir.
signature plume noir zkp
Noir
•
MIT License
•1•7•0•1•Updated Nov 14, 2024Nov 14, 2024
bpcon
Public
Generic Rust library for BPCon (Byzantine Paxos).
rust consensus bft paxos stacks
Rust
•
GNU General Public License v3.0
•0•1•0•0•Updated Oct 18, 2024Oct 18, 2024
test-contract
Public
Utilities to generate end-to-end test data for test-harness.
test-harness zksync
Solidity
•2•0•0•1•Updated Oct 17, 2024Oct 17, 2024
zksync-era
Public
zkSync era
rust node zksync
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
solidity contracts evm yul zksync
Solidity
•
MIT License
•354•0•0•0•Updated Oct 15, 2024Oct 15, 2024
circom
Public
zkSnark circuit compiler
WebAssembly
•
GNU General Public License v3.0
•271•0•0•0•Updated Oct 9, 2024Oct 9, 2024
circom-wasm
Public
zk-SNARK WASM circuit compiler
rust wasm zero-knowledge snarkjs circom
WebAssembly
•
GNU General Public License v3.0
•271•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•50•0•1•Updated Oct 1, 2024Oct 1, 2024
ab2
Public
Alpha Build 2 project repository.
aztek
28•0•0•0•Updated Sep 26, 2024Sep 26, 2024
web-kit
Public
TypeScript-based various types of solutions for Distributed Lab projects and not only.
front-end js-sdk distributed-lab
TypeScript
•
MIT License
•1•18•0•3•Updated Sep 26, 2024Sep 26, 2024
zk-multisig
Public
TypeScript
•
MIT License
•0•0•0•0•Updated Aug 27, 2024Aug 27, 2024
era-zkevm_circuits
Public
EVM circuits over Boojum ZK system.
rust circuits evm zksync boojum
Rust
•
Apache License 2.0
•28•0•0•0•Updated Aug 22, 2024Aug 22, 2024
rarimo-issuer-risc0
Public
Nullifier Counter in RISC Zero for apps on top of Rarimo Protocol.
rust risc-v nullifier zkp risc0 rarimo
Rust
•
Apache License 2.0
•0•6•0•0•Updated Aug 2, 2024Aug 2, 2024